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

Cached

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:60 - 53 self

Documents Related by Co-Citation

153 Leadsto: A language and environment for analysis of dynamics by simulation – Tibor Bosse, Catholijn M. Jonker, Lourens Van Der Meij, Jan Treur - 2005
120 Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness – Catholijn M. Jonker, Jan Treur - 1998
54 Principles of Component-Based Design of Intelligent Agents – Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur - 2002
19 A two-level BDI-agent model for theory of mind and its use in social manipulation – Tibor Bosse, Zulfiqar A. Memon, Jan Treur - 2007
57 Compositional Design and Reuse of a Generic Agent Model – Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur - 2000
26 Ambient Intelligence – G Riva, Vatalaro - 2005
58 Ambient Intelligence – E Aarts, R Harwig - 2001
340 Knowledge in Action – Logical Foundations for specifying and Implementing Dynamical Systems – R Reiter
2028 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
28 Verifying Interlevel Relations within Multi-Agent Systems – A Sharpanskykh, J Treur - 2006
45 Simulating Minds: The Philosophy, Psychology, and Neuroscience of Mindreading – A I Goldman - 2006
69 Philosophy of Mind – J Kim - 1996
10 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 - 2007
3 Formal Design and Simulation of an Ambient Multi-Agent System Model for Medicine Usage Management – Mark Hoogendoorn, Michel Klein, Jan Treur - 2007
84 Formal Analysis of Models for the Dynamics of Trust based on Experiences – Catholijn M. Jonker, Jan Treur - 1999
10 Realtime Compliance Management Using a Wireless Realtime Pillbottle - A Report on the Pilot Study of SIMPILL – D J Green - 2005
22 How Homo Became Sapiens: on the Evolution of Thinking – P Gärdenfors - 2003