5198 search results - page 739 / 1040 » A Logic of Agent Programs |
190
click to vote
IEE
2008
15 years 6 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
152
click to vote
SIGECOM
2009
ACM
16 years 1 months ago
2009
ACM
Policy teaching considers a Markov Decision Process setting in which an interested party aims to influence an agent’s decisions by providing limited incentives. In this paper, ...
162
click to vote
CIA
1998
Springer
15 years 11 months ago
1998
Springer
Information-rich environments are the open environments that characterize most of the modern applications of computing technology. The applications include ubiquitous information a...
191
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In dangerous and uncertain environments initial plans must be revised. Communication failures hamper this replanning. We introduce fractured subteams as a novel formalism for mode...
149
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This demonstration shows an agent-based model for the electricity power market, in which the optimal power flow is determined in a bottom-up fashion. Here, each agent controls a s...