Semantical considerations on nonmonotonic logic
Artificial Intelligence
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Computation-oriented reductions of predicate to propositional logic
Decision Support Systems
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
A completeness theorem for SLDNF resolution
Journal of Logic Programming
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Paraconsistent logic programming
Theoretical Computer Science
Logic programs with classical negation
Logic programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Acyclic logic programs and the completeness of SLDNF-resolution
Theoretical Computer Science
Proceedings of the first international workshop on Logic programming and non-monotonic reasoning
Proceedings of the first international workshop on Logic programming and non-monotonic reasoning
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Theoretical Computer Science
Implementing deductive databases by linear programming
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
Complexity aspects of various semantics for disjunctive databases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Implementing semantics of disjunctive logic programs using fringes and abstract properties
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
SLS-resolution without floundering
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Adding disjunction to datalog (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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)
Translating default logic into standard autoepistemic logic
Journal of the ACM (JACM)
The complexity of default reasoning under the stationary fixed point semantics
Information and Computation
Query evaluation in deductive databases with alternating fixpoint semantics
ACM Transactions on Database Systems (TODS)
Contributions to the stable model semantics of logic programs with negation
Theoretical Computer Science
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Computing minimal models by partial instantiation
Theoretical Computer Science
A non-ground realization of the stable and well-founded semantics
Theoretical Computer Science
A unified framework for enforcing multiple access control policies
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Stable models and non-determinism in logic programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reasoning with Logic Programming
Reasoning with Logic Programming
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Logic and Data Bases
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
IEEE Transactions on Knowledge and Data Engineering
On Logical Constraints in Logic Programming
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Computing Well-founded Semantics Faster
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Loop Checking and the Wll-Founded Semantics
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Non-Monotonic Reasoning in FLORID
LPNMR '97 Proceedings of the 4th 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
Computing Non-Ground Representations of Stable Models
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
GLUE: Opening the World to Theorem Provers
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
ACLP: Flexible Solutions to Complex Problems
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
An Implementation Platform for Query-Answering: X-RAY
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
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
The Well-Founded Semantics Is a Stratified Fitting Semantics
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
An ontology-based approach to heterogeneous verification of embedded control systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Hi-index | 0.00 |
This paper provides a survey of the state of the art in nonmonotonic logic programming. In particular, we survey advances in the declarative semantics of logic programs, in query processing procedures for nonmonotonic logic programs, and in recent extensions of the nonmonotonic logic programming paradigm.