Login / Signup

Cross-Translating Answer Set Programs Using the ASPTOOLS Collection.

Tomi Janhunen
Published in: Künstliche Intell. (2018)
Keyphrases
  • answer set programs
  • answer set programming
  • logic programs
  • answer sets
  • artificial intelligence
  • general purpose
  • logic programming
  • stable models