7160 search results - page 440 / 1432 » Organizing Multiagent Systems |
172
click to vote
DALT
2007
Springer
16 years 26 days ago
2007
Springer
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...
148
click to vote
FOSSACS
2007
Springer
16 years 26 days ago
2007
Springer
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...
149
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
165
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
111
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
In multi-agent systems where sets of joint actions (JAs) are generated, metrics are needed to evaluate these sets and efficiently allocate resources for the many JAs. For the case...