{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T23:10:02Z","timestamp":1745968202967,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642370144"},{"type":"electronic","value":"9783642370151"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37015-1_18","type":"book-chapter","created":{"date-parts":[[2013,3,5]],"date-time":"2013-03-05T04:34:18Z","timestamp":1362458058000},"page":"216-230","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Approach to Model the Interaction between User and AmI Environment"],"prefix":"10.1007","author":[{"given":"Jian","family":"He","sequence":"first","affiliation":[]},{"given":"Fan","family":"Yu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"ISTAG, Scenarios for Ambient Intelligence in 2010, http:\/\/www.cordis.lu\/istag.html"},{"issue":"6","key":"18_CR2","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1109\/MIS.2004.61","volume":"19","author":"H. Hagras","year":"2004","unstructured":"Hagras, H., Callaghan, V., Colley, M., et al.: Creating an Ambient-Intelligence Environment Using Embedded Agents. IEEE Intelligent Systems\u00a019(6), 12\u201320 (2004)","journal-title":"IEEE Intelligent Systems"},{"key":"18_CR3","first-page":"33","volume-title":"Proceedings of PERCOMW 2004","author":"K. Henricksen","year":"2004","unstructured":"Henricksen, K., Indulska, J.: Modelling and Using Imperfect Context Information. In: Proceedings of PERCOMW 2004, Washington, DC, USA, pp. 33\u201337. IEEE Computer Society, Los Alamitos (2004)"},{"key":"18_CR4","series-title":"CCIS","first-page":"14","volume-title":"AmI 2007 Workshops","author":"A. Bikakis","year":"2008","unstructured":"Bikakis, A., Patkos, T., Antoniou, G., Plexousakis, D.: A Survey of Semantics-based Approaches for Context Reasoning in Ambient Intelligence. In: M\u00fchlh\u00e4user, M., Ferscha, A., Aitenbichler, E. (eds.) AmI 2007 Workshops. CCIS, vol.\u00a011, pp. 14\u201323. Springer, Heidelberg (2008)"},{"issue":"11","key":"18_CR5","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 Transactions on Knowledge and Data Engineering\u00a022(11), 1492\u20131506 (2010)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"18_CR6","unstructured":"Trivedi, M., Huang, K., Mikic, I.: Intelligent environments and active camera networks. IEEE Transactions on Systems Man and Cybernetics (October 2000)"},{"key":"18_CR7","unstructured":"MIT Project Oxygen, http:\/\/oxygen.lcs.mit.edu\/"},{"key":"18_CR8","unstructured":"Coen, M., Dang, D., De Bonet, J., Kramer, J., et al.: The intelligent room project. Presented at the 2nd Int. Cogn. Technol. Conf., Aizu, Japan (August 1997)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Lorigo, L.M., Brooks, R.A., Grimson, W.E.L.: Visually guided obstacle avoidance in unstructured environments. In: Proc. IROS, Grenoble, France, pp. 373\u2013379 (September 1997)","DOI":"10.1109\/IROS.1997.649086"},{"key":"18_CR10","unstructured":"Aware Home Research Initiative (AHRI), http:\/\/www.cc.gatech.edu\/fce\/ahri\/"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Kidd, C.D., Orr, R., Abowd, G.D., Atkeson, C.G., et al.: The aware home: A living laboratory for ubiquitous computing research. In: 2nd Int. Workshop Cooperative Buildings (October 1999)","DOI":"10.1007\/10705432_17"},{"key":"18_CR12","unstructured":"RUNES, http:\/\/www.ist-runes.org\/"},{"issue":"2","key":"18_CR13","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MIS.2008.24","volume":"23","author":"S. Costantini","year":"2008","unstructured":"Costantini, S., Mostarda, L., Tocchio, A., Tsintza, P.: DALICA: Agent based ambient intelligence for cultural-heritage scenarios. IEEE Intell. Syst.\u00a023(2), 34\u201341 (2008)","journal-title":"IEEE Intell. Syst."},{"key":"18_CR14","unstructured":"AMIGO, http:\/\/www.hitech-projects.com\/euprojects\/amigo\/"},{"issue":"1","key":"18_CR15","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1109\/TITS.2006.890080","volume":"8","author":"Z. Wu","year":"2007","unstructured":"Wu, Z., Wu, Q., Cheng, H., Pan, G., et al.: ScudWare: A semantic and adaptive middleware platform for smart vehicle space. IEEE Trans. Intell. Transp. Syst.\u00a08(1), 121\u2013132 (2007)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"2","key":"18_CR16","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/MPRV.2003.1203753","volume":"2","author":"Y. Shi","year":"2003","unstructured":"Shi, Y., Xie, W., Xu, G., Shi, R., et al.: The smart classroom: Merging technology for seamless tele-education. IEEE Pervasive Comput.\u00a02(2), 47\u201355 (2003)","journal-title":"IEEE Pervasive Comput."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"He, J., Dong, Y., Zhang, Y., Huang, Z.: Creating an Ambient-Intelligence Environment Using Multi-Agent System. In: 2008 International Conference on Embedded Software and Systems Symposia (ICESS Symposia), pp. 253\u2013258 (2008)","DOI":"10.1109\/ICESS.Symposia.2008.64"},{"issue":"3","key":"18_CR18","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1109\/TSMCC.2009.2014390","volume":"39","author":"R. Chen","year":"2009","unstructured":"Chen, R., Hou, Y.-B., Huang, Z.-Q., He, J.: Modeling the Ambient Intelligence Application System: Concept, Software, Data, and Network. IEEE Transactions on Systems, Man, and Cybernetics\u2014Part C: Applications and Reviews\u00a039(3), 299\u2013324 (2009)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics\u2014Part C: Applications and Reviews"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-74853-3_1","volume-title":"UbiComp 2007: Ubiquitous Computing","author":"S. Vurgun","year":"2007","unstructured":"Vurgun, S., Philipose, M., Pavel, M.: A Statistical Reasoning System for Medication Prompting. In: Krumm, J., Abowd, G.D., Seneviratne, A., Strang, T. (eds.) UbiComp 2007. LNCS, vol.\u00a04717, pp. 1\u201318. Springer, Heidelberg (2007)"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-79576-6_1","volume-title":"Pervasive Computing","author":"S.N. Patel","year":"2008","unstructured":"Patel, S.N., Reynolds, M.S., Abowd, G.D.: Detecting Human Movement by Differential Air Pressure Sensing in HVAC System Ductwork: An Exploration in Infrastructure Mediated Sensing. In: Indulska, J., Patterson, D.J., Rodden, T., Ott, M. (eds.) PERVASIVE 2008. LNCS, vol.\u00a05013, pp. 1\u201318. Springer, Heidelberg (2008)"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Reddy, S., Estrin, D., Hansen, M., et al.: Examining Micro-Payments for Participatory Sensing Data Collections. In: Proc. Ubicomp 2010, pp. 33\u201336 (2010)","DOI":"10.1145\/1864349.1864355"},{"issue":"1","key":"18_CR22","doi-asserted-by":"crossref","first-page":"57","DOI":"10.3233\/AIS-2009-0008","volume":"1","author":"A.K. Dey","year":"2009","unstructured":"Dey, A.K.: Modeling and intelligibility in ambient environments. Journal of Ambient Intelligence and Smart Environments\u00a01(1), 57\u201362 (2009)","journal-title":"Journal of Ambient Intelligence and Smart Environments"},{"key":"18_CR23","volume-title":"The Feeling of What Happens Body, Emotion and the Making of Consciousness","author":"A.R. Damasio","year":"2000","unstructured":"Damasio, A.R.: The Feeling of What Happens Body, Emotion and the Making of Consciousness. Harvest Books, London (2000)"},{"issue":"1","key":"18_CR24","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1109\/TSMCA.2004.838483","volume":"35","author":"L. Marchesotti","year":"2005","unstructured":"Marchesotti, L., Piva, S., Regazzoni, C.: Structured Context-Analysis Techniques in Biologically Inspired Ambient-Intelligence Systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans\u00a035(1), 106\u2013120 (2005)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans"},{"key":"18_CR25","unstructured":"Du, T.C.: Implementing Association Rule Techniques in Data Allocation of Distributed Database. Chung Yuan Christian Univ., Taiwan (2000)"},{"key":"18_CR26","unstructured":"Jess, the Rule Engine for the Java Platform, http:\/\/herzberg.ca.sandia.gov\/jess\/"},{"issue":"2","key":"18_CR27","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008255418509","volume":"7","author":"N.. Kushmerick","year":"1997","unstructured":"Kushmerick, N.: Software\u00a0agents\u00a0and their bodies. Minds and Machines\u00a07(2), 227\u2013247 (1997)","journal-title":"Minds and Machines"},{"issue":"10","key":"18_CR28","first-page":"1351","volume":"1","author":"S.-L. Hu","year":"2000","unstructured":"Hu, S.-L., Shi, C.-Y.: Agent-BDI Logic. Journal of Software\u00a01(10), 1351\u20131360 (2000) (in Chinese)","journal-title":"Journal of Software"},{"issue":"7","key":"18_CR29","first-page":"778","volume":"10","author":"J.-Z. Chen","year":"1999","unstructured":"Chen, J.-Z., Liu, D.-Y., Tang, H.-Y., Hu, M.: An Extended BDI Logic for Modeling Multi-agent Communication. Journal of Software\u00a010(7), 778\u2013784 (1999) (in Chinese)","journal-title":"Journal of Software"}],"container-title":["Lecture Notes in Computer Science","Pervasive Computing and the Networked World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37015-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T22:57:16Z","timestamp":1745967436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37015-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370144","9783642370151"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37015-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}