{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:47Z","timestamp":1725558647091},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654773"},{"type":"electronic","value":"9783540492412"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/10693067_2","type":"book-chapter","created":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T22:33:09Z","timestamp":1278023589000},"page":"16-28","source":"Crossref","is-referenced-by-count":2,"title":["Conception, Behavioural Semantics and Formal Specification of Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Walid","family":"Chainbi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben Hamadou","family":"Abdelmajid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Ferber, J.: Les syst\u00e9mes multi-agents: un aper\u00e7u g\u00e9n\u00e9ral. T.S.I\u00a016 (1997)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Shoham, Y.: Agent Oriented Programming. Artificial intelligence\u00a060(1) (1993)","DOI":"10.1016\/0004-3702(93)90034-9"},{"key":"2_CR3","first-page":"473","volume-title":"Proceedings of knowledge representation and Reasoning (KR & R-1991)","author":"A.S. Rao.","year":"1991","unstructured":"Rao., A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Fikes, R., Sandewall, E. (eds.) Proceedings of knowledge representation and Reasoning (KR & R-1991), pp. 473\u2013484. Morgan Kaufmann Publishers, San Mateo (1991)"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial In-telligence\u00a042, 213\u2013261 (1990)","journal-title":"Artificial In-telligence"},{"key":"2_CR5","volume-title":"LNAI","author":"M. Wooldridge","year":"1994","unstructured":"Wooldridge, M., Jennings, N.R.: Agent Theories, Architectures, and Languages: A Survey. In: LNAI, vol.\u00a0890, Springer, Heidelberg (1994)"},{"key":"2_CR6","unstructured":"Chainbi, W.: Cooperation in Multi-agent Systems, Internal report, LARIS, F.S.E.G, Sfax (April 1997)"},{"key":"2_CR7","volume-title":"Proc. of the symposium on Discrete Events and Manufacturing Systems, CESA 1996 IMACS Multiconference","author":"W. Chainbi","year":"1996","unstructured":"Chainbi, W., Hannachi, C., Sibertin-Blanc, C.: The multi-agent Prey\/Predator problem: A Petri net solution. In: Proc. of the symposium on Discrete Events and Manufacturing Systems, CESA 1996 IMACS Multiconference, July 9-12. IEEE-SMC, Lille-France (1996)"},{"key":"2_CR8","volume-title":"Proc. of the sym-posium on Discrete Events and Manufacturing Systems, CESA 1996 IMACS Multi-conference","author":"M. Purvis","year":"1996","unstructured":"Purvis, M., Cranefield, S.: Agent modelling with Petri Nets. In: Proc. of the sym-posium on Discrete Events and Manufacturing Systems, CESA 1996 IMACS Multi-conference, July 9-12. IEEE-SMC, Lille-France (1996)"},{"key":"2_CR9","series-title":"LNAI","volume-title":"This is MYWORLD : The Logic of An Agent-Oriented DAI Testbed","author":"M. Wooldridge","year":"1994","unstructured":"Wooldridge, M.: This is MYWORLD: The Logic of An Agent-Oriented DAI Testbed. LNCS (LNAI), vol.\u00a0890. Springer, Heidelberg (1994)"},{"key":"2_CR10","unstructured":"Salbert, D.: De l\u2019interaction homme-machine individuelle aux syst\u00e8mes multi-utilisateurs: L\u2019exemple de la communication homme-homme m\u00e9diatis\u00e9e, Phd the-sis, IMAG, Joseph Fourier University, Grenoble, France (1995)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Bandinelli, S., Di Nitto, E., Fuggetta, A.: Supporting cooperation in the SPADE-1 environment. IEEE Transactions on Software Engineering\u00a022(12) (December 1996)","DOI":"10.1109\/32.553634"},{"key":"2_CR12","unstructured":"Bouron, T.: Structures de communication et d\u2019organisation pour la coop\u00e9ration dans un univers multi-agents, Phd. thesis, Paris 6 University (November 1992)"},{"key":"2_CR13","volume-title":"Proc. of the first Int.Conf. on Temporal Logic (ICTL 1994)","author":"M. Fisher","year":"1994","unstructured":"Fisher, M.: A survey of Concurrent Metatem-the language and its applications. In: Gabbay, D., Ohlbach, H.J. (eds.) Proc. of the first Int.Conf. on Temporal Logic (ICTL 1994). Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems. Theories, Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10693067_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T08:29:39Z","timestamp":1552638579000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10693067_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654773","9783540492412"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/10693067_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}