Login / Signup
Lloyd-Topor completion and general stable models.
Vladimir Lifschitz
Fangkai Yang
Published in:
Theory Pract. Log. Program. (2013)
Keyphrases
</>
stable models
logic programs
general theory
loop formulas
logic programming
constraint satisfaction
answer set programming
artificial intelligence
natural language
data model
normal logic programs