Sciweavers

507 search results - page 52 / 102
» The relation between protocols and games
Sort
View
IGPL
2010
117views more  IGPL 2010»
14 years 7 months ago
Executable specification of open multi-agent systems
Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as `ope...
Alexander Artikis, Marek J. Sergot
FOSSACS
2007
Springer
15 years 4 months ago
On the Expressiveness and Complexity of ATL
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
François Laroussinie, Nicolas Markey, Ghass...
ACMICEC
2003
ACM
158views ECommerce» more  ACMICEC 2003»
15 years 3 months ago
Mechanisms for coalition formation and cost sharing in an electronic marketplace
In this paper we study the mechanism design problem of coalition formation and cost sharing in an electronic marketplace, where buyers can form coalitions to take advantage of dis...
Cuihong Li, Uday Rajan, Shuchi Chawla, Katia Sycar...
HT
2003
ACM
15 years 3 months ago
HyperReal: a hypermedia model for mixed reality
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...
Luís Romero, Nuno Correia

Publication
233views
13 years 8 months ago
Sparse reward processes
We introduce a class of learning problems where the agent is presented with a series of tasks. Intuitively, if there is relation among those tasks, then the information gained duri...
Christos Dimitrakakis