3729 search results - page 102 / 746 » On Formal Modeling of Agent Computations |
143
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
167
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
174
click to vote
DCAI
2008
15 years 7 months ago
2008
In the context of artificial intelligence, the multiagent systems are an alternative solution to address complex problems and distributed. PAINALLI is an multi-agent architecture f...
129
click to vote
PODC
2006
ACM
15 years 11 months ago
2006
ACM
We consider the model of population protocols introduced by Angluin et al. [2], in which anonymous finite-state agents stably compute a predicate of their inputs via twoway inter...
162
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
This paper extends the framework of dynamic influence diagrams (DIDs) to the multi-agent setting. DIDs are computational representations of the Partially Observable Markov Decisio...