Login / Signup
Optimal Planning Modulo Theories.
Francesco Leofante
Enrico Giunchiglia
Erika Ábrahám
Armando Tacchella
Published in:
IJCAI (2020)
Keyphrases
</>
optimal planning
modulo theories
answer set programming
heuristic search
domain independent
planning problems
satisfiability modulo theories
stable model semantics
admissible heuristics
planning domains
domain specific
logic programs
search algorithm
computational complexity
programming language
logic programming