Journal of Logic Programming
Closed-world databases and circumscription
Artificial Intelligence
Negation as failure: Careful closure procedure
Artificial Intelligence
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
Results on translating defaults to circumscription
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A decidable query answering algorithm for circumscriptive theories
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
On the relationship between autoepistemic logic and parallel circumscription
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
A Possible World Semantics for Disjunctive Databases
IEEE Transactions on Knowledge and Data Engineering
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Rules and Ontologies for the Semantic Web
Reasoning Web
Relating default logic and circumscription
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Projection and scope-determined circumscription
Journal of Symbolic Computation
| Hi-index | 0.00 |