Specification and Verification of Dynamics in Agent Models
暂无分享,去创建一个
Tibor Bosse | Catholijn M. Jonker | Jan Treur | Lourens van der Meij | Alexei Sharpanskykh | T. Bosse | C. Jonker | Jan Treur | L. V. D. Meij | A. Sharpanskykh
[1] Dov M. Gabbay,et al. The imperative future: principles of executable temporal logic , 1996 .
[2] Zohar Manna,et al. Temporal Verification of Reactive Systems , 1995, Springer New York.
[3] A. Nerode,et al. Logics for hybrid systems , 2000, Proceedings of the IEEE.
[4] Benjamin Kuipers,et al. Qualitative and Quantitative Simulation: Bridging the Gap , 1997, Artif. Intell..
[5] Peter D. Richardson,et al. Numerical Methods in Engineering and Science , 1987 .
[6] A. Clark. Being There: Putting Brain, Body, and World Together Again , 1996 .
[7] María Manzano,et al. Extensions of First-Order Logic , 1996 .
[8] Johan van Benthem,et al. The Logic of Time , 1983 .
[9] Barbara M. Bakker,et al. Can yeast glycolysis be understood in terms of in vitro kinetics of the constituent enzymes? Testing biochemistry. , 2000, European journal of biochemistry.
[10] Pierre Wolper,et al. Temporal logic can be more expressive , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
[11] Zohar Manna,et al. Temporal verification of reactive systems - safety , 1995 .
[12] Mark H. Bickhard,et al. Representational content in humans and machines , 1993, J. Exp. Theor. Artif. Intell..
[13] Johan van Benthem,et al. Modal Languages and Bounded Fragments of Predicate Logic , 1998, J. Philos. Log..
[14] Manfred Broy,et al. KORSO: Methods, Languages, and Tools for the Construction of Correct Software , 1995, Lecture Notes in Computer Science.
[15] Pierre Jacob,et al. What Minds Can Do: Intentionality in a Non-Intentional World , 1997 .
[16] D. Christie,et al. The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse , 1985 .
[17] Jaegwon Kim. Mind in a Physical World: An Essay on the Mind-Body Problem and Mental Causation , 2001 .
[18] Tibor Bosse,et al. Simulation and Analysis of a Shared Extended Mind , 2004, Simul..
[19] Andy Clark,et al. Reasons, robots and the extended mind , 2001 .
[20] Daniela E. Damian,et al. Integration of behavioural requirements specification within compositional knowledge engineering , 2005, Knowl. Based Syst..
[21] Stephan Merz,et al. Model Checking , 2000 .
[22] Antoni W. Mazurkiewicz,et al. Trace Theory , 1986, Advances in Petri Nets.
[23] Verifying Interlevel Relations within Multi-Agent Systems : formal theoretical basis , 2006 .
[24] Tibor Bosse,et al. Formalization and Analysis of Reasoning by Assumption , 2006, Cogn. Sci..
[25] Frank Jackson,et al. Program explanation: a general perspective , 1990 .
[26] Tibor Bosse,et al. LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn , 2005, IEA/AIE.
[27] Colin Stirling,et al. Modal and Temporal Properties of Processes , 2001, Texts in Computer Science.
[28] Catholijn M. Jonker,et al. A temporal-interactivist perspective on the dynamics of mental states , 2003, Cognitive Systems Research.
[29] Tibor Bosse,et al. Representational content and the reciprocal interplay of agent and environment , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..
[30] Barbara Webb,et al. Swarm Intelligence: From Natural to Artificial Systems , 2002, Connect. Sci..
[31] Tibor Bosse,et al. Simulation and Analysis of a Shared Extended Mind , 2005, Simul..
[32] Jon C. Helton,et al. Numerical methods in engineering and science , 1986 .
[33] Georges Rey. Philosophy of mind. , 2006, Wiley interdisciplinary reviews. Cognitive science.
[34] Marek J. Sergot,et al. A logic-based calculus of events , 1989, New Generation Computing.
[35] T. Gelder,et al. Mind as Motion: Explorations in the Dynamics of Cognition , 1995 .
[36] A. Machado. Learning the temporal dynamics of behavior. , 1997, Psychological review.
[37] Tibor Bosse,et al. Collective representational content for shared extended mind , 2006, Cognitive Systems Research.
[38] Tibor Bosse,et al. Formalisation and Analysis of the Temporal Dynamics of Conditioning , 2005, AOSE.
[39] Tibor Bosse,et al. An integrative modelling approach for simulation and analysis of adaptive agents , 2006, 39th Annual Simulation Symposium (ANSS'06).
[40] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[41] Armando Machado,et al. Learning the temporal dynamics of behavior. , 1997 .
[42] S. Los,et al. Intentional and unintentional contributions to nonspecific preparation during reaction time foreperiods. , 2001, Journal of experimental psychology. Human perception and performance.