Conception, behavioural semantics and formal specification of multi-agent systems

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

Volumn 1544, Issue , 1998, Pages 16-28

  Chainbi, Walid ^a   Jmaiel, Mohamed ^a   Abdelmajid, Ben Hamadou ^a  

^a UNIVERSITY OF SFAX   (Tunisia)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; INTELLIGENT AGENTS; LIFE CYCLE; SEMANTICS; SPECIFICATION LANGUAGES; TEMPORAL LOGIC;

AGENT BASED; BEHAVIOURAL SEMANTICS; FIRST ORDER; LABELED TRANSITION SYSTEMS; LINEAR TIME LOGIC; MULTI-MODAL;

MULTI AGENT SYSTEMS;

EID: 84949798922     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10693067_2     Document Type: Conference Paper

References (13)

1. J. Ferber, Les systemes multi-agents : un aperçu général, [T.S.I, Volume 16, 1997].
2. Y. Shoham, Agent Oriented Programming, [Artificial intelligence, 60 (1), 1993].
3. A.S. Rao & M.P. Georgeff, An abstract architecture for rational agents, [In R. Fikes and E. Sandewall editors, Proceedings of knowledge representation and Reasoning (KR & R-91), page 473-484. Morgan Kaufmann Publishers : San Mateo, CA, April 1991].
4. P.R. Cohen & H.J. Levesque, Intention is choice with commitment, [Artificial In- telligence, 42, pp. 213-261, 1990].
5. M. Wooldridge & N.R. Jennings, Agent Theories, Architectures, and Languages : A Survey, [LNAI 890, Springer-Verlag 1994].
6. W. Chainbi, Cooperation in Multi-agent Systems, [Internal report, LARIS, F.S.E.G, Sfax, April 1997].
7. W. Chainbi & C. Hannachi & C. Sibertin-Blanc, The multi-agent Prey/Predator problem : A Petri net solution, [In Proc. of the symposium on Discrete Events and Manufacturing Systems, CESA'96 IMACS Multiconference, IEEE-SMC, Lille- France, July 9-12, 1996].
8. M. Purvis & S. Cranefield, Agent modelling with Petri Nets, [In Proc. of the sym- posium on Discrete Events and Manufacturing Systems, CESA'96 IMACS Multi- conference, IEEE-SMC, Lille-France, July 9-12, 1996].
9. M. Wooldridge, This is MYWORLD : The Logic of An Agent-Oriented DAI Testbed, [LNAI 890, Springer-Verlag 1994].
10. D. Salbert, De l'interaction homme-machine individuelle aux syst_emes multi- utilisateurs : L'exemple de la communication homme-homme m_ediatis_ee, [Phd the- sis, IMAG, Joseph Fourier University, Grenoble, France 1995].
11. S. Bandinelli & E. Di Nitto & A. Fuggetta, Supporting cooperation in the SPADE-1 environment, [IEEE Transactions on Software Engineering, Vol.22, No 12, Decem- ber 1996].
12. T. Bouron, Structures de communication et d'organisation pour la coop_eration dans un univers multi-agents, [Phd. thesis, Paris 6 University, November 1992].
13. M. Fisher, A survey of Concurrent Metatem-the language and its applications, [In D. Gabbay and H.J. Ohlbach, editors, Proc. of the first Int.Conf. on Temporal Logic(ICTL-94). Springer Verlag, 1994].