{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:19:41Z","timestamp":1777299581026,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540441908","type":"print"},{"value":"9783540457572","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_1","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"1-13","source":"Crossref","is-referenced-by-count":53,"title":["A Logic Programming Language for Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arianna","family":"Tocchio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"1_CR1","unstructured":"J. J. Alferes, P. Dell\u2019Acqua, E. Lamma, J. A. Leite, L. M. Pereira, and F. Riguzzi. A logic based approach to multi-agent systems. ALP Newsletter, 14(3), August 2001."},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J. J. Alferes","year":"2000","unstructured":"J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. Przymusinski. Dynamic updates of non-monotonic knowledge bases. J. Logic Programming, 45(1):43\u201370, September\/October 2000.","journal-title":"J. Logic Programming"},{"key":"1_CR3","first-page":"195","volume-title":"Meta-Logics and Logic Programming","author":"J. Barklund","year":"1995","unstructured":"J. Barklund, K. Boberg, P. Dell\u2019Acqua, and M. Veanes. Meta-programming with theory systems. In K.R. Apt and F. Turini, editors, Meta-Logics and Logic Programming, pages 195\u2013224. The MIT Press, Cambridge, Mass., 1995."},{"key":"1_CR4","unstructured":"G. Brewka. Declarative representation of revision strategies. In C. Baral and M. Truszczynski, editors, NMR\u20192000, Proc. Of the 8th Intl. Workshop on Non-Monotonic Reasoning, 2000."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"G. Brewka and T Eiter. Prioritizing default logic. In Festschrift 60th Anniversary of W. Bibel. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-94-015-9383-0_3"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"P. R. Cohen and H. J. Levesque. Rational interaction as the basis for communication. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Communication, pages 221\u2013256. MIT Press, 1990.","DOI":"10.7551\/mitpress\/3839.003.0014"},{"key":"1_CR7","unstructured":"P. R. Cohen and H. J. Levesque. Communicative actions for artificial agents. In V. Lesser, editor, Proc. 1st Intl. Conf. on Multi-agent Systems, AAAI Press, pages 65\u201372. MIT Press, 1995."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"S. Costantini. Meta-reasoning: a survey. In A. Kakas and F. Sadri, editors, Computational Logic: From Logic Programming into the Future: Special volume in honour of Bob Kowalski (in print). Springer-Verlag, Berlin. invited paper.","DOI":"10.1007\/3-540-45632-5_11"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"S. Costantini. Meta-reasoning: a survey. In Computational Logic: From Logic Programming into the Future \u2014 Special volume in honour of Bob Kowalski(to appear). Springer-Verlag. invited paper.","DOI":"10.1007\/3-540-45632-5_11"},{"key":"1_CR10","unstructured":"S. Costantini. Towards active logic programming. In A. Brogi and P. Hill, editors, Proc. of 2nd International Workshop on Component-based Software Development in Computational Logic (COCL\u201999), PLI\u201999, Paris, France, September 1999. http:\/\/www.di.unipi.it\/brogi\/ResearchActivity\/COCL99\/proceedings\/index.html ."},{"key":"1_CR11","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 Levesque. H. J. Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, (121):109\u2013169, 2000.","journal-title":"Artificial Intelligence"},{"key":"1_CR12","unstructured":"P. Dell\u2019Acqua and L. M. Pereira. Updating agents. In Procs. of the ICLP\u201999 Workshop on Multi-Agent Systems in Logic (MASL\u201999), Las Cruces, New Mexico, 1999."},{"key":"1_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Logics in Artidficial Intelligence","author":"P. Dell\u2019Acqua","year":"1998","unstructured":"P. Dell\u2019Acqua, F. Sadri, and F. Toni. Combining introspection and communication with rationality and reactivity in agents. In J. Dix, F.L. Del Cerro, and U. Furbach, editors, Logics in Artidficial Intelligence, LNCS 1489, Berlin, 1998. Springer-Verlag."},{"key":"1_CR14","unstructured":"P. Dell\u2019Acqua, F. Sadri, and F. Toni. Communicating agents. In Proc. International Workshop on Multi-Agent Systems in Logic Programming, in conjunction with ICLP\u201999, Las Cruces, New Mexico, 1999."},{"key":"1_CR15","unstructured":"T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. A framework for declarative update specifications in logic programs. In Bernhard Nebel, editor, Proc. 17th Intl. Joint Conf. on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, 2001. Morgan Kaufmann. ISBN 1-55860-777-3."},{"key":"1_CR16","series-title":"Lect Notes Comput Sci","volume-title":"A survey of concurrent METATEM \u2014 the language and its applications","author":"M. Fisher","year":"1994","unstructured":"M. Fisher. A survey of concurrent METATEM \u2014 the language and its applications. In Proceedings of First International Conference on Temporal Logic (ICTL), LNCS 827, Berlin, 1994. Springer Verlag."},{"key":"1_CR17","unstructured":"K. Hindriks, F. de Boer, W. van der Hoek, and J. J. Meyer. A formal architecture for the 3apl programming language. In Proceedings of the First International Conference of B and Z Users, Berlin, 2000. Springer Verlag."},{"issue":"4","key":"1_CR18","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K. V. Hindriks","year":"1999","unstructured":"K. V. Hindriks, F. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. Agent programming in 3apl. Autonomous Agents and Multi-Agent Systems, 2(4):357\u2013401, 1999.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"1_CR19","unstructured":"R. A. Kowalski and F. Sadri. From logic programming to multi-agent systems. In Annals of Mathematics and Artificial Intelligence. (to appear)."},{"key":"1_CR20","series-title":"Lect Notes Comput Sci","volume-title":"Towards a unified agent architecture that combines rationality with reactivity","author":"R. A. Kowalski","year":"1996","unstructured":"R. A. Kowalski and F. Sadri. Towards a unified agent architecture that combines rationality with reactivity. In Proc. International Workshop on Logic in Databases, LNCS 1154, Berlin, 1996. Springer-Verlag."},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"V. Lifschitz. Answer set planning. In D. De Schreye, editor, Proc. of ICLP\u2019 99 Conference, pages 23\u201337, Cambridge, Ma, 1999. MIT Press. Invited talk.","DOI":"10.1007\/3-540-46767-X_28"},{"key":"1_CR22","unstructured":"M. Mulder, J. Treur, and M. Fisher. Agent modelling in concurrent METATEM and DESIRE. In Intelligent Agents IV, LNAI, Berlin, 1998. Springer Verlag."},{"key":"1_CR23","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: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI, pages 42\u201355, Berlin, 1996. Springer Verlag."},{"key":"1_CR24","unstructured":"A. S. Rao and M. George.. BDI Agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 312\u2013319, San Francisco, CA, June 1995."},{"key":"1_CR25","unstructured":"A. S. Rao and M. P. George.. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473\u2013484. Morgan Kaufmann Publishers: San Mateo, CA, April 1991."},{"key":"1_CR26","unstructured":"V.S. Subrahmanian, Piero Bonatti, J\u00fcrgen Dix, Thomas Eiter, Sarit Kraus, Fatma \u00d6zcan, and Robert Ross. Heterogenous Active Agents. MIT-Press, 2000. 580 pages."},{"issue":"1","key":"1_CR27","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1010090027213","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"M. Wooldridge. Semantic issues in the verification of agent communication languages. Autonomous Agents and Multi-Agent Systems, 3(1):9\u201332, 2000.","journal-title":"Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T15:30:01Z","timestamp":1708270201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}