{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T07:55:35Z","timestamp":1758268535839},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540699149"},{"type":"electronic","value":"9783540699163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69916-3_10","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"81-89","source":"Crossref","is-referenced-by-count":26,"title":["Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home"],"prefix":"10.1007","author":[{"given":"Liming","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Nugent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurice","family":"Mulvenna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dewar","family":"Finlay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Hong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Poland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Philipose, M., Fishkin, K.P., Patterson, D.J., Fox, D., Kautz, H., Hahnel, D.: Inferring activities from interactions with objects. IEEE Pervasive Computing, 50\u201357 (2004)","key":"10_CR1","DOI":"10.1109\/MPRV.2004.7"},{"unstructured":"Boger, J., Poupart, P., Hoey, J., Boutilier, C., Mihailidis, A.: A Decision-Theoretic Approach to Task Assistance for Persons with Dementia. In: Proc. of the International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 1293\u20131299 (2005)","key":"10_CR2"},{"doi-asserted-by":"crossref","unstructured":"Kowalski, R.A., Sergot, M.J.: A Logic-based Calculus of Events. New Generation Computing\u00a04, 67\u201395 (1986)","key":"10_CR3","DOI":"10.1007\/BF03037383"},{"doi-asserted-by":"crossref","unstructured":"Albrecht, D.W., Zukerman, I.: Bayesian Models for Keyhole Plan Recognition in an Adventure Game. User Modelling and User-Adapted Interaction\u00a0(8), 5\u201347 (1998)","key":"10_CR4","DOI":"10.1023\/A:1008238218679"},{"unstructured":"Bauchet, J., Mayers, A.: Modelisation of ADL in its Environment for Cognitive Assistance. In: Proc. of the 3rd International Conference on Smart homes and health Telematics (ICOST 2005), Sherbrooke, Canada, pp. 3\u201310 (2005)","key":"10_CR5"},{"issue":"3","key":"10_CR6","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1093\/logcom\/12.3.371","volume":"12","author":"W. Wobke","year":"2002","unstructured":"Wobke, W.: Two Logical Theories of Plan Recognition. Journal of Logic Computation\u00a012(3), 371\u2013412 (2002)","journal-title":"Journal of Logic Computation"},{"unstructured":"Hoey, J., Poupart, P.: Solving POMDPs with continuous or large discrete observation spaces. In: Proc. Int\u2019l. Joint Conf. on Artificial Intelligence, pp. 1332\u20131338 (2005)","key":"10_CR7"},{"issue":"5","key":"10_CR8","doi-asserted-by":"publisher","first-page":"53","DOI":"10.4304\/jcp.1.5.53-62","volume":"1","author":"B. Bouchard","year":"2006","unstructured":"Bouchard, B., Giroux, S.: A Smart Home Agent for Plan Recognition of Cognitively-impaired Patients. Journal of Computers\u00a01(5), 53\u201362 (2006)","journal-title":"Journal of Computers"},{"key":"10_CR9","volume-title":"Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia","author":"M.P. Shanahan","year":"1997","unstructured":"Shanahan, M.P.: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)"},{"unstructured":"Levesque, H.: What Is Planning in the Presence of Sensing? In: Proceedings AAAI 1996, pp. 1139\u20131146 (1996)","key":"10_CR10"}],"container-title":["Lecture Notes in Computer Science","Smart Homes and Health Telematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69916-3_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:04:42Z","timestamp":1605762282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69916-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540699149","9783540699163"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69916-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}