6829 search results - page 1148 / 1366 » Quantitative Generalizations of Languages |
123
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force actio...
122
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
In typical multiagent teamwork settings, the teammates are either programmed together, or are otherwise provided with standard communication languages and coordination protocols. ...
151
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreement...
134
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
123
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...