Model-based reasoning methods within an ambient intelligent agent model

Communications in Computer and Information Science

Volumn 11, Issue , 2008, Pages 352-370

  Bosse, Tibor ^a   Both, Fiemke ^a   Gerritsen, Charlotte ^a   Hoogendoorn, Mark ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AMBIENT INTELLIGENCE; ARTIFICIAL INTELLIGENCE; COMPUTER SOFTWARE; IODINE COMPOUNDS; VERIFICATION;

AMBIENT INTELLIGENT; AUTOMATED VERIFICATION; DYNAMIC RELATION; FORMAL ANALYSIS; MODEL REPRESENTATION; MODEL-BASED REASONING; REASONING METHODS; SOFTWARE ENVIRONMENTS;

PHYSIOLOGICAL MODELS;

EID: 58049084043     PISSN: 18650929     EISSN: 18650937     Source Type: Book Series    
DOI: 10.1007/978-3-540-85379-4_40     Document Type: Conference Paper

References (19)

1. Aarts, E., Collier, R.W., van Loenen, E., de Ruyter, B. (eds.): EUSAI 2003. LNCS, vol. 2875, p. 432. Springer, Heidelberg (2003)
2. Aarts, E., Harwig, R., Schuurmans, M.: Ambient Intelligence. In: Denning, P. (ed.) The Invisible Future, pp. 235–250. McGraw Hill, New York (2001)
3. 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)
4. 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–782. IOS Press, Amsterdam, The Netherlands (2004)
5. 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) 82, 159–171 (2006)
6. 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. 4488, pp. 888–895. Springer, Heidelberg (2007)
7. 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–254. IEEE Computer Society Press, Los Alamitos (2006)
8. 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 16, 435–464 (2007)
9. 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. 4897, pp. 50–68. Springer Verlag, Heidelberg (2008)
10. 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–267. AAAI Press, Menlo Park (2007)
11. Brazier, F.M.T., Jonker, C.M., Treur, J.: Compositional Design and Reuse of a Generic Agent Model. Applied Artificial Intelligence Journal 14, 491–538 (2000)
12. 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)
13. Engelfriet, J., Jonker, C.M., Treur, J.: Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. Journal of Logic, Language and Information 11, 195– 225 (2002)
14. Engelfriet, J., Treur, J.: Specification of Nonmonotonic Reasoning. Journal of Applied Non-Classical Logics 10, 7–27 (2000)
15. 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)
16. Gross, J.J. (ed.): Handbook of emotion regulation. Guilford Press, New York (2007)
17. Josephson, J.R., Josephson, S.G. (eds.): Abductive Inference: Computation, Philosophy, Technology. Cambridge University Press, New York (1996)
18. Riva, G., Vatalaro, F., Davide, F., Alcañiz, M. (eds.): Ambient Intelligence. IOS Press, Amsterdam (2005)
19. Stathis, K., Toni, F.: Ambient Intelligence Using KGP Agents. In: Markopoulos, P., Eggen, B., Aarts, E., Crowley, J.L. (eds.) EUSAI 2004. LNCS, vol. 3295, pp. 351–362. Springer, Heidelberg (2004)