214 search results - page 7 / 43 » atal 2006 |
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
Layered architectures are a proven principle for the design of software systems and components. The paper introduces a layered reference architecture for software agents which assi...