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