{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:21:22Z","timestamp":1725488482751},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424222"},{"type":"electronic","value":"9783540446316"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44631-1_19","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T02:24:08Z","timestamp":1186453448000},"page":"275-289","source":"Crossref","is-referenced-by-count":1,"title":["Specification of Heterogeneous Agent Architectures"],"prefix":"10.1007","author":[{"given":"Simone","family":"Marini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Mascardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Floriano","family":"Zini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"19_CR1","unstructured":"A. Aretti. Semantica di Sistemi Multi-Agente in Logica Lineare. Master\u2019s thesis, DISI-Universit\u00e1 di Genova, Genova, Italy, 1999. In Italian."},{"key":"19_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Multi-Agent Systems Development as a Software Engineering Enterprise","author":"M. Bozzano","year":"1998","unstructured":"M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, and F. Zini. Multi-Agent Systems Development as a Software Engineering Enterprise. In G. Gupta, editor, Proc. of First Inter-national Workshop on Practical Aspects of Declarative Languages (PADL\u201999), number 1551 in Lecture Notes in Computer Science. Springer-Verlag, 1999."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"F. Brazier, B. Dunin Keplcz, N. R. Jennings, and J. Treur. Formal Specification of Multi-Agent Systems: a Real-World Case. In Proc. of International Conference on Multi Agent Systems (ICMAS\u201995), San Francisco, CA, USA, 1995.","DOI":"10.1007\/3-540-58855-8_6"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"G. Delzanno and M. Martelli. Proofs as Computations in Linear Logic. Theoretical Computer Science. To appear.","DOI":"10.1016\/S0304-3975(00)00024-4"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"M. Fisher. Representing Abstract Agent Architectures. In M. P. Singh J. P. Mueller and A. S. Rao, editors, Intelligent Agents V, number 1555 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-49057-4_15"},{"issue":"1\u20132","key":"19_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo De","year":"2000","unstructured":"G. De Giacomo, Y. Lesp\u00e9rance, and H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1\u20132):109\u2013169, 2000.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"19_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Y. Girard","year":"1987","unstructured":"J. Y. Girard. Linear logic. Theoretical Computer Science, 50:1:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J. C. Meyer. Control Structures of Rule-Based Agent Languages. In M. P. Singh J. P. Mueller and A. S. Rao, editors, Intelligent Agents V, number 1555 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-49057-4_25"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010090405266","volume":"1","author":"N. R. Jennings","year":"1998","unstructured":"N. R. Jennings, K. Sycara, and M. Wooldridge. A Roadmap of Agent Research and Devel-opment. Autonomous Agents and Multi-Agent Systems, 1:7\u201338, 1998.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"19_CR10","unstructured":"S. Marini. Specifica di Sistemi Multi-Agente Eterogenei. Master\u2019s thesis, DISI-Universit\u00e1 di Genova, Genova, Italy, 1999. In Italian."},{"key":"19_CR11","unstructured":"S. Marini, M. Martelli, V. Mascardi, and F. Zini. HEMASL: A Flexible Language to Specify Heterogeneous Agents. In A. Corradi, A. Omicini, and A. Poggi, editors, WOA 2000. Dagli Oggetti agli Agenti, Parma, Italy, 2000."},{"key":"19_CR12","unstructured":"M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In H. S. Nwana and D. T. Ndumu, editors, Proc. of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM\u201998), London, UK, 1998."},{"key":"19_CR13","unstructured":"M. Martelli, V. Mascardi, and F. Zini. Specification and Simulation of Multi-Agent Systems in CaseLP. In M. C. Meo and M. Vilares Ferro, editors, Proc. of Appia-Gulp-Prode 1999, L\u2019Aquila, Italy, 1999."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"J. P. M\u00fcller. The Right Agent (Architecture) to Do the Right Thing. In M. P. Singh J. P. Mueller and A. S. Rao, editors, Intelligent Agents V, number 1555 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-49057-4_14"},{"key":"19_CR15","unstructured":"A. S. Rao and M. Georgeff. BDI Agents: from Theory to Practice. In Proc. of International Conference on Multi Agent Systems (ICMAS\u201995), San Francisco, CA, USA, 1995."},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"R. M. van Eijk, F. S. de Boer, W. van der Hoek, and J. C. Meyer. Generalised Object-Oriented Concepts for Inter-Agent Communication. In C. Castelfranchi and Y. Lesp\u00e9rance, itors, Intelligent Agents VII, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2001. In this volume.","DOI":"10.1007\/3-540-44631-1_18"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"M. Wooldridge. Agent-based Software Engineering. IEE Proc. of Software Engineering, 144(1), 1997.","DOI":"10.1049\/ip-sen:19971026"}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents VII Agent Theories Architectures and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44631-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T08:20:42Z","timestamp":1629534042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44631-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424222","9783540446316"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-44631-1_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}