Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning.
Gerald SteinbauerFranz WotawaPublished in: ICIRA (1) (2008)
Keyphrases
- model based reasoning
- plan execution
- dynamic environments
- diagnostic knowledge
- plan generation
- case based reasoning
- model based diagnosis
- plan recognition
- temporal constraints
- diagnostic systems
- dynamic constraints
- simple temporal
- imperative programs
- multi agent
- temporal planning
- temporal reasoning
- model checking
- information extraction
- management system