Formal specification and verification of multi-agent systems

Electronic Notes in Theoretical Computer Science

Volumn 123, Issue , 2005, Pages 5-17

  Bourahla, Mustapha ^a   Benmohamed, Mohamed ^b  

^a UNIVERSITY OF BISKRA   (Algeria)

^b Universite Mentouri Constantine   (Algeria)

Author keywords

Agents; Formal Specification and Verification; Model Checking; Multi Agent Systems; Multi Modal Branching Time Logic

Indexed keywords

ALGORITHMS; AUTOMATION; DECISION THEORY; FORMAL LOGIC; LARGE SCALE SYSTEMS; PROBLEM SOLVING; SEMANTICS; TELECOMMUNICATION NETWORKS;

FORMAL SPECIFICATION AND VERIFICATION; MODEL CHECKING; MULTI-MODAL BRANCHING-TIME LOGIC; TEMPORAL LOGIC;

MULTI AGENT SYSTEMS;

EID: 13944274221     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.04.042     Document Type: Conference Paper

References (13)

1. M.E. Bratman, D. Israel, and M.E. Pollack Plans and resource bounded practical reasoning Computational Intelligence 4 1988 349 355
2. E.M. Clarke, O. Grumberg, and D.A. Peled Model Checking 1999 MIT Press
3. P.R. Cohen, and H.J. Levesque Intention is Choice with Commitment Artificial Intelligence 42 1990 213 261
4. J. Doyle Rationality and its roles in reasoning Computational Intelligence 8 2 1992 376 409
5. E.A. Emerson, and J. Srinivasan Branching time temporal logic Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency 1989 Springer-Verlag 123 172
6. J.Y. Halpern, and Y.O. Moses A guide to completeness and complexity for modal logics of knowledge and belief Artificial Intelligence 54 1990 319 379
7. A.S. Rao, and M. Georgeff Decision procedures for BDI logics Journal of Logic and Computation 8 3 1998 293 344
8. A.S. Rao, and M.P. Georgeff Modeling rational agents within a BDI architecture Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning 1991 Morgan Kaufmann
9. Rao A. S., and M. P. Georgeff, An abstract architecture for rational agents, Knowledge Representation and Reasoning, 439-449, 1992
10. S.J. Rosenschein, and L.P. Kaelbling The synthesis of digital machines with provable epistemic properties Proceedings of the First Conference on Theoretical Aspects of Reasoning about Knowledge 1986 Morgan Kaufmann
11. Shoham Y., Agent0: A simple agent language and its interpreter, Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI91), 704-709, 1991
12. Woodridge M., Computationally grounded theories of agency, Fourth International Conference on Multi-Agent Systems (ICMAS-2000), 13-20, 2000
13. Woodridge M., and M. Fisher, A decision procedure for a temporal belief logic, Proceedings of the First International Conference on Temporal Logic, 1994