Sciweavers

Share
AAAI
2004

Loop Formulas for Circumscription

4 years 1 months ago
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
Joohyung Lee, Fangzhen Lin
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where AAAI
Authors Joohyung Lee, Fangzhen Lin
Comments (0)
books