Deduction-Based Refinement Planning.

Werner Stephan Susanne Biundo

Published in: AIPS (1996)

Keyphrases

planning problems
stochastic domains
data sets
real world
search algorithm
decision support
theorem proving
ai planning
goal oriented
urban planning
data mining
case study
planning domains
strategic planning
automated theorem proving