Verifying interlevel relations within multi-agent systems

Frontiers in Artificial Intelligence and Applications

Volumn 141, Issue , 2006, Pages 290-294

  Sharpanskykh, Alexei ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING;

AGGREGATION LEVEL; COMPLEX DYNAMICS; DYNAMICS PROPERTIES; MODEL-CHECKING TECHNIQUES; TEMPORAL LANGUAGE;

MULTI AGENT SYSTEMS;

EID: 84886000667     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Article

References (11)

1. E.M. Clarke, O. Grumberg, D.A. Peled, Model Checking, MIT Press, Cambridge Massachusetts, London England, 1999.
2. M. Fisher, Temporal Development Methods for Agent-Based Systems, Journal of Autonomous Agents and Multi-Agent Systems, 10(1), 41-66, (2005).
3. J. Hooman, Compositional Verification of a Distributed Real-Time Arbitration Protocol, Real-Time Systems, 6, 173-206, (1994).
4. C.M. Jonker and J. Treur, Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness, International Journal of Cooperative Information Systems, 11, 51-92, (2002).
5. R. Kowalski and M.A. Sergot, A logic-based calculus of events, New Generation Computing, 4, 67-95, (1986).
6. M. Manzano, Extensions of First Order Logic, Cambridge University Press, 1996.
7. D.A. Marca, SADT: Structured Analysis and Design Techniques, McGraw-Hill, 1988.
8. L. Marcio Cysneiros and E. Yu, Requirements Engineering for Large-Scale Multi-agent Systems. In: Proceedings of the 1st International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS), 39-56, (2002).
9. K. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, 1993.
10. R. Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, Cambridge MA: MIT Press, 2001.
11. A. Sharpanskykh and J. Treur, Verifying Interlevel Relations within Multi-Agent Systems: formal theoretical basis, Technical Report No. TR-1701AI, Artificial Intelligence Department, Vrije Universiteit Amsterdam, (2005). http://hdl.handle.net/1871/9777