Conflict-Directed Diverse Planning for Logic-Geometric Programming.

Joaquim Ortiz de Haro Erez Karpas Marc Toussaint Michael Katz

Published in: ICAPS (2022)

Keyphrases

conflict directed
forward search
variable ordering
heuristic search
planning problems
modal logic
ai planning
logic programming
plan recognition
automated reasoning
multi valued
forward checking