Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison.
Bertram FronhöferPublished in: TABLEAUX (1996)
Keyphrases
- planning problems
- ai planning
- domain independent
- sequent calculus
- natural deduction
- inference rules
- heuristic search
- partial order planner
- goal oriented
- planning domains
- cut elimination
- plan recognition
- linear systems
- decision support
- partial order planning
- search algorithm
- linear model
- dynamic programming
- computer algebra
- provably correct
- state space
- planning process
- planning systems
- classical planning
- plan execution
- domain specific