Login / Signup

Processes and continuous change in a SAT-based planner.

Ji-Ae ShinErnest Davis
Published in: Artif. Intell. (2005)
Keyphrases
  • ai planning
  • planning domains
  • answer set programming
  • heuristic search
  • plan quality
  • state space
  • process model
  • planning problems
  • classical planning
  • bounded model checking
  • knowledge representation
  • planning process