Two-valued logic programs

DOI10.4230/LIPICS.ICLP.2012.259MaRDI QIDQ5398064zbMATH OpenOpenAlexFDO

Authors Vladimir Lifschitz

Publication date 25 February 2014

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2012/3627/pdf/25.pdf

zbMATH Keywords

answer set programmingfoundationsnon-monotonic reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Three-valued nonmonotonic formalisms and semantics of logic programs
• scientific article; zbMATH DE number 431928
• Logic in nonmonotonic reasoning
• A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
• An overview of nonmonotonic reasoning and logic programming

Cited in

(12)

• Three-valued nonmonotonic formalisms and semantics of logic programs
• The expressive power of stratified logic programs with value invention
• A progression semantics for first-order logic programs
• Pseudo two-valued evaluation method for intermediate logics
• Bi-state logic
• scientific article; zbMATH DE number 3866574 (Why is no real title available?)
• scientific article; zbMATH DE number 1241671 (Why is no real title available?)
• scientific article; zbMATH DE number 2079521 (Why is no real title available?)
• On the relationship between annotated logic programs and nonmonotonic formalisms
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Logical connectives for two-state semantics
• Computationally hard problems for logic programs under answer set semantics

This page was built for publication: Two-valued logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398064)