Representational content and the reciprocal interplay of agent and environment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3476 LNAI, Issue , 2005, Pages 270-288

  Bosse, Tibor ^a   Jonker, Catholijn M ^a   Treur, Jan ^a,b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; MATHEMATICAL MODELS;

COMPLEX TEMPORAL RELATIONSHIPS; DECLARATIVE MODELING; FORMALIZATION; RECIPROCAL INTERACTION;

MULTI AGENT SYSTEMS;

EID: 26844441192     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11493402_16     Document Type: Conference Paper

References (16)

1. Bickhard, M.H., Representational Content in Humans and Machines. Journal of Experimentaland Theoretical Artificial Intelligence, 5, 1993, pp. 285-333.
2. Clark, A., Being There: Putting Brain, Body and World Together Again. MIT Press, 1997.
3. Jonker, C.M., Snoep, J.L., Treur, J., Westerhoff, H.V., and Wijngaards, W.C.A., BDI-Modelling of Intracellular Dynamics. In: A.B. Williams and K. Decker (eds.), Proc. of the First International Workshop on Bioinformatics and Multi-Agent Systems, BKMAS'02, 2002, pp. 15-23.
4. Jonker, C.M. and Treur, J., Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. International Journal of Cooperative Information Systems, vol. 11, 2002, pp. 51-92.
5. Jonker, C.M., and Treur, J., A Temporal-Interactivist Perspective on the Dynamics of Mental States. Cognitive Systems Research Journal, vol.4, 2003, pp.137-155.
6. Jonker, C.M., Treur, J., and Wijngaards, W.C.A., A Temporal Modelling Environment for Internally Grounded Beliefs, Desires and Intentions. Cognitive Systems Research Journal, vol. 4(3), 2003, pp. 191-210.
7. Keijzer, F., Representation in Dynamical and Embodied Cognition. Cognitive Systems Research Journal, vol. 3, 2002, pp. 275-288.
8. Kim, J., Philosophy of Mind. Westview Press, 1996.
9. Pokorny, L.R. and Ramakrishnan, C.R., Modeling and Verification of Distributed Autonomous Agents using Logic Programming. Proc. of the Second International Workshop on Declarative Agent Languages and Technologies, DALT'04. Lecture Notes in Artificial Intelligence, Springer Verlag, 2005 (this volume).
10. Pozos Parra, P., Nayak, A., Demolombe, R., Theories of Intentions in the Framework of Situation Calculus. Proc. of the Second International Workshop on Declarative Agent Languages and Technologies, DALT'04. Lecture Notes in Artificial Intelligence, Springer Verlag, 2005 (this volume).
11. Reiter, R., Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
12. Sun, R., Symbol grounding: a new look at an old idea. Philosophical Psychology, Vol.13, No.2, 2000, pp.149-172.
13. Sun, R., Duality of the Mind. Lawrence Erlbaum Associates, 2002.
14. Vasconcelos, W.W., Norm Verification and Analysis of Electronic Institutions. Proc. of the Second International Workshop on Declarative Agent Languages and Technologies, DALT'04. Lecture Notes in Artificial Intelligence, Springer Verlag, 2005 (this volume).
15. Vardi, M.Y., Branching vs. Linear Time: Final Showdown. Proceedings of TACAS 2001-Tools and Algorithms for the Construction and Analysis of Systems. Genova, Italy, April 2-6, 2001. Lecture Notes in Computer Science, Volume 2031. New York, NY: Springer-Verlag, 2001, pp. 1-22.
16. Walton, C, Model Checking Agent Dialogues. Proc. of the Second International Workshop on Declarative Agent Languages and Technologies, DALT'04. Lecture Notes in Artificial Intelligence, Springer Veriag, 2005 (this volume).