Abstractions of multi-agent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4696 LNAI, Issue , 2007, Pages 11-21

  Enea, Constantin ^a,b   Dima, Catalin ^a  

^a UNIVERSITÉ PARIS EST CRÉTEIL   (France)

^b ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION; MODEL CHECKING; MOTION PLANNING; PROGRAM INTERPRETERS; TEMPORAL LOGIC;

INTERPRETED SYSTEMS; KLEENE'S INTERPRETATION; MAXIMAL FINITE PATHS;

MULTI AGENT SYSTEMS;

EID: 38049141845     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75254-7_2     Document Type: Conference Paper

References (11)

1. Chechik, M., Easterbrook, S.M., Petrovykh, V.: Model-checking over multi-valued logics. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol. 2021, pp. 72-98. Springer, Heidelberg (2001)
2. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of POPL, pp. 238-252 (1977)
3. Dams, D.: Abstract Interpretation and Partial Refinement for Model Checking. PhD thesis, Technische Universität Eindhoven (1996)
4. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
5. Gammie, P., van der Meyden, R.: MCK: Model checking the logic of knowledge. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 479-483. Springer, Heidelberg (2004)
6. Ginsberg, M.: Multivalued logics. A uniform approach to inference in artificial intelligence. Computational Intelligence 4, 265-316 (1988)
7. Konikowska, B., Penczek, W.: Model checking for multivalued logic of knowledge and time. In: Proceedings of AAMAS, pp. 169-176 (2006)
8. Lomuscio, A., Raimondi, F.: MCMAS: A model checker for multi-agent systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol. 3920, pp. 450-454. Springer, Heidelberg (2006)
9. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Specification. Springer, Heidelberg (1992)
10. O'Neill, K.R., Halpern, J.Y.: Secrecy in multiagent systems. CoRR, cs.CR/0307057 (2003)
11. Tiplea, F.L., Enea, C.: Abstractions of data types. Acta Informatica 42(8-9), 639-671 (2006)