{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T10:49:12Z","timestamp":1779101352775,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540853787","type":"print"},{"value":"9783540853794","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85379-4_40","type":"book-chapter","created":{"date-parts":[[2008,8,13]],"date-time":"2008-08-13T09:57:41Z","timestamp":1218621461000},"page":"352-370","source":"Crossref","is-referenced-by-count":12,"title":["Model-Based Reasoning Methods within an Ambient Intelligent Agent Model"],"prefix":"10.1007","author":[{"given":"Tibor","family":"Bosse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fiemke","family":"Both","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charlotte","family":"Gerritsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Hoogendoorn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","series-title":"Lecture Notes in Computer Science","first-page":"432","volume-title":"Ambient Intelligence","year":"2003","unstructured":"Aarts, E., Collier, R.W., van Loenen, E., de Ruyter, B. (eds.): EUSAI 2003. LNCS, vol.\u00a02875, p. 432. Springer, Heidelberg (2003)"},{"key":"40_CR2","first-page":"235","volume-title":"The Invisible Future","author":"E. Aarts","year":"2001","unstructured":"Aarts, E., Harwig, R., Schuurmans, M.: Ambient Intelligence. In: Denning, P. (ed.) The Invisible Future, pp. 235\u2013250. McGraw Hill, New York (2001)"},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"Abdennadher, S., Christiansen, H.: An Experimental CLP Platform for Integrity Constraints and Abduction, In: Fourth International Conference on Flexible Query Answering Systems, FQAS 2000, Warsaw, Poland (2000)","DOI":"10.1007\/978-3-7908-1834-5_13"},{"key":"40_CR4","first-page":"778","volume-title":"Proceedings of European Conference on Artificial Intelligence (ECAI 2004)","author":"J. Augusto","year":"2004","unstructured":"Augusto, J., Nugent, C.: The use of temporal reasoning and management of complex events in smart homes. In: de Mantaras, R.L., Saitta, L. (eds.) Proceedings of European Conference on Artificial Intelligence (ECAI 2004), August 22-27, 2004, pp. 778\u2013782. IOS Press, Amsterdam, The Netherlands (2004)"},{"key":"40_CR5","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1177\/0037549706065676","volume":"82","author":"T. Bosse","year":"2006","unstructured":"Bosse, T., Delfos, M.F., Jonker, C.M., Treur, J.: Analysis of Adaptive Dynamical Systems for Eating Regulation Disorders. Simulation Journal (Transactions of the Society for Modelling and Simulation)\u00a082, 159\u2013171 (2006)","journal-title":"Simulation Journal (Transactions of the Society for Modelling and Simulation)"},{"key":"40_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"888","DOI":"10.1007\/978-3-540-72586-2_124","volume-title":"Computational Science \u2013 ICCS 2007","author":"T. Bosse","year":"2007","unstructured":"Bosse, T., Gerritsen, C., Treur, J.: Integration of Biological, Psychological, and Social Aspects in Agent-Based Simulation of a Violent Psychopath. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2007. LNCS, vol.\u00a04488, pp. 888\u2013895. Springer, Heidelberg (2007)"},{"key":"40_CR7","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1109\/IAT.2006.112","volume-title":"Proceedings of the Sixth International Conference on Intelligent Agent Technology, IAT 2006","author":"T. Bosse","year":"2006","unstructured":"Bosse, T., Jonker, C.M., Meij, L., van der Sharpanskykh, A., Treur, J.: Specification and Verification of Dynamics in Cognitive Agent Models. In: Nishida, T., et al. (eds.) Proceedings of the Sixth International Conference on Intelligent Agent Technology, IAT 2006, pp. 247\u2013254. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"40_CR8","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1142\/S0218213007003357","volume":"16","author":"T. Bosse","year":"2007","unstructured":"Bosse, T., Jonker, C.M., Meij, L., van der Treur, J.: A Language and Environment for Analysis of Dynamics by Simulation. International Journal of Artificial Intelligence Tools\u00a016, 435\u2013464 (2007)","journal-title":"International Journal of Artificial Intelligence Tools"},{"key":"40_CR9","series-title":"Lecture Notes in Artificial Intelligence","first-page":"50","volume-title":"Declarative Agent Languages and Technologies V, Proceedings of the Fifth International Workshop on Declarative Agent Languages and Technologies, DALT 2007","author":"T. Bosse","year":"2008","unstructured":"Bosse, T., Sharpanskykh, A., Treur, J.: Integrating Agent Models and Dynamical Systems. In: Baldoni, M., Son, T.C., Riemsdijk, M.B., van Winikoff, M. (eds.) Declarative Agent Languages and Technologies V, Proceedings of the Fifth International Workshop on Declarative Agent Languages and Technologies, DALT 2007. LNCS (LNAI), vol.\u00a04897, pp. 50\u201368. Springer Verlag, Heidelberg (2008)"},{"key":"40_CR10","first-page":"262","volume-title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI 2007","author":"T. Bosse","year":"2007","unstructured":"Bosse, T., Treur, J.: Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modelling Methods. In: Veloso, M.M. (ed.) Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI 2007, pp. 262\u2013267. AAAI Press, Menlo Park (2007)"},{"key":"40_CR11","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1080\/088395100403397","volume":"14","author":"F.M.T. Brazier","year":"2000","unstructured":"Brazier, F.M.T., Jonker, C.M., Treur, J.: Compositional Design and Reuse of a Generic Agent Model. Applied Artificial Intelligence Journal\u00a014, 491\u2013538 (2000)","journal-title":"Applied Artificial Intelligence Journal"},{"key":"40_CR12","doi-asserted-by":"crossref","unstructured":"Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: Abductive logic programming with ciff: Implementation and applications. In: Proceedings of the Convegno Italiano di Logica Computazionale CILC-2004, University of Parma (2004)","DOI":"10.1007\/978-3-540-30227-8_56"},{"key":"40_CR13","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1023\/A:1017588004618","volume":"11","author":"J. Engelfriet","year":"2002","unstructured":"Engelfriet, J., Jonker, C.M., Treur, J.: Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. Journal of Logic, Language and Information\u00a011, 195\u2013225 (2002)","journal-title":"Journal of Logic, Language and Information"},{"key":"40_CR14","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1080\/11663081.2000.10510986","volume":"10","author":"J. Engelfriet","year":"2000","unstructured":"Engelfriet, J., Treur, J.: Specification of Nonmonotonic Reasoning. Journal of Applied Non-Classical Logics\u00a010, 7\u201327 (2000)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"40_CR15","unstructured":"Green, D.J.: Realtime Compliance Management Using a Wireless Realtime Pillbottle - A Report on the Pilot Study of SIMPILL. In: Proc. of the International Conference for eHealth, Telemedicine and Health, Med-e-Tel 2005, Luxemburg (2005)"},{"key":"40_CR16","volume-title":"Handbook of emotion regulation","year":"2007","unstructured":"Gross, J.J. (ed.): Handbook of emotion regulation. Guilford Press, New York (2007)"},{"key":"40_CR17","volume-title":"Abductive Inference: Computation, Philosophy, Technology","year":"1996","unstructured":"Josephson, J.R., Josephson, S.G. (eds.): Abductive Inference: Computation, Philosophy, Technology. Cambridge University Press, New York (1996)"},{"key":"40_CR18","volume-title":"Ambient Intelligence","year":"2005","unstructured":"Riva, G., Vatalaro, F., Davide, F., Alca\u00f1iz, M. (eds.): Ambient Intelligence. IOS Press, Amsterdam (2005)"},{"key":"40_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/978-3-540-30473-9_33","volume-title":"Ambient Intelligence","author":"K. Stathis","year":"2004","unstructured":"Stathis, K., Toni, F.: Ambient Intelligence Using KGP Agents. In: Markopoulos, P., Eggen, B., Aarts, E., Crowley, J.L. (eds.) EUSAI 2004. LNCS, vol.\u00a03295, pp. 351\u2013362. Springer, Heidelberg (2004)"}],"container-title":["Communications in Computer and Information Science","Constructing Ambient Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85379-4_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:24:32Z","timestamp":1606184672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85379-4_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540853787","9783540853794"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85379-4_40","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[]}}