Sciweavers

2398 search results - page 188 / 480
» On modelling agent systems with Erlang
Sort
View
ATAL
2006
Springer
15 years 11 months ago
Evaluating a computational model of social causality and responsibility
Intelligent agents are typically situated in a social environment and must reason about social cause and effect. Such reasoning is qualitatively different from physical causal rea...
Wenji Mao, Jonathan Gratch
TACAS
2007
Springer
116views Algorithms» more  TACAS 2007»
16 years 1 months ago
Model Checking on Trees with Path Equivalences
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
MATES
2005
Springer
16 years 20 days ago
Collaborative Agent-Based Knowledge Support for Empirical and Knowledge-Intense Processes
Independent from specific application domains, similar requirements can be identified regarding information needs during daily work. For coping with generality on the one hand an...
Andrea Freßmann, Kerstin Maximini, Rainer Ma...
MABS
2007
Springer
16 years 1 months ago
System Issues in Multi-agent Simulation of Large Crowds
Crowd simulation is a complex and challenging domain. Crowds demonstrate many complex behaviours and are consequently difficult to model for realistic simulation systems. Analyzing...
Vidit Bansal, Ramachandra Kota, Kamalakar Karlapal...
CEC
2010
IEEE
15 years 7 months ago
Exploring the Kuramoto model of coupled oscillators in minimally cognitive evolutionary robotics tasks
— This work is the first attempt to investigate the neural dynamics of a simulated robotic agent engaged in minimally cognitive tasks by employing evolved instances of the Kuram...
Renan C. Moioli, Patrícia Amâncio Var...