Modal logics for AI planning.
Jürgen DixJoachim PoseggaPeter H. SchmittPublished in: Expert Planning Systems (1990)
Keyphrases
- ai planning
- modal logic
- temporal logic
- inference rules
- integer programming
- web service composition
- decision procedures
- heuristic search
- service composition
- planning problems
- nonmonotonic logics
- situation calculus
- default logic
- planning domains
- epistemic logic
- planning systems
- web services
- action models
- satisfiability problem
- domain independent
- modal operators