|
СТ |
A Model Theoretic Semantics for Multi-level Secure Deductive Databases |
2002 |
Jamil H. M., Dobbie G. |
|
|
|
Lecture Notes in Computer Science |
27.08.2002 |
|
СТ |
A Declarative Semantics for Behavioral Inheritance and Conflict Resolution |
1995 |
Jamil H. M., Lakshmanan L.V. S. |
|
|
|
Logic Programming: Proc. of the Intern. Symp. |
24.04.1996 |
|
СТ |
A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages |
1995 |
Bugliesi M., Jamil H. M. |
|
|
|
Lecture Notes in Computer Science |
15.02.1995 |
|
СТ |
Recognizing Credible Experts in Inaccurate Databases |
1994 |
Jamil H. M., Sadri F. |
|
|
|
Lecture Notes in Artificial Intelligence |
05.11.1994 |
|
СТ |
A Logic for Encapsulation in Object Oriented Languages |
1994 |
Bugliesi M., Jamil H. M. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
