{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T10:40:24Z","timestamp":1768560024166,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642642494","type":"print"},{"value":"9783642600852","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60085-2_1","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T07:03:26Z","timestamp":1315465406000},"page":"5-32","source":"Crossref","is-referenced-by-count":10,"title":["Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics"],"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","reference":[{"key":"1_CR1","volume-title":"ECLiPSe 3.5 User Manual European Computer Research Center","author":"A Abderrahamane","year":"1995","unstructured":"A. Abderrahamane, D. Chan, P. Dufresne, E. Falvey, H. Grant, A. Herold, G. Macartney, M. Meier, D. Miller, S. Mudambi, B. Perez, E. van Rossum, J. Schimpf, P. A. Tsahageas, D. H. de Villeneuve. ECLiPSe 3.5 User Manual. European Computer Research Center, Munich, December 1995."},{"key":"1_CR2","first-page":"495","volume-title":"Linear Objects: Logical Processes with Built-In Inheritance. In D.H. Warren and P.Szeredi, editors, Proceedings of the 7th International Conference on Logic Programming","author":"JM Andreoli","year":"1990","unstructured":"J.M. Andreoli, R. Pareschi. Linear Objects: Logical Processes with Built-In Inheritance. In D.H. Warren and P.Szeredi, editors, Proceedings of the 7th International Conference on Logic Programming, pages 495\u2013510. The MIT Press, Cambridge MA, 1990."},{"key":"1_CR3","first-page":"67","volume-title":"A Linear Logic Calculus of Objects. In Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"M Bugliesi","year":"1996","unstructured":"M. Bugliesi, G. Delzanno, L. Liquori, M. Martelli. A Linear Logic Calculus of Objects. In Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 67\u201381. The MIT Press, 1996."},{"key":"1_CR4","volume-title":"A Linear Logic Specification of Chimera","author":"M Bozzano","year":"1997","unstructured":"M. Bozzano, G. Delzanno, M. Martelli. A Linear Logic Specification of Chimera.In Proceedings of DYNAMICS\u201997, a satellite workshop of ILPS \u201997, 1997."},{"key":"1_CR5","first-page":"139","volume":"47","author":"RA Brooks","year":"1991","unstructured":"R. A. Brooks. Intelligence without representation. Artificial Intelligence, 47:139\u2013159, 1991.","journal-title":"Intelligence without representation. Artificial Intelligence"},{"key":"1_CR6","volume-title":"Proof Theoretic Approach to Specification Languages. PhD thesis","author":"J Chirimar","year":"1995","unstructured":"J. Chirimar. Proof Theoretic Approach to Specification Languages. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1995."},{"key":"1_CR7","volume-title":"Logic & Object-Oriented Programming in Linear Logic.PhD thesis","author":"G Delzanno","year":"1997","unstructured":"G. Delzanno. Logic & Object-Oriented Programming in Linear Logic.PhD thesis, Universit\u00e0 of Pisa, Dipartimento di Informatica, March 1997."},{"key":"1_CR8","volume-title":"Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications","author":"P Dart","year":"1999","unstructured":"P. Dart, E. Kazmierckaz, M. Martelli, V. Mascardi, L. Sterling, V.S.Subrahmanian, F. Zini. Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications. Submitted to FASE\u201999."},{"key":"1_CR9","first-page":"115","volume-title":"Objects in Forum. In Proceedings of the International Logic Programming Symposium","author":"G Delzanno","year":"1995","unstructured":"G. Delzanno M. Martelli. Objects in Forum. In Proceedings of the International Logic Programming Symposium, pages 115\u2013129. The MIT Press, 1995."},{"issue":"1","key":"1_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"JY Girard","year":"1987","unstructured":"J.Y. Girard. Linear logic. Theoretical Computer Science, 50:1:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"1_CR11","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","author":"J Hodas","year":"1994","unstructured":"J. Hodas, D. Miller. Logic Programming in a Fragment of Intuitionistic Linear Logic. Information and Computation, 110(2):327\u2013365, 1994.","journal-title":"Information and Computation"},{"key":"1_CR12","first-page":"391","volume-title":"Programming in Lygon: An overview. In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology, volume 1101 of Lecture Notes in Computer Science","author":"J Harland","year":"1996","unstructured":"J. Harland, D. Pym, M. Winikoff. Programming in Lygon: An overview. In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology, volume 1101 of Lecture Notes in Computer Science, pages 391\u2013405. Springer-Verlag, Munich Germany, July 1996."},{"key":"1_CR13","volume-title":"Towards a Unified Agent Architecture that Combines Rationality with Reactivity. In Proc. of International Workshop on Logic in Databases","author":"R Kowalski","year":"1996","unstructured":"R. Kowalski, 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."},{"key":"1_CR14","volume-title":"From Logic Programming to Multi-agent Systems","author":"RA Kowalski","year":"1998","unstructured":"R. A. Kowalski, F. Sadri. From Logic Programming to Multi-agent Systems. Submitted to publication, 1998."},{"key":"1_CR15","first-page":"254","volume-title":"A Formal Framework for Agency and Autonomy","author":"M Luck","year":"1995","unstructured":"M. Luck, M. D\u2019Inverno. A Formal Framework for Agency and Autonomy. In Proc. of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 254\u2013260, San Francisco CA, June 1995."},{"key":"1_CR16","first-page":"331","volume-title":"Intelligent Agents II","author":"Y Lesperance","year":"1995","unstructured":"Y. Lesperance, H. Levesque, F. Lin, D. Marcu, R. Reiter, R. BScherl. Foundations of a Logical Approach to Agent Programming.In M. Wooldridge, J. P. M\u00fcller,M. Tambe, editors, Intelligent Agents II, pages 331\u2013346. Springer-Verlag, 1995. LNAI 1037."},{"key":"1_CR17","first-page":"242","volume-title":"Proceedings of the 1992 Workshop on Extention to Logic Programming, volume 660 of Lecture Notes in Computer Science","author":"D Miller","year":"1993","unstructured":"D. Miller. The \u03c0-calculus as a theory in linear logic: Preliminary results.In E. Lamma P. Mello, editors, Proceedings of the 1992 Workshop on Extention to Logic Programming, volume 660 of Lecture Notes in Computer Science, pages 242\u2013265. Springer-Verlag, Berlin, 1993."},{"key":"1_CR18","unstructured":"D. Miller. Survey of Linear Logic Programming. Computational Logic: The Newsletter of the European Network of Excellence in Computational Logic, 2(2):63\u201367, 1995"},{"issue":"1","key":"1_CR19","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0304-3975(96)00045-X","volume":"165","author":"D Miller","year":"1996","unstructured":"D. Miller. Forum: A Multiple-Conclusion Specification Logic. Theoretical Computer Science,165(1):201\u2013232, 1996","journal-title":"CTheoretical Computer Science"},{"issue":"2","key":"1_CR20","first-page":"63","volume":"2","author":"D Miller","year":"1995","unstructured":"D. Miller. Survey of Linear Logic Programming. Computational Logic: The Newsletter of the European Network of Excellence in Computational Logic, 2(2):63\u201367, 1995.","journal-title":"Computational Logic: The Newsletter of the European Network of Excellence in Computational Logic"},{"issue":"1","key":"1_CR21","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0304-3975(96)00045-X","volume":"165","author":"D Miller","year":"1996","unstructured":"D. Miller. Forum: A Multiple-Conclusion Specification Logic. Theoretical Computer Science, 165(1):201\u2013232, 1996.","journal-title":"Theoretical Computer Science"},{"key":"1_CR22","first-page":"347","volume-title":"Intelligent Agents II","author":"J Mayfield","year":"1995","unstructured":"J. Mayfield, Y. Labrou, T. Finin. Evaluation of KQML as an Agent Communication Language. In M. Wooldridge, J. P. M\u00fcller, M. Tambe, editors, Intelligent Agents II, pages 347\u2013360. Springer-Verlag, 1995. LNAI 1037."},{"key":"1_CR23","unstructured":"V. Mascardi, E. Merelli. Agent-Oriented and Constraint Technologies for Distributed Transaction Management. Submitted to IIA\u201999."},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"R. McDowell, D. Miller, C. Palamidessi. Encoding transition systems in sequent calculus. ENTCS, 3, 1996.","DOI":"10.1016\/S1571-0661(05)80412-8"},{"key":"1_CR25","volume-title":"Applying logic programming to the specification of complex applications. Mathematical Modeling and Scientific Computing","author":"M Martelli","year":"1997","unstructured":"M. Martelli, V. Mascardi, F. Zini. Applying logic programming to the specification of complex applications. Mathematical Modeling and Scientific Computing, 8, 1997. Proc. of 11th International Conference on Mathematical and Computer Modeling and Scientific Computing.","edition":"8"},{"key":"1_CR26","first-page":"331","volume-title":"Proc. of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agent Technology","author":"M Martelli","year":"1998","unstructured":"M. Martelli, V. Mascardi, F. Zini. Towards Multi-Agent Software Prototyping. In H. S. Nwana D. T. Ndumu, editors, Proc. of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM98), pages 331\u2013354, London UK, March 1998."},{"key":"1_CR27","volume-title":"Agent Modelling in METATEM and DESIRE. In Intelligent Agents IV","author":"M Mulder","year":"1997","unstructured":"M. Mulder, J. Treur, M. Fisher.Agent Modelling in METATEM and DESIRE. In Intelligent Agents IV. Springer-Verlag, 1997. LNAI 1365."},{"issue":"1","key":"1_CR28","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1049\/ip-sen:19971020","volume":"144","author":"DT Ndumu","year":"1997","unstructured":"D. T. Ndumu, H. S. Nwana.Research and development challenges for agent-based systems.IEEE Proceedings of Software Engineering, 144(1):2\u201310, February 1997.","journal-title":"IEEE Proceedings of Software Engineering"},{"key":"1_CR29","volume-title":"Instant CORBA","author":"R Orfaly","year":"1997","unstructured":"R. Orfaly, D. Harkey, and J. Edwards. Instant CORBA. John Wiley and Sons, 1997."},{"key":"1_CR30","volume-title":"CaseLP Visualizer: un tool di visualizzazione per sistemi multi agente logici","author":"M Pedrini De","year":"1998","unstructured":"M. De Pedrini. CaseLP Visualizer: un tool di visualizzazione per sistemi multi agente logici. Master\u2019s thesis, DISI - Universit\u00e0 di Genova, Genova Italy, 1998. In Italian."},{"key":"1_CR31","volume-title":"Gestione Distribuita di Informazioni Mediche Mediante Tecniche Multi-Agente","author":"G Persano","year":"1998","unstructured":"G. Persano. Gestione Distribuita di Informazioni Mediche Mediante Tecniche Multi-Agente. Master\u2019s thesis, DISI - Universit\u00e0 di Genova, Genova, Italy, 1998. In Italian."},{"key":"1_CR32","volume-title":"Software Engineering. A Practitioner\u2019s Approach","author":"RS Pressman","year":"1994","unstructured":"R. S. Pressman. Software Engineering. A Practitioner\u2019s Approach. McGraw-Hill International, UK, 3rd edition, 1994. European Edition. Adapted by D. Ince."},{"key":"1_CR33","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"AS Rao","year":"1996","unstructured":"A. S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away, pages 42\u201355. Springer-Verlag, 1996. LNAI 1038."},{"key":"1_CR34","first-page":"473","volume-title":"Proc. of Knowledge Representation and Reasoning (KR&R-91)","author":"A Rao","year":"1991","unstructured":"A. Rao and R. Georgeff. Modeling Rational Agents within a BDI- Architecture. In R. Fikes and E. Sandewall, editors, Proc. of Knowledge Representation and Reasoning (KR&R-91), pages 473\u2013484, San Mateo, CA, 1991. Morgan Kaufmann Publishers."},{"key":"1_CR35","unstructured":"M. Schroeder and G. Wagner. Vivid Agents: Theory, Architecture, and Applications. Submitted to the Journal of Logic and Computation."},{"key":"1_CR36","first-page":"69","volume-title":"Artificial Agents and Logic Programming","author":"G Wagner","year":"1997","unstructured":"G. Wagner. Artificial Agents and Logic Programming. In Proc. of ICLP\u201997 Post Conference Workshop on Logic Programming and Multi- Agents, pages 69\u201387, Leuven, Belgium, July 1997."},{"issue":"2","key":"1_CR37","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M Wooldridge","year":"1995","unstructured":"M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115\u2013152, 1995.","journal-title":"The Knowledge Engineering Review"},{"key":"1_CR38","volume-title":"The Logical Model of Computational Multi-Agent Systems","author":"M Wooldridge","year":"1992","unstructured":"M. Wooldridge. The Logical Model of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, UK, October 1992."},{"issue":"1","key":"1_CR39","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1049\/ip-sen:19971026","volume":"144","author":"M Wooldridge","year":"1997","unstructured":"M. Wooldridge. Agent-based software engineering. IEE Proceedings of Software Engineering, 144(1):26\u201337, February 1997.","journal-title":"IEE Proceedings of Software Engineering"}],"container-title":["Artificial Intelligence","The Logic Programming Paradigm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60085-2_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T16:34:56Z","timestamp":1606235696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_1","relation":{},"ISSN":["1431-0066"],"issn-type":[{"value":"1431-0066","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}