Login / Signup
Disjunctive answer set solvers via templates.
Rémi Brochenin
Marco Maratea
Yuliya 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