Login / Signup
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms.
Jia-Huai You
Guohua Liu
Published in:
AAAI (2008)
Keyphrases
</>
logic programs
loop formulas
answer sets
logic programming
stable models
fixpoint
normal logic programs
answer set programming
background knowledge
answer set semantics
computational properties
stable model semantics
inductive logic programming