Loop Formulas for Circumscription

Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop formulas" so that general cases of nonmonotonic logics such as logic programs (under the answer set semantics) and McCain

• Type: Conference
• Year: 2004
• Where: AAAI
• Authors: Joohyung Lee, Fangzhen Lin
• Keywords: AAAI 2004, Intelligent Agents, Logic, Loop Formulas, Nonmonotonic Logics