Login / Signup

Yet Another Characterization of Strong Equivalence.

Alexander BochmanVladimir Lifschitz
Published in: ICLP (Technical Communications) (2011)
Keyphrases
  • classical logic
  • strong equivalence
  • logic programming
  • logic programs
  • machine learning
  • answer set programming
  • decision making
  • expert systems
  • query evaluation
  • reasoning tasks
  • stable models
  • argumentation semantics