Keyphrases
- plan recognition
- probabilistic reasoning
- bayesian networks
- bayesian logic programs
- first order logic
- constraint satisfaction
- probabilistic inference
- knowledge representation
- probabilistic logic
- handling uncertainty
- plan generation
- logic programming
- belief networks
- markov logic networks
- smart home
- decision theoretic
- abductive reasoning
- plan library
- search space
- distributed systems