The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Reducing disjunctive to non-disjunctive semantics by shift-operations
Fundamenta Informaticae - Special issue: to the memory of Prof. Helena Rasiowa
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
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
Default Negated Conclusions: Why Not?
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Layered Models Top-Down Querying of Normal Logic Programs
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Incremental Answer Completion in the SLG-WAM
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Layer Supported Models of Logic Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
Hi-index | 0.00 |
For practical applications, the use of top-down query-driven proof-procedures is convenient for an efficient use and computation of answers using Logic Programs as knowledge bases. A 2-valued semantics for Normal Logic Programs (NLPs) allowing for top-down query-solving is thus highly desirable, but the Stable Models semantics (SM) does not allow it, for lack of the relevance property. To overcome this limitation we introduced in [11], and summarize here, a new 2-valued semantics for NLPs -- the Layer Supported Models semantics -- which conservatively extends the SM semantics, enjoys relevance and cumulativity, guarantees model existence, and respects the Well-Founded Model. In this paper we exhibit a space and time linearly complex transformation, TR, from one propositional NLP into another, whose Layer Supported Models are precisely the Stable Models of the transform, which can then be computed by extant Stable Model implementations, providing a tool for the immediate generalized use of the new semantics and its applications. TR can be used to answer queries but is also of theoretical interest, for it may be used to prove properties of programs. Moreover, TR can be employed in combination with the top-down query procedure of XSB-Prolog, and be applied just to the residual program corresponding to a query (in compliance with the relevance property of Layer Supported Models). The XSB-XASP interface then allows the program transform to be sent to Smodels for 2-valued evaluation.