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
On the relationship between circumscription and well-founded semantics of logic programs
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Negation and minimality in non-horn databases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity aspects of various semantics for disjunctive databases
PODS '93 Proceedings of the twelfth 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
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming
Journal of Automated Reasoning
Evaluation of Queries under Closed-World Assumption. Part II: The Hierarchical Case
Journal of Automated Reasoning
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
The Well-Founded Semantics in Normal Logic Programs with Uncertainty
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Disjunctive Logic Program = Horn Program + Control Program
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Algorithms for Computing X-Minimal Models
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
The Inference Problem for Propositional Circumscription of Affine Formulas Is coNP-Complete
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Preprocessing of intractable problems
Information and Computation
ACM Transactions on Computational Logic (TOCL)
Applications of intuitionistic logic in Answer Set Programming
Theory and Practice of Logic Programming
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
Logic-based subsumption architecture
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
A survey on knowledge compilation
AI Communications
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Comparison of semantics of disjunctive logic programs based on model-equivalent reduction
Journal of Computer Science and Technology
Bounded treewidth as a key to tractability of knowledge representation and reasoning
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
The Complexity of Circumscriptive Inference in Post's Lattice
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Space efficiency of propositional knowledge representation formalisms
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
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Logic-based subsumption architecture
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
Query answering in circumscription
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Bounded treewidth as a key to tractability of knowledge representation and reasoning
Artificial Intelligence
Integrating rules and description logics with circumscription for the semantic web
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
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
Belief Revision in Non-Monotonic Reasoning and Logic Programming
Fundamenta Informaticae
Approximate Inference In Default Logic And Circumscription
Fundamenta Informaticae
Hi-index | 0.00 |