A Planning Fully Based on Linear Time Logic.
Marta Cialdea MayerAndrea OrlandiniGiulio BalestreriCarla LimongelliPublished in: AIPS (2000)
Keyphrases
- planning problems
- heuristic search
- ai planning
- classical logic
- decision support
- logic programming
- domain independent
- predicate logic
- worst case
- production planning
- computational properties
- planning domains
- linear temporal logic
- stochastic domains
- asynchronous circuits
- blocks world
- planning process
- learning algorithm
- motion planning
- expressive power
- logic programs
- case study