214
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
192
click to vote
HICSS
2010
IEEE
15 years 9 months ago
2010
IEEE
This paper seeks to frame one aspect of the Smart Grid discussion which has been under-recognized in regulatory and policy debates. Significant discussion has focused Smart Grid a...
209
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We develop a novel mechanism for coordinated, distributed multiagent planning. We consider problems stated as a collection of single-agent planning problems coupled by common soft...
222
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute an expressive framework for multiagent planning under uncertainty, but solving them is provabl...
113
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We present ERIC, an affective embodied agent for realtime commentary in many domains. The underlying architecture is rulebased, generic, and lightweight