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
A three-valued semantics for deductive databases and logic programs
Journal of Computer and System Sciences
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
Fast Subsumption Checks Using Anti-Links
Journal of Automated Reasoning
CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates
Journal of Automated Reasoning
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
Merge Path Improvements for Minimal Model Hyper Tableaux
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
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
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Updating Reduced Implicate Tries
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Prime Implicates and Reduced Implicate Tries
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
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
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
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Prime implicates and prime implicants: from propositional to modal logic
Journal of Artificial Intelligence Research
Identifying Prime Implicate Branches in Reduced Implicate Tries
Fundamenta Informaticae - Methodologies for Intelligent Systems
The complexity of closed world reasoning and circumscription
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Counterexample guided abstraction refinement algorithm for propositional circumscription
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Transforming prioritized defaults and specificity into parallel defaults
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Efficient query processing with compiled knowledge bases
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Projection and scope-determined circumscription
Journal of Symbolic Computation
A New Method Of Circumscribing Beliefs The Propositional Case
Fundamenta Informaticae
Complexity of Recursive Normal Default Logic
Fundamenta Informaticae
A Reduction Result for Circumscribed Semi-Horn Formulas
Fundamenta Informaticae
Approximate Inference In Default Logic And Circumscription
Fundamenta Informaticae
Hi-index | 0.00 |