Login / Signup
On Loop Formulas with Variables.
Joohyung Lee
Yunsong Meng
Published in:
KR (2008)
Keyphrases
</>
loop formulas
logic programs
answer sets
logic programming
stable models
artificial intelligence
general purpose
data management