Discriminatively Reranking Abductive Proofs for Plan Recognition.

Sam Wiseman Stuart M. Shieber

Published in: ICAPS (2014)

Keyphrases

plan recognition
abductive reasoning
recognition process
theorem prover
theorem proving
plan library
handling uncertainty
plan generation
smart home
decision theoretic
visual features
action sequences
stochastic logic programs
plan repair