From answer set logic programming to circumscription via logic of GK

DOI10.1016/j.artint.2010.04.001zbMath1216.68270OpenAlexW2005957522MaRDI QIDQ543597

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

nonmonotonic reasoninglogic programminganswer set programmingcircumscriptionknowledge representation and reasoninglogic of GK

Mathematics Subject Classification ID

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

Related Items (10)

Expressiveness of Logic Programs under the General Stable Model Semantics ⋮ From Turner’s Logic of Universal Causation to the Logic of GK ⋮ A progression semantics for first-order logic programs ⋮ Ordered completion for first-order logic programs on finite structures ⋮ Disjunctive logic programs with existential quantification in rule heads ⋮ Preferred First-Order Answer Set Programs ⋮ John McCarthy's legacy ⋮ Stable models and circumscription ⋮ Thirteen Definitions of a Stable Model ⋮ Twelve Definitions of a Stable Model

Uses Software

• Smodels

Cites Work

• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• A logic of knowledge and justified assumption
• Logic programs with stable model semantics as a constraint programming paradigm
• Nested expressions in logic programs
• The DLV system for knowledge representation and reasoning
• Logic Programming and Nonmonotonic Reasoning
• Strongly equivalent logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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