Login / Signup
Lloyd-Topor Completion and General Stable Models
Vladimir Lifschitz
Fangkai Yang
Published in:
CoRR (2013)
Keyphrases
</>
stable models
logic programs
loop formulas
general theory
logic programming
machine learning
object oriented
normal logic programs
artificial intelligence
domain knowledge
propositional logic
answer set programming