{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:09Z","timestamp":1725484569632},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540655275"},{"type":"electronic","value":"9783540492016"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49201-1_4","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T02:56:07Z","timestamp":1179629767000},"page":"46-60","source":"Crossref","is-referenced-by-count":1,"title":["Multi-agent Systems Development as a Software Engineering Enterprise"],"prefix":"10.1007","author":[{"given":"Marco","family":"Bozzano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Delzanno","sequence":"additional","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":[[1999,1,15]]},"reference":[{"key":"4_CR1","unstructured":"P. Dart, E. Kazmierckaz, M. Martelli, V. Mascardi, L. Sterling, V.S. Subrahmanian, and F. Zini. Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications. Submitted to FASE\u201999."},{"key":"4_CR2","unstructured":"G. Delzanno. Logic & Object-Oriented Programming in Linear Logic PhD thesis, Universit\u00e0 di Pisa, Dipartimento di Informatica, 1997."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"M. d\u2019Inverno, M. Fisher, A. Lomuscio, M. Luck, M. de Rijke, M. Ryan, and M. Wooldridge. Formalisms for Multi-Agent Systems. The Knowledge Engineering Review, 12(3), 1997.","DOI":"10.1017\/S0269888997003068"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"M. d\u2019Inverno, D. Kinny, M. Luck, and M. Wooldridge. A Formal Specification of dMARS. In Intelligent Agents IV. Springer-Verlag, 1997. LNAI 1365.","DOI":"10.1007\/BFb0026757"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"M. Fisher, J. Mueller, M. Schroeder, G. Staniford, and G. Wagner. Methodological Foundations for Agent-Based Systems. The Knowledge Engineering Review, 12(3), 1997.","DOI":"10.1017\/S026988899700307X"},{"key":"4_CR6","unstructured":"M. Georgeff and A. Lansky. Reactive Reasoning and Planning. In Proc. of the Sixth National Conference on Artificial Intelligence (AAAI-87), Seattle, WA, 1987."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"C. A. Iglesias, J. C. Gonz\u00e1les, and J. R. Velasco. MIX: A General Purpose Multiagent Architecture. In Intelligent Agents II. Springer-Verlag, 1995. LNAI 1037.","DOI":"10.1007\/3540608052_71"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"R. Kowalsky and F. Sadri. Towards a Unified Agent Architecture that Combines Rationality with Reactivity. In Proc. of International Workshop on Logic in Databases, San Miniato, Italy, 1996. Springer-Verlag.","DOI":"10.1007\/BFb0031739"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Y. Lesperance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. B. Scherl. Foundations of a Logical Approach to Agent Programming. In Intelligent Agents II. Springer-Verlag, 1995. LNAI 1037.","DOI":"10.1007\/3540608052_76"},{"key":"4_CR10","unstructured":"S. W. Locke, L. Sterling, L. Sonenberg, and H. Kim. ARIS: A Shell for Information Agents that Exploit Web Site Structure. In Proc. of PAAM\u201998, London, UK, 1998."},{"key":"4_CR11","unstructured":"M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In Proc. of PAAM\u201998, London, UK, 1998."},{"key":"4_CR12","unstructured":"D. L. Martin, A. J. Cheyer, and D. B. Moran. Building Distributed Software Systems with the Open Agent Architecture. In Proc. of PAAM\u201998, London, UK, 1998."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"J. Mayfield, Y. Labrou, and T. Finin. Evaluation of KQML as an Agent Communication Language. In Intelligent Agents II. Springer-Verlag, 1995. LNAI 1037.","DOI":"10.1007\/3540608052_77"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"D. Miller. Forum: A Multiple-Conclusion Specification Logic. Theoretical Computer Science, 165(1), 1996.","DOI":"10.1016\/0304-3975(96)00045-X"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"M. Mulder, J. Treur, and M. Fisher. Agent Modelling in METATEM and DESIRE. In Intelligent Agents IV. Springer-Verlag, 1997. LNAI 1365.","DOI":"10.1007\/BFb0026759"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"D. T. Ndumu and H. S. Nwana. Research and development challenges for agent-based systems. IEE Proc. of Software Engineering, 144(1), 1997.","DOI":"10.1049\/ip-sen:19971020"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"H. S. Nwana, D. T. Ndumu, and L. C. Lee. ZEUS: An Advanced Tool-Kit for Engineering Distributed Multi-Agent Systems. In Proc. of PAAM\u201998, London, UK, 1998.","DOI":"10.1145\/301136.301234"},{"key":"4_CR18","unstructured":"A. S. Rao and M. Georgeff. BDI Agents: from Theory to Practice. In Proc. of ICMAS\u201995, San Francisco, CA, 1995."},{"key":"4_CR19","unstructured":"M. Spivey. The Z Notation (second edition). Prentice Hall International, 1992."},{"key":"4_CR20","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"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"M. Wooldridge and N. R. Jennings. Intelligent Agents: Theory and Practice. The Knowledge Engineering Review, 10(2), 1995.","DOI":"10.1017\/S0269888900008122"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49201-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T01:57:26Z","timestamp":1556416646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49201-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540655275","9783540492016"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-49201-1_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}