SOAR: an architecture for general intelligence
Artificial Intelligence
Eco-logic: logic-based approaches to ecological modelling
Eco-logic: logic-based approaches to ecological modelling
Numerical recipes in C (2nd ed.): the art of scientific computing
Numerical recipes in C (2nd ed.): the art of scientific computing
Mind as motion: explorations in the dynamics of cognition
Mind as motion: explorations in the dynamics of cognition
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Numerical Initial Value Problems in Ordinary Differential Equations
Numerical Initial Value Problems in Ordinary Differential Equations
Hybrid Systems
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Verifying Interlevel Relations within Multi-Agent Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
LEADSTO: a language and environment for analysis of dynamics by simulation
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Formalisation and analysis of the temporal dynamics of conditioning
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Hi-index | 0.00 |
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows how to model complex agent systems, integrating quantitative, numerical and qualitative, logical aspects, and how to combine logical and mathematical analysis methods.