Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Safety and translation of relational calculus
ACM Transactions on Database Systems (TODS)
Well-founded semantics coincides with three-valued stable semantics
Fundamenta Informaticae
WELL!: an evaluation procedure for all logic programs
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A procedural semantics for well-founded negation in logic programs
Journal of Logic Programming
The semantics of deductive databases
The semantics of deductive databases
Query evaluation under the well-founded semantics
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Transforming abductive logic programs to disjunctive programs
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Implementing stable semantics by linear programming
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
The alternating fixpoint of logic programs with negation
PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Tabulated resolution for well founded semantics
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
A portable method for integrating SLG resolution into prolog systems
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Query evaluation in deductive databases with alternating fixpoint semantics
ACM Transactions on Database Systems (TODS)
The expressive powers of the logic programming semantics (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
WFS + Branch and Bound = Stable Models
IEEE Transactions on Knowledge and Data Engineering
Well-Founded Ordered Search (Extended Abstract)
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Resolution for Skeptical Stable Model Semantics
Journal of Automated Reasoning
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Experiments in Parallel Execution of Answer Set Programs
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Construction and Optimization of a Parallel Engine for Answer Set Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Pushing Goal Derivation in DLP Computations
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Issues in parallel execution of non-monotonic reasoning systems
Parallel Computing
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Towards the computation of stable probabilistic model semantics
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Hi-index | 0.01 |
The well-founded semantics and the stable model semantics capture intuitions of the skeptical and credulous semantics in nonmonotonic reasoning, respectively. They represent the two dominant proposals for the declarative semantics of deductive databases and logic programs. However, neither semantics seems to be suitable for all applications. We have developed an efficient implementation of goal-oriented effective query evaluation under the well-founded semantics. It produces a residual program for subgoals that are relevant to a query, which contains facts for true instances and clauses with body literals for undefined instances. This paper presents a simple method of stable model computation that can be applied to the residual program of a query to derive answers with respect to stable models. The method incorporates both forward and backward chaining to propagate the assumed truth values of ground atoms, and derives multiple stable models through backtracking. Users are able to request that only stable models satisfying certain conditions be computed. A prototype has been developed that provides integrated query evaluation under the well-founded semantics, the stable models, and ordinary Prolog execution. We describe the user interface of the prototype and present some experimental results.