Sciweavers

10 search results - page 1 / 2
» A Logical Theory of Coordination and Joint Ability
Sort
View
AAAI
2007
13 years 9 months ago
A Logical Theory of Coordination and Joint Ability
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...
Hojjat Ghaderi, Hector J. Levesque, Yves Lesp&eacu...
ATAL
2007
Springer
14 years 1 months ago
Towards a logical theory of coordination and joint ability
Hojjat Ghaderi, Hector J. Levesque, Yves Lesp&eacu...
AAAI
1990
13 years 8 months ago
On Acting Together
Joint action by a team does not consist merely of simultaneous and coordinated individual actions; to act together, a team must be aware of and care about the status of the group ...
Hector J. Levesque, Philip R. Cohen, José H...
ATAL
2006
Springer
13 years 9 months ago
Logics of propositional control
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 ...
Jelle Gerbrandy
ATAL
2006
Springer
13 years 11 months ago
Reasoning about action and cooperation
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, ...