A Hierarchical Human Activity Recognition Framework Based on Automated Reasoning.

Shuwei Chen Jun Liu Hui Wang Juan Carlos Augusto

Published in: SMC (2013)

Keyphrases

automated reasoning
human activity recognition
activity recognition
high level
theorem prover
theorem proving
probabilistic reasoning