|
СТ |
Applications of Transaction Logic to Knowledge Representation |
1994 |
Bonner A. J., Kifer M. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.08.1994 |
|
СТ |
Deductive and Object Data Languages: A Quest for Integration |
1995 |
Kifer M. |
Lecture Notes in Computer Science |
|
|
Deductive and Object-Oriented Databases |
28.12.1995 |
|
СТ |
Inheritance and Rules in Object-Oriented Semantic Web Languages |
2003 |
Yang G., Kifer M. |
|
|
|
Lecture Notes in Computer Science |
26.12.2003 |
|
СТ |
OSP: An Environment for Operating System Projects |
1992 |
Kifer M., Smolka S. A. |
|
|
|
Operating Systems Review |
25.11.1992 |
|
СТ |
Querying Object-Oriented Databases |
1992 |
Kifer M., Kim W., Sagiv Y. |
|
|
|
SIGMOD Record |
14.08.1992 |
|
СТ |
Reasoning about Anonymous Resources and Meta Statements on the Semantic Web |
2003 |
Yang G., Kifer M. |
|
|
|
Lecture Notes in Computer Science |
11.12.2003 |
|
СТ |
Results on Reasoning about Updates in Transaction Logic |
1998 |
Bonner A. J., Kifer M. |
|
|
|
Lecture Notes in Computer Science |
03.12.1998 |
|
СТ |
Sorted HiLog: Sorts in Higher-Order Logic Data Languages |
1995 |
Chen W., Kifer M. |
|
|
|
Lecture Notes in Computer Science |
15.02.1995 |
|
СТ |
The State of Change: A Survey |
1998 |
Bonner A. J., Kifer M. |
|
|
|
Lecture Notes in Computer Science |
03.12.1998 |
