Sign in

Disjunctive answer set solvers via templates.

Rémi BrocheninMarco MarateaYuliya Lierler
Published in: Theory Pract. Log. Program. (2016)
Keyphrases
  • answer set solvers
  • answer sets
  • answer set programming
  • logic programs
  • answer set programs
  • logic programming
  • answer set semantics
  • fixpoint
  • artificial intelligence
  • high level
  • search algorithm
  • reasoning tasks