{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:48Z","timestamp":1747548348788},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651413"},{"type":"electronic","value":"9783540495451"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49545-2_2","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:41:28Z","timestamp":1186425688000},"page":"17-32","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Combining Introspection and Communication with Rationality and Reactivity in Agents"],"prefix":"10.1007","author":[{"given":"Pierangelo","family":"Dell\u2019Acqua","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fariba","family":"Sadri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Toni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,2,26]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-1-4615-6075-3_6","volume-title":"Flexible Query-Answering Systems","author":"J. Barklund","year":"1997","unstructured":"J. Barklund, S. Costantini, P. Dell\u2019Acqua, and G. A. Lanzarone. Metareasoning agents for query-answering systems. In Troels Andreasen, Henning Christiansen, and Henrik Legind Larsen, editors, Flexible Query-Answering Systems, pages 103\u2013122. Kluwer Academic Publishers, Boston, Mass., 1997."},{"key":"2_CR2","unstructured":"J. Barklund, S. Costantini, P. Dell\u2019Acqua, and G. A. Lanzarone. Reflection Principles in Computational Logic. Submitted to J. of Logic and Computation, 1997."},{"key":"2_CR3","unstructured":"A. Chavez and P. Maes. Kasbah: An agent marketplace for buying and selling goods. In B. Crabtree and N. Jennings, editors, Proc. 1st Intl. Conf. on the Practical Application of Intelligent Agents and Multi-Agent Technology, pages 75\u201390. The Practical Application Company, 1996."},{"key":"2_CR4","volume-title":"Logic and Data Bases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases. Plenum Press, New York, 1978."},{"key":"2_CR5","unstructured":"P. R. Cohen and H. J. Levesque. Communicative actions for artificial agents. In V. Lesser, editor, Proc. 1st Intl. Conf. on Multiagent Systems, AAAI Press, pages 65\u201372. MIT Press, 1995."},{"key":"2_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/3-540-56282-6_9","volume-title":"Meta-Programming in Logic","author":"S. Costantini","year":"1992","unstructured":"S. Costantini, P. Dell\u2019Acqua, and G. A. Lanzarone. Reflective agents in metalogic programming. In Alberto Pettorossi, editor, Meta-Programming in Logic, LNCS 649, pages 135\u2013147, Berlin, 1992. Springer-Verlag."},{"key":"2_CR7","unstructured":"S. Costantini and G. A. Lanzarone. A metalogic programming language. In G. Levi and M. Martelli, editors, Proc. 6th Intl. Conf. on Logic Programming, pages 218\u201333, Cambridge, Mass., 1989. MIT Press."},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1080\/09528139408953789","volume":"6","author":"S. Costantini","year":"1994","unstructured":"S. Costantini and G. A. Lanzarone. A metalogical programming approach: Language, semantics and applications. Int. J. of Experimental and Theoretical Artificial Intelligence, 6:239\u2013287, 1994.","journal-title":"Int. J. of Experimental and Theoretical Artificial Intelligence"},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T. H. Fung","year":"1997","unstructured":"T. H. Fung and R. Kowalski. The IFF proof procedure for abductive logic programming. J. Logic Programming, 33(2):151\u2013165, 1997.","journal-title":"J. Logic Programming"},{"key":"2_CR10","first-page":"235","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"A. C. Kakas","year":"1998","unstructured":"A. C. Kakas, R. A. Kowalski, and F. Toni. The role of abduction in logic programming. In D. Gabbay, C. Hogger, and A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 5, pages 235\u2013324. Oxford University Press, UK, 1998."},{"key":"2_CR11","unstructured":"R. A. Kowalski. Predicate logic as a programming language. In J. L. Rosenfeld, editor, Information Processing, 1974, pages 569\u2013574, Amsterdam, 1974. North-Holland."},{"key":"2_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/BFb0031739","volume-title":"Logic in Databases, Intl. Workshop LID\u201996","author":"R. A. Kowalski","year":"1996","unstructured":"R. A. Kowalski and F. Sadri. Towards a unified agent architecture that combines rationality with reactivity. In Dino Pedreschi and Carlo Zaniolo, editors, Logic in Databases, Intl. Workshop LID\u201996, LNCS 1154, pages 137\u2013149, Berlin, 1996. Springer-Verlag."},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1007\/BF03037383","volume":"4","author":"R. A. Kowalski","year":"1986","unstructured":"R. A. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4:670\u201395, 1986.","journal-title":"New Generation Computing"},{"key":"2_CR14","unstructured":"Y. Labrou and T. Finin. Semantics and conversations for an agent communication language. In M. N. Huhns and M. P. Singh, editors, Readings in Agents, pages 234\u2013242, San Francisco, 1997. Morgan Kaufmann."},{"key":"2_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"John W. Lloyd. Foundations of Logic Programming, Second Edition. Springer-Verlag, Berlin, 1987.","edition":"Second Edition"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"Alberto Martelli and Ugo Montanari. An efficient unification algorithm. ACM TOPLAS, 4:258\u2013282, 1982.","journal-title":"ACM TOPLAS"},{"key":"2_CR17","unstructured":"M. P. Singh. Towards a formal theory of communication for multiagent systems. In Proc. 12th Intl. Joint Conf. on Artificial Intelligence, pages 69\u201374, Sydney, Australia, 1991. Morgan Kaufmann."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Communicating rational agents. In B. Nebel and L. Dreschler-Fischer, editors, KI-94: Advances in Artificial Intelligence, LNAI 861, pages 202\u2013213, Berlin, 1994. Springer-Verlag.","DOI":"10.1007\/3-540-58467-6_18"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"E. Verharen and F. Dignum. Cooperative information agents and communication. In P. Kandzia and M. Klusch, editors, Cooperative Information Agents, LNAI 1202, pages 195\u2013208, Berlin, 1997. Springer-Verlag.","DOI":"10.1007\/3-540-62591-7_34"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"G. Wagner. Multi-level security in multiagent systems. In P. Kandzia and M. Klusch, editors, Cooperative Information Agents, LNAI 1202, pages 272\u2013285, Berlin, 1997. Springer-Verlag.","DOI":"10.1007\/3-540-62591-7_40"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49545-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:01:29Z","timestamp":1558274489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49545-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651413","9783540495451"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-49545-2_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"26 February 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}