878 search results - page 95 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
170
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
156
click to vote
DEON
2004
Springer
15 years 11 months ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
140
click to vote
ICCBR
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
165
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We investigate a prototypical agent-based model, the Naming Game, on random geometric networks. The Naming Game is a minimal model, employing local communications that captures th...
178
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
A Complex Adaptive System (CAS) is a network of communicating, intelligent agents where each agent adapts its behavior in order to collaborate with other agents to achieve overall...