{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T18:10:04Z","timestamp":1747419004771,"version":"3.40.5"},"publisher-location":"Tokyo","reference-count":33,"publisher":"Springer Japan","isbn-type":[{"type":"print","value":"9784431552086"},{"type":"electronic","value":"9784431552093"}],"license":[{"start":{"date-parts":[[2014,11,6]],"date-time":"2014-11-06T00:00:00Z","timestamp":1415232000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,11,6]],"date-time":"2014-11-06T00:00:00Z","timestamp":1415232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-4-431-55209-3_5","type":"book-chapter","created":{"date-parts":[[2015,1,10]],"date-time":"2015-01-10T10:50:14Z","timestamp":1420887014000},"page":"59-81","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Describing and Evaluating Assistance Using APDL"],"prefix":"10.1007","author":[{"given":"Martin","family":"Nyolt","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Steiniger","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Bader","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Kirste","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,11,6]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Bader, S., Dyrba, M.: Goalaviour-based control of heterogeneous and distributed smart environments. In: Proceedings of the 7th International Conference on Intelligent Environments, pp.\u00a0142\u2013148. IEEE Computer Society (2011)","DOI":"10.1109\/IE.2011.33"},{"key":"5_CR2","unstructured":"Bayha, A., Gr\u00fcneis, F., Sch\u00e4tz, B.: Model-based software in-the-loop-test of autonomous systems. In: Wainer, G.A., Mosterman, P. (eds.) Proceedings of the 2012 Symposium on Theory of Modeling and Simulation\u2014DEVS Integrative M&S Symposium. Society for Computer Simulation International, Article No.\u00a030 (2012)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Brooks, R.A.: The intelligent room project. In: Proceedings of Second International Conference on Cognitive Technology Humanizing the Information Age, pp.\u00a0271\u2013278 (1997)","DOI":"10.1109\/CT.1997.617707"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Chin, J., Callaghan, V., Clarke, G.: An end user tool for customising personal spaces in ubiquitous environments. In: Proceedings of the Third international conference on Ubiquitous Intelligence and Computing, UIC\u201906, pp.\u00a01080\u20131089. Springer, Berlin\/Heidelberg (2006)","DOI":"10.1007\/11833529_109"},{"key":"5_CR5","volume-title":"Smart Environments","author":"D.J. Cook","year":"2005","unstructured":"Cook, D.J., Das, S.K.: Smart Environments. Wiley, Hoboken (2005)"},{"key":"5_CR6","volume-title":"Innovative Applications of Artificial Intelligence","author":"D.J. Cook","year":"2003","unstructured":"Cook, D.J., Huber, M., Gopalratnam, K., Youngblood, M.: Learning to control a smart home environment. In: Riedl, J., Hill, R. (eds.) Innovative Applications of Artificial Intelligence. The AAAI Press, Menlo Park, (2003)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Cook, D.J., Youngblood, M., Das, S.K.: A multi-agent approach to controlling a smart environment. In: Designing Smart Homes. Lecture Notes in Computer Science, vol. 4008, pp.\u00a0165\u2013182. Springer, Berlin\/Heidelberg (2006)","DOI":"10.1007\/11788485_10"},{"key":"5_CR8","unstructured":"Dooley, J., Callaghan, H.H.V., Gardner, M., Ghanbaria, M., AlGhazzawi, D.: The intelligent classroom: beyond four walls. In: Proceedings of the Intelligent Campus Workshop (IC\u201911) held at the 7th IEEE Intelligent Environments Conference (IE\u201911), Nottingham (2011)"},{"key":"5_CR9","first-page":"62","volume":"26","author":"M. Genesereth","year":"2005","unstructured":"Genesereth, M., Love, N.: General game playing: overview of the AAAI competition. AI Mag. 26, 62\u201372 (2005)","journal-title":"AI Mag."},{"key":"5_CR10","unstructured":"Ghallab, M., Howe, A., Knoblock, C., Mcdermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL\u2014the planning domain definition language. Technical Report CVC TR-98-003\/DCS TR-1165, Yale Center for Computational Vision and Control (1998)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Gierke, M., Himmelspach, J., R\u00f6hl, M., Uhrmacher, A.M.: Modeling and simulation of tests for agents. In: Fischer, K., Timm, I.J., Andr\u00e9, E., Zhong, N. (eds.) Multiagent System Technologies. Lecture Notes in Computer Science, vol. 4196, pp.\u00a049\u201360. Springer (2006)","DOI":"10.1007\/11872283_5"},{"key":"5_CR12","unstructured":"Giersich, M., Heider, T., Kirste, T.: AI methods for smart environments: a case study on team assistance in smart meeting rooms. In: Proceedings of Scientific Workshop 1: Artificial Intelligence Methods for Ambient Intelligence on European Conference on Ambient Intelligence (AmI-07), Darmstadt, Germany (2007)"},{"issue":"3","key":"5_CR13","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 38(3), 50\u201360 (2005)","journal-title":"Computer"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Helal, S., Lee, J.W., Hossain, S., Kim, E., Hagras, H., Cook, D.J.: Persim\u2014simulator for human activities in pervasive spaces. In: Proceedings of the Seventh International Conference on Intelligent Environments, pp.\u00a0192\u2013199. IEEE Computer Society (2011)","DOI":"10.1109\/IE.2011.34"},{"key":"5_CR15","unstructured":"Himmelspach, J.: Konzeption, Realisierung und Verwendung eines allgemeinen Modellierungs-, Simulations- und Experimentiersystems\u2014Entwicklung und Evaluation effizienter Simulationsalgorithmen, vol.\u00a04, 1st edn. Sierke (2007) in German"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Himmelspach, J., Uhrmacher, A.M.: Plug\u2019n simulate. In: Proceddings of the 40th Annual Simulation Symposium, pp.\u00a0137\u2013143. IEEE Computer Society (2007)","DOI":"10.1109\/ANSS.2007.34"},{"issue":"5","key":"5_CR17","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/j.cviu.2009.06.008","volume":"114","author":"J. Hoey","year":"2010","unstructured":"Hoey, J., Poupart, P.,\u00a0von Bertoldi, A., Craig, T., Boutilier, C., Mihailidis, A.: Automated handwashing assistance for persons with dementia using video and a partially observable markov decision process. Comput. Vis. Image Underst. 114(5), 503\u2013519 (2010)","journal-title":"Comput. Vis. Image Underst."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Huebscher, M.C., McCann, J.A.: Simulation model for self-adaptive applications in pervasive computing. In: Proceedings of the Database and Expert Systems Applications, pp.\u00a0694\u2013698 (2004)","DOI":"10.1109\/DEXA.2004.1333555"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Kientz, J.A., Patel, S.N., Jones, B., Price, E., Mynatt, E.D., Abowd, G.D.: The Georgia Tech Aware Home. In: CHI \u201908 Extended Abstracts on Human Factors in Computing Systems, pp.\u00a03675\u20133680. ACM, New York (2008)","DOI":"10.1145\/1358628.1358911"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"1066","DOI":"10.1145\/2370216.2370443","volume-title":"Proceedings of the 2012 ACM Conference on Ubiquitous Computing","author":"F. Kr\u00fcger","year":"2012","unstructured":"Kr\u00fcger, F., Steiniger, A., Bader, S., Kirste, T.: Evaluating the robustness of activity recognition using computational causal behavior models. In: Dey, A.K., Chu, H.-H., Hayes, G. (eds.) Proceedings of the 2012 ACM Conference on Ubiquitous Computing, pp.\u00a01066\u20131074. ACM Press, New York (2012)"},{"key":"5_CR21","unstructured":"Hambling, B., Morgan, P., Samaroo, A., Thompson, G., Williams, P.: Software Testing: An ISTQB-ISEB Foundation Guide, revised edn. British Informatics Society Ltd., Swindon (2010)"},{"key":"5_CR22","first-page":"273","volume-title":"Smart Environments: Technologies, Protocols, and Applications","author":"M.C. Mozer","year":"2005","unstructured":"Mozer, M.C.: Lessons from an adaptive house. In: Cook, D.J., Das, R. (eds.) Smart Environments: Technologies, Protocols, and Applications, pp.\u00a0273\u2013294. Wiley, Hoboken (2005)"},{"key":"5_CR23","volume-title":"A survey of POMDP solution techniques","author":"K.P. Murphy","year":"2000","unstructured":"Murphy, K.P.: A survey of POMDP solution techniques. Technical report, Department of Computer Science, University of British Columbia (2000)"},{"key":"5_CR24","unstructured":"Murphy, K.P.: Dynamic bayesian networks: representation, inference and learning. Ph.D. thesis, University of California, Berkeley (2002)"},{"volume-title":"Handbook of Ambient Intelligence and Smart Environments","year":"2010","key":"5_CR25","unstructured":"Nakashima, H., Aghajan, H., Augusto, J.C. (eds.): Handbook of Ambient Intelligence and Smart Environments. Springer, New York (2010)"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Nishikawa, H., Yamamoto, S., Tamai, M., Nishigaki, K., Kitani, T., Shibata, N., Yasumoto, K., Ito, M.: UbiREAL: Realistic smartspace simulator for systematic testing. In: Dourish, P., Friday, A. (eds.) Proceedings of the 8th international conference on Ubiquitous Computing. Lecture Notes in Computer Science, vol. 4206, pp.\u00a0459\u2013476. Springer (2006)","DOI":"10.1007\/11853565_27"},{"key":"5_CR27","volume-title":"Concept and realisation of a framework for testing general assistance systems","author":"M. Nyolt","year":"2012","unstructured":"Nyolt, M.: Concept and realisation of a framework for testing general assistance systems. Master\u2019s thesis, University of Rostock (2012)"},{"key":"5_CR28","unstructured":"Pfeffer, A.: IBAL: a probabilistic rational programming language. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence, vol.\u00a01, pp.\u00a0733\u2013740. Morgan Kaufmann Publishers Inc., San Francisco (2001)"},{"key":"5_CR29","doi-asserted-by":"publisher","DOI":"10.1002\/9780470779446","volume-title":"Ubiquitous Computing: Smart Devices","author":"S. Poslad","year":"2009","unstructured":"Poslad, S.: Ubiquitous Computing: Smart Devices, Environments and Interactions.Wiley, Chichester (2009)"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Proetzsch, M., Zimmermann, F., Eschbach, R., Kloos, J., Berns, K.: A systematic testing approach for autonomous mobile robots using domain-specific languages. In: KI 2010: Advances in Artificial Intelligence. Lecture Notes in Computer Science, vol. 6359, pp. 317\u2013324. Springer (2010)","DOI":"10.1007\/978-3-642-16111-7_36"},{"key":"5_CR31","unstructured":"Sanner, S.: Relational dynamic influence diagram language (RDDL): language description. http:\/\/users.cecs.anu.edu.au\/~ssanner\/IPPC_2011\/RDDL.pdf (2010)"},{"key":"5_CR32","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-02261-6_6","volume-title":"Logic, Language, Information and Computation. Lecture Notes in Computer Science","author":"T. Sato","year":"2009","unstructured":"Sato, T.: Logic-based probabilistic modeling. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) Logic, Language, Information and Computation. Lecture Notes in Computer Science, vol. 5514, pp. 61\u201371. Springer, Berlin\/Heidelberg (2009)"},{"key":"5_CR33","unstructured":"Uhrmacher, A.M., R\u00f6hl, M., Himmelspach, J.: Unpaced and paced simulation for testing agents. In: Verbraeck, A., Hlupic, V. (eds.) Proceedings of the 15th European Simulation Symposium, pp. 71\u201380. SCS European Publishing House (2003)"}],"container-title":["Studies in Computational Intelligence","Smart Modeling and Simulation for Complex Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-4-431-55209-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T17:31:36Z","timestamp":1747416696000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-4-431-55209-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,6]]},"ISBN":["9784431552086","9784431552093"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-4-431-55209-3_5","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2014,11,6]]},"assertion":[{"value":"6 November 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}