Login / Signup

Lloyd-Topor completion and general stable models.

Vladimir LifschitzFangkai 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