{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T01:23:01Z","timestamp":1725758581232},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319036465"},{"type":"electronic","value":"9783319036472"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03647-2_2","type":"book-chapter","created":{"date-parts":[[2013,11,22]],"date-time":"2013-11-22T23:04:04Z","timestamp":1385161444000},"page":"19-31","source":"Crossref","is-referenced-by-count":2,"title":["Generating Explanations for Pro-active Assistance from Formal Action Descriptions"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Bader","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"2_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1922649.1922653","volume":"43","author":"J. Aggarwal","year":"2011","unstructured":"Aggarwal, J., Ryoo, M.: Human activity analysis: A review. ACM Comput. Surv.\u00a043(3), 16:1\u201316:43 (2011)","journal-title":"ACM Comput. Surv."},{"key":"2_CR2","unstructured":"Bader, S.: Explaining the reactions of a smart environment. In: Proc. of Exact 2012, Montpellier, France (August 2012)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bader, S., Dyrba, M.: Goalaviour-based control of heterogeneous and distributed smart environments. In: Proc. of the 7th International Conference on Intelligent Environments, pp. 142\u2013148. IEEE (2011)","DOI":"10.1109\/IE.2011.33"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Chen, L., Nugent, C., Biswas, J., Hoey, J. (eds.): Activity Recognition in Pervasive Intelligent Environments, Atlantis. Ambient and Pervasive Intelligence, vol.\u00a04 (2011)","DOI":"10.2991\/978-94-91216-05-3"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1080","DOI":"10.1007\/11833529_109","volume-title":"Ubiquitous Intelligence and Computing","author":"J. Chin","year":"2006","unstructured":"Chin, J., Callaghan, V., Clarke, G.: An end user tool for customising personal spaces in ubiquitous computing environments. In: Ma, J., Jin, H., Yang, L.T., Tsai, J.J.-P. (eds.) UIC 2006. LNCS, vol.\u00a04159, pp. 1080\u20131089. Springer, Heidelberg (2006)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Cook, D., Das, S.: Smart Environments. Wiley (2005)","DOI":"10.1002\/047168659X"},{"key":"2_CR7","unstructured":"Cook, D., Huber, M., Gopalratnam, K., Youngblood, M.: Learning to control a smart home environment. In: Innovative Applications of Artificial Intelligence (2003)"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"57","DOI":"10.3233\/AIS-2009-0008","volume":"1","author":"A. Dey","year":"2009","unstructured":"Dey, A.: Modeling and intelligibility in ambient environments. J. Ambient Intell. Smart Environ.\u00a01, 57\u201362 (2009)","journal-title":"J. Ambient Intell. Smart Environ."},{"key":"2_CR9","unstructured":"Dooley, J., Callaghan, H.H.V., Gardner, M., Ghanbaria, M., AlGhazzawi, D.: The intelligent classroom: Beyond four walls. In: Proc. of the Intelligent Campus Workshop (IC 2011) held at the 7th IEEE Intelligent Environments Conference (IE 2011) (2011)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48958-4_1","volume-title":"Logic-Based Program Synthesis and Transformation","author":"N.E. Fuchs","year":"1999","unstructured":"Fuchs, N.E., Schwertel, U., Schwitter, R.: Attempto controlled english \u2013 not just another logic specification language. In: Flener, P. (ed.) LOPSTR 1998. LNCS, vol.\u00a01559, pp. 1\u201320. Springer, Heidelberg (1999)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Gatt, A., Reiter, E.: Simplenlg: A realisation engine for practical applications. In: Proc. of ENLG 2009 (2009)","DOI":"10.3115\/1610195.1610208"},{"issue":"5-6","key":"2_CR12","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1016\/j.artint.2008.10.012","volume":"173","author":"A. Gerevini","year":"2009","unstructured":"Gerevini, A., Haslum, P., Long, D., Saetti, A., Dimopoulos, Y.: Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners. Artificial Intelligence\u00a0173(5-6), 619\u2013668 (2009)","journal-title":"Artificial Intelligence"},{"key":"2_CR13","unstructured":"Heider, T., Kirste, T.: Supporting goal-based interaction with dynamic intelligent environments. In: Proc. of ECAI 2002, pp. 596\u2013600 (2002)"},{"issue":"3","key":"2_CR14","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MC.2005.107","volume":"38","author":"S. Helal","year":"2005","unstructured":"Helal, S., Mann, W., El-Zabadani, H., King, J., Kaddoura, Y., Jansen, E.: The gator tech smart house: a programmable pervasive space. Computer\u00a038(3), 50\u201360 (2005)","journal-title":"Computer"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer (1993)","DOI":"10.1007\/978-94-017-1616-1"},{"key":"2_CR16","first-page":"3675","volume-title":"CHI 2008 Extended Abstracts on Human Factors in Computing Systems","author":"J.A. Kientz","year":"2008","unstructured":"Kientz, J.A., Patel, S.N., Jones, B., Price, E., Mynatt, E.D., Abowd, G.D.: The Georgia Tech Aware Home. In: CHI 2008 Extended Abstracts on Human Factors in Computing Systems, pp. 3675\u20133680. ACM, New York (2008)"},{"key":"2_CR17","unstructured":"Kr\u00fcger, F., Yordanova, K., Hein, A., Kirste, T.: Plan synthesis for probabilistic activity recognition. In: Proc. of the 5th International Conference on Agents and Artificial Intelligence (ICAART 2013), Barcelona, Spain, pp. 283\u2013288 (February 2013)"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Lim, B., Dey, A., Avrahami, D.: Why and why not explanations improve the intelligibility of context-aware intelligent systems. In: Proc. of the 27th International Conference on Human Factors in Computing Systems, pp. 2119\u20132128. ACM (2009)","DOI":"10.1145\/1518701.1519023"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Mozer, M.C.: Lessons from an adaptive house. In: Cook, D., Das, R. (eds.) Smart Environments: Technologies, Protocols, and Applications, pp. 273\u2013294. Wiley (2005)","DOI":"10.1002\/047168659X.ch12"},{"issue":"5","key":"2_CR20","doi-asserted-by":"publisher","first-page":"6282","DOI":"10.3390\/s120506282","volume":"12","author":"A. Mu\u00f1oz","year":"2012","unstructured":"Mu\u00f1oz, A., Serrano, E., Villa, A., Vald\u00e9s, M., Bot\u00eda, J.A.: An approach for representing sensor data to validate alerts in ambient assisted living. Sensors\u00a012(5), 6282\u20136306 (2012)","journal-title":"Sensors"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Nakashima, H., Aghajan, H., Augusto, J. (eds.): Handbook of Ambient Intelligence and Smart Environments. Springer (2010)","DOI":"10.1007\/978-0-387-93808-0"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Poslad, S.: Ubiquitous Computing: Smart Devices, Environments and Interactions. Wiley (2009)","DOI":"10.1002\/9780470779446"},{"key":"2_CR23","unstructured":"Ram\u00edrez, M., Geffner, H.: Goal recognition over pomdps: inferring the intention of a pomdp agent. In: Proc. of IJCAI 2011, pp. 2009\u20132014. AAAI Press (2011)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Reiter, E., Dale, R.: Building Natural Language Generation Systems. Studies in natural language processing. Cambridge University Press (2000)","DOI":"10.1017\/CBO9780511519857"},{"key":"2_CR25","unstructured":"Roth-Berghofer, T., Leake, D., Cassens, J. (eds.): Proc. of the Workshop on Explanation-aware Computing (2012)"},{"key":"2_CR26","unstructured":"Vermeulen, J., Lim, B., Kawsar, F.: Pervasive intelligibility - 2nd workshop on intelligibility and control in pervasive computing (2012)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Vermeulen, J., Vanderhulst, G., Luyten, K., Coninx, K.: Pervasive crystal: Asking and answering why and why not questions about pervasive computing applications. In: 6th International Conference on Intelligent Environments, pp. 271\u2013276 (2010)","DOI":"10.1109\/IE.2010.56"}],"container-title":["Lecture Notes in Computer Science","Ambient Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03647-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,10]],"date-time":"2020-08-10T09:57:43Z","timestamp":1597053463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03647-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319036465","9783319036472"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03647-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}