@inproceedings{8b8cc528868b468ba1aed841e52d280b,
title = "Formal logical transformation of hierarchical human activity for reasoning based recognition",
abstract = "This paper proposes a formal framework which represents the composite human activity under consideration by a hierarchical ordering structure and discusses how they can be modelled and transferred into a formal syntactical logical formula, i.e., logical predicate algebra. This has placed a foundation for recognizing the composite activity based on the transformed logical formulas using automated reasoning methodology.",
author = "Shuwei Chen and Jun Liu and Hui Wang and Juan Augusto",
note = "Publisher Copyright: {\textcopyright} 2014 by World Scientific Publishing Co. Pte. Ltd. All rights reserved.; Decision Making and Soft Computing - 11th International Fuzzy Logic and Intelligent Technologies in Nuclear Science Conference, FLINS 2014 ; Conference date: 17-08-2014 Through 20-08-2014",
year = "2014",
doi = "10.1142/9789814619998_0060",
language = "English",
series = "Decision Making and Soft Computing - Proceedings of the 11th International FLINS Conference, FLINS 2014",
publisher = "World Scientific Publishing Co. Pte Ltd",
pages = "354--359",
editor = "{de Moraes}, {Ronei Marcos} and Kerre, {Etienne E.} and {dos Santos Machado}, Liliane and Jie Lu",
booktitle = "Decision Making and Soft Computing: Proceedings of the 11th International FLINS Conference, FLINS 2014",
address = "Singapore",
}