10568 search results - page 407 / 2114 » Computer Intelligence and Formalization |
126
click to vote
ACRI
2004
Springer
15 years 10 months ago
2004
Springer
We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the Cell-DEVS formalism. The modifications described in this work remove s...
113
Voted
AOSE
2004
Springer
15 years 10 months ago
2004
Springer
In the paper we study the dynamics of roles played by agents in multiagent systems. We capture role dynamics in terms of four operation performed by agents: ‘enactment’, ‘dea...
133
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
Causation is defined recursively: event e is the cause of condition φ in context c iff e is the only sufficient cause of φ in c, and removing e from c either removes φ from c...
146
click to vote
MATES
2004
Springer
15 years 10 months ago
2004
Springer
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, current norm formalisms focus on the declarative nature of ...
137
click to vote
CAEPIA
2003
Springer
15 years 10 months ago
2003
Springer
We present a tool for solving and plotting train schedules which has been developed in collaboration with the National Network of Spanish Railways (RENFE). This tool transforms rai...