From answer set logic programming to circumscription via logic of GK

DOI10.1016/J.ARTINT.2010.04.001zbMATH Open1216.68270OpenAlexW2005957522MaRDI QIDQ543597FDOQ543597

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

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

zbMATH Keywords

answer set programmingnonmonotonic reasoninglogic programmingcircumscriptionknowledge representation and reasoninglogic of GK

Mathematics Subject Classification ID

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

Cites Work

• Nested expressions in logic programs
• Title not available (Why is that?)
• The DLV system for knowledge representation and reasoning
• Logic Programming and Nonmonotonic Reasoning
• Strongly equivalent logic programs
• Logic programs with stable model semantics as a constraint programming paradigm
• Extending the Smodels system with cardinality and weight constraints
• Title not available (Why is that?)
• A logic for default reasoning
• Semantical considerations on nonmonotonic logic
• Title not available (Why is that?)
• A logic of knowledge and justified assumption
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• Twelve Definitions of a Stable Model
• John McCarthy's legacy
• 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

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)