Specification and Verification of Dynamics in Cognitive Agent Models (2006)


Download Links

by Tibor Bosse , Catholijn M. Jonker , Lourens Van Der Meij , Alexei Sharpanskykh , Jan Treur
Venue:In: Proceedings of the Sixth International Conference on Intelligent Agent Technology, IAT'06. IEEE Computer
Citations:62 - 54 self

Documents Related by Co-Citation

168 Leadsto: A language and environment for analysis of dynamics by simulation – Tibor Bosse, Catholijn M. Jonker, Lourens Van Der Meij, Jan Treur - 2005
125 Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness – Catholijn M. Jonker, Jan Treur - 1998
59 Principles of Component-Based Design of Intelligent Agents – Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur - 2002
23 A TwoLevel BDI-Agent Model for Theory of Mind and its Use – Tibor Bosse, Zulfiqar A. Memon, Jan Treur - 2007
26 Ambient Intelligence – G Riva, Vatalaro - 2005
61 Compositional Design and Reuse of a Generic Agent Model – Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur - 2000
66 R.: Ambient intelligence – E Aarts, Wichert - 2009
416 Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems – R Reiter - 2001
77 Simulating minds: The philosophy, psychology, and neuroscience of mindreading – A I Goldman - 2006
81 Philosophy of Mind – J Kim - 2011
11 Improving the Effectiveness of Medical Treatment with Pervasive Computing Technologies – Christian Floerkemeier, Frank Siegemund
2 Computer Simulations of Criminal Deterrence: from Public Policy to Local Interaction to Individual Behaviour – P H M van Baal - 2004
6 Cognitive and Social Simulation of Criminal Behaviour: the Intermittent Explosive Disorder Case – T Bosse, C Gerritsen, J Treur
3 Formal Design and Simulation of an Ambient Multi-Agent System Model for Medicine Usage Management – Mark Hoogendoorn, Michel Klein, Jan Treur - 2007
145 A Channel-Based Coordination Model for Component Composition – F. Arbab, Farhad Arbab - 2002
45 Verifying Multi-Agent Programs by Model Checking – Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge - 2006
97 Formal Analysis of Models for the Dynamics of Trust based on Experiences – Catholijn M. Jonker, Jan Treur - 1999
11 Realtime Compliance Management Using a Wireless Realtime Pillbottle – A Report on the Pilot Study of SIMPILL – D J Green - 2005
101 From Agents to Organizations: An Organizational View of Multi-agent Systems – Jacques Ferber, Olivier Gutknecht, Fabien Michel - 2003