The MVL theorem proving system
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
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
Computing Circumscription Revisited: A Reduction Algorithm
Journal of Automated Reasoning
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Modeling Paraconsistent Reasoning by Classical Logic
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Disjunctive Logic Program = Horn Program + Control Program
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Second-Order Theorem Prover Applied to Circumscription
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Logical Deduction Using the Local Computation Framework
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Bilattices and modal operators
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Reasoning under minimal upper bounds in propositional logic
Theoretical Computer Science
A theorem prover for prioritized circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
On the semantics of supernormal defaults
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Compiling prioritized circumscription into extended logic programs
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Consequence-finding based on ordered linear resolution
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Query answering in circumscription
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Computing circumscription revisited: preliminary report
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Transforming prioritized defaults and specificity into parallel defaults
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
A Reduction Result for Circumscribed Semi-Horn Formulas
Fundamenta Informaticae
Hi-index | 0.00 |