Two-Valued Logic Programs

Lifschitz, Vladimir

doi:10.4230/LIPIcs.ICLP.2012.259

Document

Two-Valued Logic Programs

Author Vladimir Lifschitz

Part of: Volume: Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (ICLP 2012)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Logic Programming (ICLP)
License: Creative Commons Attribution-NoDerivs 3.0 Unported license
Publication Date: 2012-09-05

PDF

File

LIPIcs.ICLP.2012.259.pdf

Filesize: 313 kB
8 pages

Document Identifiers

DOI: 10.4230/LIPIcs.ICLP.2012.259
URN: urn:nbn:de:0030-drops-36279

Author Details

Vladimir Lifschitz

Cite As Get 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

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.

Subject Classification

Keywords

Answer set programming
Non monotonic reasoning
Foundations

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail