LIPIcs.ICLP.2012.259.pdf
- Filesize: 313 kB
- 8 pages
Document
Two-Valued Logic Programs
Author
-
Part of:
Volume:
Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (ICLP 2012)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Conference on Logic Programming (ICLP) - License:
Creative Commons Attribution-NoDerivs 3.0 Unported license
- Publication Date: 2012-09-05
Cite AsGet BibTex
Vladimir Lifschitz. Two-Valued Logic Programs. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 259-266, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
https://doi.org/10.4230/LIPIcs.ICLP.2012.259
https://doi.org/10.4230/LIPIcs.ICLP.2012.259
Abstract
We define a nonmonotonic formalism that shares some features with three other systems of nonmonotonic reasoning—default logic, logic programming with strong negation, and nonmonotonic causal logic—and study its possibilities as a language for describing actions.
Keywords
- Answer set programming
- Non monotonic reasoning
- Foundations
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads