3729 search results - page 205 / 746 » On Formal Modeling of Agent Computations |
166
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
In an open system, multi-agent computations must compete for resources required for satisfying their goals. We describe CyberOrgs, a hierarchical model for acquisition and control...
281
click to vote
Book
"Can computers meaningfully process human language? If this is difficult, why? If this is possible, how? This book introduces the reader to the fascinating science of computat...
160
click to vote
AML
1998
15 years 6 months ago
1998
The paper builds on both a simply typed term system PRω and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion ...
215
click to vote
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
167
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...