{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:03:29Z","timestamp":1725890609271},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540853787"},{"type":"electronic","value":"9783540853794"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85379-4_5","type":"book-chapter","created":{"date-parts":[[2008,8,13]],"date-time":"2008-08-13T09:57:41Z","timestamp":1218621461000},"page":"34-43","source":"Crossref","is-referenced-by-count":0,"title":["Model-Based Default Refinement of Partial Information within an Ambient Agent"],"prefix":"10.1007","author":[{"given":"Fiemke","family":"Both","sequence":"first","affiliation":[]},{"given":"Charlotte","family":"Gerritsen","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Hoogendoorn","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_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":"5_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":"5_CR3","first-page":"241","volume-title":"Proceedings of the 8th International Conference on Cognitive Modeling, ICCM 2007","author":"T. Bosse","year":"2007","unstructured":"Bosse, T., Hoogendoorn, M., Jonker, C.M., Treur, J.: A Formal Empirical Analysis Method for Human Reasoning and Interpretation. In: Lewis, R., Polk, T. (eds.) Proceedings of the 8th International Conference on Cognitive Modeling, ICCM 2007, pp. 241\u2013246. Taylor & Francis, Abington (2007)"},{"issue":"1","key":"5_CR4","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1207\/s15516709cog0000_51","volume":"30","author":"T. Bosse","year":"2006","unstructured":"Bosse, T., Jonker, C.M., Treur, J.: Formalization and Analysis of Reasoning by Assumption. Cognitive Science Journal\u00a030(1), 147\u2013180 (2006)","journal-title":"Cognitive Science Journal"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1142\/S0218213007003357","volume":"16","author":"T. Bosse","year":"2007","unstructured":"Bosse, T., Jonker, C.M., van der, L., 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":"5_CR6","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/1160633.1160650","volume-title":"Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2006","author":"T. Bosse","year":"2006","unstructured":"Bosse, T., Treur, J.: Modelling Dynamics of Cognitive Agents by Higher-Order Potentialities. In: Stone, P., Weiss, G. (eds.) Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2006, vol.\u00a02006, pp. 117\u2013119. ACM Press, New York (2006)"},{"key":"5_CR7","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":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BFb0021977","volume-title":"Logics in Artificial Intelligence","author":"G. Brewka","year":"1994","unstructured":"Brewka, G.: Adding priorities and specificity to default logic. In: MacNish, C., Moniz Pereira, L., Pearce, D.J. (eds.) JELIA 1994. LNCS, vol.\u00a0838, pp. 247\u2013260. Springer, Heidelberg (1994)"},{"key":"5_CR9","volume-title":"Festschrift on the occasion of Prof.Dr. W. Bibel\u2019s 60th birthday","author":"G. Brewka","year":"1999","unstructured":"Brewka, G., Eiter, T.: Prioritizing Default Logic: Abridged Report. In: Festschrift on the occasion of Prof.Dr. W. Bibel\u2019s 60th birthday, Kluwer, Dordrecht (1999)"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1023\/A:1018909517931","volume":"24","author":"J. Engelfriet","year":"1998","unstructured":"Engelfriet, J., Herre, H., Treur, J.: Nonmonotonic Reasoning with Multiple Belief Sets. Annals of Mathematics and Artificial Intelligence\u00a024, 225\u2013248 (1998)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"5_CR11","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":"5_CR12","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1080\/11663081.1995.10510858","volume":"5","author":"J. Engelfriet","year":"1995","unstructured":"Engelfriet, J., Treur, J.: Temporal Theories of Reasoning. Journal of Applied Non-Classical Logics\u00a05, 239\u2013261 (1995)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1023\/A:1008243611454","volume":"7","author":"J. Engelfriet","year":"1998","unstructured":"Engelfriet, J., Treur, J.: An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. J. of Logic, Language and Information\u00a07, 369\u2013388 (1998)","journal-title":"J. of Logic, Language and Information"},{"key":"5_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":"5_CR15","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0888-613X(02)00089-0","volume":"32","author":"J. Engelfriet","year":"2003","unstructured":"Engelfriet, J., Treur, J.: Multi-Interpretation Operators and Approximate Classification. Int. Journal of Approximate Reasoning\u00a032, 43\u201361 (2003)","journal-title":"Int. Journal of Approximate Reasoning"},{"key":"5_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/11788485_4","volume-title":"Designing Smart Homes","author":"A. Galton","year":"2006","unstructured":"Galton, A.: Causal Reasoning for Alert Generation in Smart Homes. In: Augusto, J.C., Nugent, C.D. (eds.) Designing Smart Homes. LNCS (LNAI), vol.\u00a04008, pp. 57\u201370. Springer, Heidelberg (2006)"},{"key":"5_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02906-0","volume-title":"Nonmonotonic Logics","author":"V.W. Marek","year":"1993","unstructured":"Marek, V.W., Truszczynski, M.: Nonmonotonic Logics. Springer, Heidelberg (1993)"},{"key":"5_CR18","first-page":"343","volume":"21","author":"V.W. Marek","year":"1997","unstructured":"Marek, V.W., Treur, J., Truszczynski, M.: Representation Theory for Default Logic. Annals of Mathematics and AI\u00a021, 343\u2013358 (1997)","journal-title":"Annals of Mathematics and AI"},{"key":"5_CR19","unstructured":"Niemel\u00e4, I., Simons, P., Syrj\u00e4nen, T.: Smodels: a system for answer set programming. In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, Breckenridge, Colorado, USA (April 2000)"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"volume-title":"Ambient Intelligence","year":"2005","key":"5_CR21","unstructured":"Riva, G., Vatalaro, F., Davide, F., Alca\u00f1iz, M. (eds.): Ambient Intelligence. IOS Press, Amsterdam (2005)"},{"key":"5_CR22","first-page":"159","volume-title":"Ambient Intelligence","author":"A. Schmidt","year":"2005","unstructured":"Schmidt, A.: Interactive Context-Aware Systems - Interacting with Ambient Intelligence. In: Riva, G., Vatalaro, F., Davide, F., Alca\u00f1iz, M. (eds.) Ambient Intelligence, pp. 159\u2013178. IOS Press, Amsterdam (2005)"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"893","DOI":"10.1016\/S0097-8493(99)00120-X","volume":"23,19","author":"A. Schmidt","year":"1999","unstructured":"Schmidt, A., Beigl, M., Gellersen, H.W.: There is more to Context than Location. Computers & Graphics Journal\u00a023,19, 893\u2013902 (1999)","journal-title":"Computers & Graphics Journal"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Schmidt, A., Kortuem, G., Morse, D., Dey, A. (eds.): Situated Interaction and Context-Aware Computing, Personal and Ubiquitous Computing, vol.\u00a05, pp. 1\u201381 (2001)","DOI":"10.1007\/PL00000013"},{"key":"5_CR25","first-page":"299","volume-title":"Proc. ECAI 1992","author":"Y.H. Tan","year":"1992","unstructured":"Tan, Y.H., Treur, J.: Constructive Default Logic and the Control of Defeasible Reasoning. In: Neumann, B. (ed.) Proc. ECAI 1992, pp. 299\u2013303. Wiley and Sons, Chichester (1992)"}],"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_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:35:48Z","timestamp":1619523348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85379-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540853787","9783540853794"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85379-4_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[]}}