Leadsto: A language and environment for analysis of dynamics by simulation (2005)

by Tibor Bosse , Catholijn M. Jonker , Lourens Van Der Meij , Jan Treur
Venue:Proc. of the Third German Conference on Multi-Agent System Technologies, MATES'05. Lecture Notes in Artificial Intelligence
Citations:173 - 132 self

Documents Related by Co-Citation

365 The feeling of what happens: Body, emotion and the making of consciousness – A R Damasio - 1999
421 Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems – R Reiter - 2001
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
626 A logic-based calculus of events – R A Kowalski, M Sergot - 1986
726 The intentional stance – D C Dennett - 1987
835 Modeling Rational Agents within a BDI-Architecture – Anand S. Rao, Michael P. Georgeff - 1991
979 Swarm Intelligence: From Natural to Artificial Systems – Eric Bonabeau, Marco Dorigo, Guy Theraulaz - 1999
507 Symbolic Model Checking: An Approach to the State Explosion Problem – K L McMillan - 1993
1023 A Model of Saliency-based Visual Attention for Rapid Scene Analysis – Laurent Itti, Christof Koch, Ernst Niebur - 1998