177 search results - page 1 / 36 » Reducing the complexity of logics for multiagent systems |
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
APAL
2006
13 years 5 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
FROCOS
2009
Springer
13 years 11 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
FUIN
2007
13 years 4 months ago
2007
Abstract. Our previous research presents a methodology of cooperative problem solving for beliefdesire-intention (BDI) systems, based on a complete formal theory called TEAMLOG. Th...
ATAL
2009
Springer
13 years 6 months ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...