Login / Signup
First-Order Loop Formulas for Normal Logic Programs.
Yin Chen
Fangzhen Lin
Yisong Wang
Mingyi Zhang
Published in:
KR (2006)
Keyphrases
</>
loop formulas
normal logic programs
logic programs
stable models
answer sets
logic programming
general logic programs
stable model semantics
default reasoning
answer set semantics
answer set programming
fixpoint
deductive databases
horn clauses
reasoning tasks
partial order
belief revision