Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses (2011)

AUTHORS:

Janhunen Tomi , Niemelä Ilkka

  • BOOKTITLE:
  • VOLUME:
  • 6565
  • SERIES:
  • Lecture Notes in Computer Science
  • PAGES:
  • 111-130