Circumscription and projection as primitives of logic programming

DOI10.4230/LIPICS.ICLP.2010.202MaRDI QIDQ2883093zbMATH OpenOpenAlexFDO

Authors Christoph Wernhard

Publication date 11 May 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_3e1d.html

zbMATH Keywords

logic programsprojectionstable model semantics

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 88998
• scientific article; zbMATH DE number 4106291
• scientific article; zbMATH DE number 4028939
• scientific article; zbMATH DE number 1954120
• scientific article; zbMATH DE number 408798
• scientific article; zbMATH DE number 1090099
• scientific article; zbMATH DE number 3858391
• Proof-theoretic and higher-order extensions of logic programming
• On compact representations of propositional circumscription
• On compact representations of propositional circumscription

Cited in

(7)

• Logic program semantics and circumscription of autoepistemic theories
• On compact representations of propositional circumscription
• scientific article; zbMATH DE number 4028939 (Why is no real title available?)
• scientific article; zbMATH DE number 4106291 (Why is no real title available?)
• Projection and scope-determined circumscription
• Logics in Artificial Intelligence
• From answer set logic programming to circumscription via logic of GK

This page was built for publication: Circumscription and projection as primitives of logic programming

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