On the relationship between autoepistemic logic and parallel circumscription
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
The extended closed world assumption and its relationship to parallel circumscription
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
A model-based approach to updating databases with incomplete information
ACM Transactions on Database Systems (TODS)
On the complexity of propositional knowledge base revision, updates, and counterfactuals
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The complexity of propositional closed world reasoning and circumscription
Journal of Computer and System Sciences
Backward chaining evaluation in stratified disjunctive theories
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases
Journal of Intelligent Information Systems
The role of default logic in knowledge representation
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
A Psychologically Plausible Logical Model of Conceptualization
Minds and Machines
Learning in Logic with RichProlog
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Compiling reasoning with and about preferences into default logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
On stratified autoepistemic theories
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
On stratified autoepistemic theories
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Towards unconditional soundness: computationally complete symbolic attacker
POST'12 Proceedings of the First international conference on Principles of Security and Trust
| Hi-index | 0.00 |