Symbolic Planning with Axioms.

David Speck Florian Geißer Robert Mattmüller Álvaro Torralba

Published in: ICAPS (2019)

Keyphrases

derived predicates
planning problems
knowledge base
production planning
databases
decision support
first order logic
mixed initiative
database
optimal solution
artificial neural networks
heuristic search
plan generation
mission planning