Sign in
Disjunctive Answer Set Solvers via Templates.
Rémi Brochenin
Yuliya Lierler
Marco Maratea
Published in:
CoRR (2015)
Keyphrases
</>
answer set solvers
answer sets
answer set programming
logic programs
answer set programs
logic programming
answer set semantics
fixpoint
database
artificial intelligence
search algorithm
expert systems
domain knowledge
reasoning tasks
stable model semantics