Keyphrases
- plan recognition
- logical theories
- situation calculus
- belief revision
- uncertain databases
- inductive logic programming
- plan generation
- propositional logic
- handling uncertainty
- recognition process
- plan library
- conceptual structures
- decision theoretic
- smart home
- reasoning about actions
- uncertain data
- artificial intelligence
- first order logic
- human computer interaction
- knowledge discovery