{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T04:19:16Z","timestamp":1747887556122,"version":"3.41.0"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319129211"},{"type":"electronic","value":"9783319129228"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-12922-8_11","type":"book-chapter","created":{"date-parts":[[2015,3,27]],"date-time":"2015-03-27T04:08:17Z","timestamp":1427429297000},"page":"297-316","source":"Crossref","is-referenced-by-count":3,"title":["Using Cognitive Ubiquitous Robots for Assisting Dependent People in Smart Spaces"],"prefix":"10.1007","author":[{"given":"Abdelghani","family":"Chibani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonis","family":"Bikakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theodore","family":"Patkos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yacine","family":"Amirat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sofiane","family":"Bouznad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naouel","family":"Ayari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lyazid","family":"Sabri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"11_CR1","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/s007790170019","volume":"5","author":"A.K. Dey","year":"2001","unstructured":"Dey, A.K.: Understanding and using context. Personal Ubiquitous Computing\u00a05(1), 4\u20137 (2001)","journal-title":"Personal Ubiquitous Computing"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Knowledge representation and reasoning on the semantic web: Owl. In: Handbook of Semantic Web Technologies, vol.\u00a09 (2010)","DOI":"10.1007\/978-3-540-92913-0_9"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/j.pmcj.2011.02.001","volume":"7","author":"D. Riboni","year":"2011","unstructured":"Riboni, D., Bettini, C.: Owl 2 modeling and reasoning with complex human activities. Perv. and Mob. Computing\u00a07, 379\u2013395 (2011)","journal-title":"Perv. and Mob. Computing"},{"key":"11_CR4","unstructured":"Ducatel, K., Bogdanowicz, M., Scapolo, F., Leijten, J., Burgelman, J.-C.: Scenarios for ambient intelligence in 2010. IST Programme Advisory Group, ISTAG (2001)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Yachir, A., Tari, K., Chibani, A., Amirat, Y.: Toward an Automatic Approach for Ubiquitous Robotic Services Composition. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 3717\u20133724 (2008)","DOI":"10.1109\/IROS.2008.4650981"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Yachir, A., Tari, K., Amirat, Y., Chibani, A., Badache, N.: Qos based framework for ubiquitous robotic services composition. In: Proceedings of the 2009 IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 2019\u20132026 (2009)","DOI":"10.1109\/IROS.2009.5354328"},{"key":"11_CR7","unstructured":"Wang, X.H., Zhang, D.Q., Gu, T., Pung, H.K.: Ontology based context modeling and reasoning using owl. In: Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops, pp. 18\u201322 (2004)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Yau, S.S., Liu, J.: Hierarchical situation modeling and reasoning for pervasive computing. In: Proceedings of the Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the Second International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA 2006), pp. 5\u201310 (2006)","DOI":"10.1109\/SEUS-WCCIA.2006.25"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Chen, H., Finin, T., Joshi, A.: The soupa ontology for pervasive computing. In: Ontologies for Agents: Theory and Experiences, pp. 233\u2013258 (2005)","DOI":"10.1007\/3-7643-7361-X_10"},{"issue":"4","key":"11_CR10","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/MMUL.2005.87","volume":"12","author":"A.R.J. Francois","year":"2005","unstructured":"Francois, A.R.J., Nevatia, R., Hobbs, J., Bolles, R.C.: Verl: An ontology framework for representing and annotating video events. IEEE MultiMedia\u00a012(4), 76\u201386 (2005)","journal-title":"IEEE MultiMedia"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Zarri, G.P., Sabri, L., Chibani, A., Amirat, Y.: Semantic-based industrial engineering: Problems and solutions. In: Proceedings of the 2010 International Conference on Complex, Intelligent and Software Intensive Systems, pp. 1022\u20131027 (2010)","DOI":"10.1109\/CISIS.2010.94"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Sabri, L., Chibani, A., Amirat, Y., Zarri, G.-P.: Semantic reasoning framework to supervise and manage contexts and objects in pervasive computing environments. In: Proceedings of the 2011 IEEE Workshops of International Conference on Advanced Information Networking and Applications, pp. 47\u201352 (2011)","DOI":"10.1109\/WAINA.2011.148"},{"key":"11_CR13","unstructured":"Sabri, L., Chibani, A., Amirat, Y., Zarri, G.P.: Narrative reasoning for cognitive ubiquitous robots. In: IROS 2011 Workshop: Knowledge Representation for Autonomous Robots (2011)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Zarri, G.P.: Representation and Management of Narrative Information, Theoretical Principles and Implementation. Springer (2009)","DOI":"10.1007\/978-1-84800-078-0"},{"key":"11_CR15","unstructured":"Ayari, N., Chibani, A., Zarri, G.P., Amirat, Y.: Semi-automatic natural language representation for narrative information. Technical Report, UPEC LISSI Lab"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"1432","DOI":"10.1016\/j.engappai.2011.05.008","volume":"24","author":"M.J. Santofimia","year":"2011","unstructured":"Santofimia, M.J., Fahlman, S.E., del Toro, X., Moya, F., Lopez, J.C.: A semantic model for actions and events in ambient intelligence. Journal Engineering Applications of Artificial Intelligence\u00a024, 1432\u20131445 (2011)","journal-title":"Journal Engineering Applications of Artificial Intelligence"},{"key":"11_CR17","doi-asserted-by":"crossref","first-page":"389","DOI":"10.3233\/AIS-2009-0082","volume":"2","author":"J. Ye","year":"2010","unstructured":"Ye, J., Dobson, S.: Exploring semantics in activity recognition using context lattices. Journal of Ambient Intelligence and Smart Environments\u00a02, 389\u2013407 (2010)","journal-title":"Journal of Ambient Intelligence and Smart Environments"},{"key":"11_CR18","unstructured":"Chen, L., Nugent, C., Mulvenna, M., Finlay, D., Hong, X., Poland, M.: A logical framework for behaviour reasoning and assistance in a smart home. Int. Journal of Assistive Robotics and Mechatronics\u00a09 (2008)"},{"key":"11_CR19","unstructured":"Brewka, G., Eiter, T.: Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, pp. 385\u2013390 (2007)"},{"issue":"11","key":"11_CR20","doi-asserted-by":"publisher","first-page":"1492","DOI":"10.1109\/TKDE.2010.37","volume":"22","author":"A. Bikakis","year":"2010","unstructured":"Bikakis, A., Antoniou, G.: Defeasible Contextual Reasoning with Arguments in Ambient Intelligence. IEEE Trans. on Knowledge and Data Engineering\u00a022(11), 1492\u20131506 (2010)","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"11_CR21","unstructured":"Paschke, A.: ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event\/Action Logics and Transactional Update Logics. CoRR, vol. abs\/cs\/0610167 (2006)"},{"issue":"1","key":"11_CR22","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A Logic-Based Calculus of Events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"11_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/3-540-45632-5_17","volume-title":"Computational Logic: Logic Programming and Beyond","author":"R. Miller","year":"2002","unstructured":"Miller, R., Shanahan, M.: Some alternative formulations of the event calculus. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02408, pp. 452\u2013490. Springer, Heidelberg (2002)"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-642-32689-9_10","volume-title":"Rules on the Web: Research and Applications","author":"T. Patkos","year":"2012","unstructured":"Patkos, T., Chibani, A., Plexousakis, D., Amirat, Y.: A production rule-based framework for causal and epistemic reasoning. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol.\u00a07438, pp. 120\u2013135. Springer, Heidelberg (2012)"},{"key":"11_CR25","unstructured":"Patkos, T., Plexousakis, D.: Reasoning with knowledge, action and time in dynamic and uncertain domains. In: IJCAI 2009, pp. 885\u2013890 (2009)"},{"key":"11_CR26","unstructured":"Patkos, T., Plexousakiss, D.: Efficient epistemic reasoning in partially observable dynamic domains using hidden causal dependencies. In: The 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2011), pp. 55\u201362 (2011)"},{"key":"11_CR27","unstructured":"Moore, R.C.: A formal theory of knowledge and action. In: Formal Theories of the Commonsense World, pp. 319\u2013358 (1985)"},{"key":"11_CR28","unstructured":"Scherl, R.: Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. In: IJCAI 2003, pp. 1091\u20131098 (2003)"},{"key":"11_CR29","unstructured":"Thielscher, M.: Representing the Knowledge of a Robot. In: KR 2000, pp. 109\u2013120 (2000)"},{"issue":"4","key":"11_CR30","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1109\/TSMCA.2011.2132715","volume":"41","author":"A. Bikakis","year":"2011","unstructured":"Bikakis, A., Antoniou, G.: Contextual Defeasible Logic and Its Application to Ambient Intelligence. IEEE Transactions on Systems, Man, and Cybernetics, Part A\u00a041(4), 705\u2013716 (2011)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A"},{"issue":"1","key":"11_CR31","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s10115-010-0293-0","volume":"27","author":"A. Bikakis","year":"2011","unstructured":"Bikakis, A., Antoniou, G., Hassapis, P.: Strategies for contextual reasoning with conflicts in Ambient Intelligence. Knowledge and Information Systems\u00a027(1), 45\u201384 (2011)","journal-title":"Knowledge and Information Systems"},{"issue":"2","key":"11_CR32","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G. Antoniou","year":"2001","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic\u00a02(2), 255\u2013287 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence\u00a065(1) (1994)","DOI":"10.1016\/0004-3702(94)90037-X"},{"issue":"2","key":"11_CR34","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini, C., Giunchiglia, F.: Local Models Semantics, or contextual reasoning=locality+compatibility. Artificial Intelligence\u00a0127(2), 221\u2013259 (2001)","journal-title":"Artificial Intelligence"},{"key":"11_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-39617-5_16","volume-title":"Theory, Practice, and Applications of Rules on the Web","author":"A. Moawad","year":"2013","unstructured":"Moawad, A., Bikakis, A., Caire, P., Nain, G., Le Traon, Y.: A Rule-based Contextual Reasoning Platform for Ambient Intelligence environments. In: Morgenstern, L., Stefaneas, P., L\u00e9vy, F., Wyner, A., Paschke, A. (eds.) RuleML 2013. LNCS, vol.\u00a08035, pp. 158\u2013172. Springer, Heidelberg (2013)"},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"Fouquet, F., Barais, O., Plouzeau, N., J\u00e9z\u00e9quel, J.-M., Morin, B., Fleurey, F.: A Dynamic Component Model for Cyber Physical Systems. In: 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (July 2012), http:\/\/hal.inria.fr\/hal-00713769","DOI":"10.1145\/2304736.2304759"},{"issue":"1","key":"11_CR37","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1613\/jair.2708","volume":"35","author":"H. Palacios","year":"2009","unstructured":"Palacios, H., Geffner, H.: Compiling uncertainty away in conformant planning problems with bounded width. Journal of Artificial Intelligence Research\u00a035(1), 623\u2013675 (2009)","journal-title":"Journal of Artificial Intelligence Research"}],"container-title":["Springer Tracts in Advanced Robotics","Intelligent Assistive Robots"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12922-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T17:14:41Z","timestamp":1747847681000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-12922-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319129211","9783319129228"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12922-8_11","relation":{},"ISSN":["1610-7438","1610-742X"],"issn-type":[{"type":"print","value":"1610-7438"},{"type":"electronic","value":"1610-742X"}],"subject":[],"published":{"date-parts":[[2015]]}}}