Semantical considerations on nonmonotonic logic
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
OLD resolution with tabulation
Proceedings on Third international conference on logic programming
Positivism vs minimalism in deductive databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
A theory of diagnosis from first principles
Artificial Intelligence
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Structural complexity 1
A Prolog technology theorem prover: implementation by an extended Prolog computer
Journal of Automated Reasoning
Non-horn clause logic programming without contrapositives
Journal of Automated Reasoning
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Negation as failure using tight derivations for general logic programs
Foundations of deductive databases and logic programming
An algorithm to compute circumscription
Artificial Intelligence
A circumscriptive theorem prover
Artificial Intelligence
Benchmark problems for formal nonmonotonic reasoning
Proceedings of the 2nd international workshop on Non-monotonic reasoning
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic programming and databases
Logic programming and databases
Logic programs with classical negation
Logic programming
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
Journal of Automated Reasoning
General logical databases and programs: default logic semantics and stratification
Information and Computation
Negation by default and unstratifiable logic programs
Selected papers of the workshop on Deductive database theory
Towards automatic autoepistemic reasoning
JELIA '90 Proceedings of the European workshop on Logics in AI
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Nonmonotonic reasoning in the framework of situation calculus
Artificial Intelligence - Special issue on knowledge representation
Hard problems for simple default logics
Artificial Intelligence - Special issue on knowledge representation
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
What does a conditional knowledge base entail?
Artificial Intelligence
On the relations between stable and well-founded semantics of logic programs
Theoretical Computer Science - Selected papers of the Second International Conference on algebraic and logic programming, Nancy, France, October 1–3, 1990
Propositional circumscription and extended closed-world reasoning are &Pgr;p2-complete
Theoretical Computer Science
Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
Safe computation of the well-founded semantics of Datalog queries
Information Systems
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Relating disjunctive logic programs to default theories
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
On the decidability and complexity of autoepistemic reasoning
Fundamenta Informaticae - Special issue on modal logics in knowledge representation
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Handbook of logic in artificial intelligence and logic programming (vol. 3)
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
The complexity of logic-based abduction
Journal of the ACM (JACM)
Computing circumscriptive databases, I: theory and algorithms
Information and Computation
The complexity of default reasoning under the stationary fixed point semantics
Information and Computation
A comparative study of open default theories
Artificial Intelligence
The size of a revised knowledge base
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
Experimental results on the crossover point in random 3-SAT
Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
Is intractability of nonmonotonic reasoning a real drawback?
Artificial Intelligence
Computing answers with model elimination
Artificial Intelligence
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation
Information and Computation
ACM Transactions on Database Systems (TODS)
On compact representations of propositional circumscription
Theoretical Computer Science
Autoepistemic logic of knowledge and beliefs
Artificial Intelligence
Principles of knowledge representation
Principles of knowledge representation
Calculi for disjunctive logic programming
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Heterogeneous active agents, I: semantics
Artificial Intelligence
Heterogeneous active agents, II: algorithms and complexity
Artificial Intelligence
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Computation of the semantics of autoepistemic belief theories
Artificial Intelligence
Mechanical Theorem-Proving by Model Elimination
Journal of the ACM (JACM)
A Simplified Format for the Model Elimination Theorem-Proving Procedure
Journal of the ACM (JACM)
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
ACM Transactions on Computational Logic (TOCL)
On the equivalence of the static and disjunctive well-founded semantics and its computation
Theoretical Computer Science
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA
Journal of Automated Reasoning
WFS + Branch and Bound = Stable Models
IEEE Transactions on Knowledge and Data Engineering
Computation of Stable Models and Its Integration with Logical Query Processing
IEEE Transactions on Knowledge and Data Engineering
Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge
An Abductive Framework for Negation in Disjunctive Logic Programming
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Partial Evaluation and Relevance for Approximations of Stable Semantics
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Computing Well-founded Semantics Faster
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Characterizations of the Stable Semantics by Partial Evaluation
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Strong and Weak Constraints in Disjunctive Datalog
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Dislop: Towards a Disjunctive Logic Programming System
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
XSB: A System for Effciently Computing WFS
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
A general Approach to Bottom-Up Computation of Disjunctive Semantics
ICLP '94/NMELP '94 Selected papers from the Workshop on Non-Monotonic Extensions of Logic Programming
Transformation-Based Bottom-Up Computation of the Well-Founded Model
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux
TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Sequent Calculi for Default and Autoepistemic Logics
TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
A Tableau Calculus for Minimal Model Reasoning
TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
A Sequent Calculus for Skeptical Default Logic
TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Ordered Tableaux: Extensions and Applications
TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hyper Tableau - The Next Generation
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
The Stable Semantics and its Variants: A Comparison of Recent Approaches
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Encoding Planning Problems in Nonmonotonic Logic Programs
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Nonmonotonic Reasoning is Sometimes Simpler
KGC '93 Proceedings of the Third Kurt Gödel Colloquium on Computational Logic and Proof Theory
Logic and Databases: A 20 Year Retrospective
LID '96 Proceedings of the International Workshop on Logic in Databases
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
Embedding Negation as Failure into a Model Generation Theorem Prover
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
PROTEIN: A PROver with a Theory Extension INterface
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Model Elimination Without Contrapositives
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Semantics for disjunctive logic programs
Semantics for disjunctive logic programs
Transformation-based bottom-up computation of the well-founded model
Theory and Practice of Logic Programming
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
Towards efficient default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Model elimination, logic programming and computing answers
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
The comparative linguistics of knowledge representation
IJCAI'95 Proceedings of the 14th 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
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
Proof-complexity results for nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
Explaining updates by minimal sums
Theoretical Computer Science
Relating defeasible and normal logic programming through transformation properties
Theoretical Computer Science
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
A Logical Framework for Querying and Repairing Inconsistent Databases
IEEE Transactions on Knowledge and Data Engineering
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
Query Compilation under the disjunctive well-founded semantics
Fundamenta Informaticae
Model checking multi-agent systems with logic based Petri nets
Annals of Mathematics and Artificial Intelligence
Counterexample guided abstraction refinement algorithm for propositional circumscription
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Confluent Term Rewriting for Only-knowing Logics
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Proof complexity of propositional default logic
Archive for Mathematical Logic
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Optimizing the evaluation of XPath using description logics
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Proof complexity of propositional default logic
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
Proof complexity of non-classical logics
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Query Compilation under the disjunctive well-founded semantics
Fundamenta Informaticae
Tableau Calculi for Logic Programs under Answer Set Semantics
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |