Sigla

Babes-Bolyai University
Faculty of Mathematics and Computer Science
str. M. Kogalniceanu 1
400084 Cluj-Napoca
ROMANIA


Cover

Comments are welcome
studia-i@cs.ubbcluj.ro

Studia Universitatis Babes-Bolyai
Informatica

YEAR
VOLUME
ISSUE

2007
LII
1

Editorial Office: M. Kogălniceanu 1, 400084 Cluj-Napoca, Tel: 0264.405300

SUMAR -- CONTENTS -- SOMMAIRE

D. Tatar, H.F. Pop, M. Frentiu, D. Dumitrescu, The First International Conference on Knowledge Engineering Principles and Techniques (KEPT 2007)3
D. Inkpen, Semantic Similarity Knowledge and its Applications11
L. Novac, An algorithm for determination of Nash equilibria in the informational extended two-matrix games23
V. Novitzka, A. Verbova, Dependent Types in Mathematical Theory of Programming35
I. Czibula, G. Serban, An Analysis of Distance Metrics for Clustering Based Improvement of Systems Design45
G. Serban, I. Czibula, On Evaluating Software Systems Design55
A.S. Darabant, H. Todoran, Efficient Data Synchronization for Mobile Wireless Medical Users67
A. Sabau, The 3SST Relational Model77
G. Droj, The Applicability of Fuzzy Theory in Remote Sensing Image Classification89
V. Cioban, On Independent Sets of Vertices in Graphs97
M. Lupea, Axiomatization of Credulous Reasoning in Rational Default Logic101


LETTER FROM THE EDITORS

The Editors, Final Note on Danut Marcu112