Terminological Reasoning with Constraint Networks and an Application to Plan Recognition.
Robert A. WeidaDiane J. LitmanPublished in: KR (1992)
Keyphrases
- plan recognition
- constraint networks
- terminological reasoning
- description logics
- temporal reasoning
- tree decomposition
- handling uncertainty
- decision theoretic
- temporal constraint networks
- constraint satisfaction
- constraint satisfaction problems
- tree width
- constraint programming
- recognition process
- plan library
- path consistency
- plan generation
- arc consistency
- knowledge base
- temporal constraints
- smart home
- computer vision
- plan execution
- natural language
- logic programming