From answer set logic programming to circumscription via logic of GK

DOI10.1016/J.ARTINT.2010.04.001MaRDI QIDQ543597zbMATH OpenOpenAlexFDO

Authors Yong-Cai Geng, Sumit K. Garg

Publication date 17 June 2011

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2010.04.001

zbMATH Keywords

answer set programmingnonmonotonic reasoninglogic programmingcircumscriptionknowledge representation and reasoninglogic of GK

Mathematics Subject Classification ID

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

Recommendations

• A logic of knowledge and justified assumption
• Characterization of strongly equivalent logic programs in intermediate logics
• scientific article; zbMATH DE number 1090099
• Equilibrium logic
• Circumscription and projection as primitives of logic programming

Cites work

• scientific article; zbMATH DE number 5910656 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 408781 (Why is no real title available?)
• scientific article; zbMATH DE number 1368932 (Why is no real title available?)
• scientific article; zbMATH DE number 2085248 (Why is no real title available?)
• A logic for default reasoning
• A logic of knowledge and justified assumption
• Extending the Smodels system with cardinality and weight constraints
• Logic Programming and Nonmonotonic Reasoning
• Logic programs with stable model semantics as a constraint programming paradigm
• Nested expressions in logic programs
• Semantical considerations on nonmonotonic logic
• Strongly equivalent logic programs
• The DLV system for knowledge representation and reasoning

Cited in

(10)

• John McCarthy's legacy
• Twelve Definitions of a Stable Model
• Ordered completion for first-order logic programs on finite structures
• Preferred first-order answer set programs
• Disjunctive logic programs with existential quantification in rule heads
• Stable models and circumscription
• Expressiveness of logic programs under the general stable model semantics
• A progression semantics for first-order logic programs
• From Turner's logic of universal causation to the logic of GK
• Thirteen Definitions of a Stable Model

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: From answer set logic programming to circumscription via logic of GK

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