10568 search results - page 649 / 2114 » Computer Intelligence and Formalization |
199
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
178
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
214
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
183
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
204
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
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 ...