Loop Formulas for Circumscription.

Joohyung Lee Fangzhen Lin

Published in: AAAI (2004)

Keyphrases

loop formulas
logic programs
answer sets
stable models
logic programming
stable model semantics
propositional logic
answer set programming
normal logic programs
fixpoint
knowledge base
information systems
general purpose
semantic web