{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:33:09Z","timestamp":1743114789753,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642016646"},{"type":"electronic","value":"9783642016653"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01665-3_14","type":"book-chapter","created":{"date-parts":[[2009,5,28]],"date-time":"2009-05-28T23:43:06Z","timestamp":1243554186000},"page":"131-140","source":"Crossref","is-referenced-by-count":2,"title":["Modeling Multi-Agent Systems as Labeled Transitions Systems: A Unifying Approach"],"prefix":"10.1007","author":[{"given":"Walid","family":"Chainbi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Multiagent Systems A Modern approach To Distributed Artificial Intelligence","author":"G. Weiss","year":"1999","unstructured":"Weiss, G.: Multiagent Systems A Modern approach To Distributed Artificial Intelligence. MIT Press, Cambridge (1999)"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010090405266","volume":"1","author":"N.R. Jennings","year":"1998","unstructured":"Jennings, N.R., Sycara, K., Wooldridge, M.: A Roadmap of Agent Research Development. Autonomous Agents and Multi-Agent Systems\u00a01, 7\u201338 (1998)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"3","key":"14_CR3","first-page":"193","volume":"9","author":"A. Arnold","year":"1990","unstructured":"Arnold, A.: Syst\u00e8mes de transitions finis et s\u00e9mantique des processus communicants. Techniques et Sciences Informatiques Journal\u00a09(3), 193\u2013216 (1990)","journal-title":"Techniques et Sciences Informatiques Journal"},{"key":"14_CR4","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proc. IEEE\u00a077(4) (April 1989)","DOI":"10.1109\/5.24143"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"issue":"1\/2","key":"14_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1504\/IJCAT.2008.017717","volume":"31","author":"W. Chainbi","year":"2008","unstructured":"Chainbi, W.: An Ontology Based Multi-Agent System Conceptual Model. Special Issue of the International Journal of Computer Applications in Technology\u00a031(1\/2), 35\u201344 (2008)","journal-title":"Special Issue of the International Journal of Computer Applications in Technology"},{"key":"14_CR8","unstructured":"Chainbi, W.: Belief-Goal-Role agents versus BDI agents. In: 2nd Pacific Rim International conference on Multiagents (PRIMA 1999), Kyoto (1999)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58855-8","volume-title":"Intelligent Agents","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M.: This is MYWORLD: The Logic of An Agent-Oriented DAI Testbed. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS(LNAI), vol.\u00a0890. Springer, Heidelberg (1995)"},{"key":"14_CR10","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 Intelligence\u00a042, 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"Kripke, S.: Semantical analysis of modal logic. Zeitshcrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\u00a09, 67\u201396 (1963)","journal-title":"Zeitshcrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"14_CR12","unstructured":"Chainbi, W.: Multi-Agent Systems: A Petri Net with Objects Based Approach. In: Proc. of the 2004 IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology, Beijing, China, September 20-24 (2004)"},{"key":"14_CR13","unstructured":"Cranefield, S., Purvis, M.: Ontologies for Interaction Protocols. In: Proc. of the 2nd International Workshop on Ontologies in Agent Systems, AAMAS 2002, Bologna, Italy, July 15-19 (2002)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-45448-9_4","volume-title":"Intelligent Agents VIII","author":"D. Kinny","year":"2001","unstructured":"Kinny, D.: The \u03a8 calculus: An algebraic agent language. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS, vol.\u00a02333, pp. 32\u201350. Springer, Heidelberg (2001)"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1006\/bulm.2001.0252","volume":"63","author":"D.J.T. Sumpter","year":"2001","unstructured":"Sumpter, D.J.T., Blanchard, G.B., Broomhead, D.S.: Ants and Agents: a Process Algebra Approach to Modeling Ant Colony Behavior. Bulletin of Mathematical Biology\u00a063, 961\u2013980 (2001)","journal-title":"Bulletin of Mathematical Biology"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-540-25932-9_12","volume-title":"Declarative Agent Languages and Technologies","author":"W.W. Vasconcelos","year":"2004","unstructured":"Vasconcelos, W.W.: Logic Based Electronic Institutions. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS(LNAI), vol.\u00a02990, pp. 221\u2013242. Springer, Heidelberg (2004)"},{"key":"14_CR17","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action Languages. Electronic Transactions on Artificial Intelligence\u00a02, 193\u2013210 (1998)","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-57182-5_2","volume-title":"Mathematical Foundations of Computer Science 1993","author":"A. Dicky","year":"1993","unstructured":"Dicky, A., Arnold, A.: Equivalencies and Preorders of Transition Systems. In: Borzyszkowski, A.M., Sokolowski, S. (eds.) MFCS 1993. LNCS, vol.\u00a0711, pp. 20\u201331. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Agent and Multi-Agent Systems: Technologies and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01665-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:18:59Z","timestamp":1558268339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01665-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642016646","9783642016653"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01665-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}