{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T20:12:36Z","timestamp":1790799156328,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540331063","type":"print"},{"value":"9783540331070","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11691792_7","type":"book-chapter","created":{"date-parts":[[2006,2,27]],"date-time":"2006-02-27T02:39:13Z","timestamp":1141007953000},"page":"106-123","source":"Crossref","is-referenced-by-count":18,"title":["About Declarative Semantics of Logic-Based Agent Languages"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arianna","family":"Tocchio","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Barklund, J., Costantini, S., Dell\u2019Acqua, P., Lanzarone, G.A.: Reflection Principles in Computational Logic. J. of Logic and Computation\u00a010(6) (December 2000)","DOI":"10.1093\/logcom\/10.6.743"},{"key":"7_CR2","volume-title":"Heterogeneous Agent Systems","author":"P. Bonatti","year":"2000","unstructured":"Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R., Subrahmanian, V.S.: Heterogeneous Agent Systems. MIT Press, Cambridge (2000)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-540-31794-4_18","volume-title":"Global Computing","author":"A. Bracciali","year":"2005","unstructured":"Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G., Toni, F.: The KGP model of agency for global computing: Computational model and prototype implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol.\u00a03267, pp. 340\u2013367. Springer, Heidelberg (2005)"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"M.E. Bratman","year":"1988","unstructured":"Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and resource-bounded practical reasoning. Computational Intelligence\u00a04, 349\u2013355 (1988)","journal-title":"Computational Intelligence"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/B:AMAI.0000031195.87297.d9","volume":"41","author":"K.L. Clark","year":"2004","unstructured":"Clark, K.L., McCabe, G.: Go! A multi-paradigm programming language for implementing multi- threaded agents. Annals of Mathematics and Artificial Intelligence\u00a041, 171\u2013206 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"7_CR6","unstructured":"Costantini, S.: Towards active logic programming. In: Brogi, A., Hill, P. (eds.) Proc. of 2nd International Workshop on component-based Software Development in Computational Logic (COCL 1999) Available, http:\/\/www.di.unipi.it\/brogi\/ResearchActivity\/COCL99\/proceedings\/index.html."},{"key":"7_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45757-7_1","volume-title":"Logics in Artificial Intelligence","author":"S. Costantini","year":"2002","unstructured":"Costantini, S., Tocchio, A.: A Logic Programming Language for Multi-agent Systems. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, p. 1. Springer, Heidelberg (2002)"},{"key":"7_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/978-3-540-30227-8_57","volume-title":"Logics in Artificial Intelligence","author":"S. Costantini","year":"2004","unstructured":"Costantini, S., Tocchio, A.: The DALI Logic Programming Agent-Oriented Language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 685\u2013688. Springer, Heidelberg (2004)"},{"key":"7_CR9","unstructured":"Costantini, S., Tocchio, A., Verticchio, A.: A Game-Theoretic Operational Semantics for the DALI Communication Architecture. In: Proc. of WOA 2004, Turin, Italy (December 2004), ISBN 88-371-1533- 4"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Costantini, S., Tocchio, A., Verticchio, A.: Communication and Trust in the DALI Logic Programming Agent-Oriented Language. In: Cadoli, M., Milano, M., Omicini, A. (eds.) Italian J. of Artificial Intelligence (March 2005)","DOI":"10.1007\/978-3-540-30227-8_57"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-44525-0_11","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"M. d\u2019Inverno","year":"2000","unstructured":"d\u2019Inverno, M., Hindriks, K., Luck, M.: A formal architecture for the 3APL agent programming language. In: Jonathan, P.B., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol.\u00a01878, pp. 168\u2013187. Springer, Heidelberg (2000)"},{"key":"7_CR12","unstructured":"FIPA, Communicative Act Library Specification, Technical Report XC00037H, Foundation for Intelligent Physical Agents, August 10 (2001)"},{"key":"7_CR13","first-page":"1070","volume-title":"Proceedings of the Fifth Joint International Conference and Symposium","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the Fifth Joint International Conference and Symposium, pp. 1070\u20131080. The MIT Press, Cambridge (1988)"},{"key":"7_CR14","unstructured":"Kowalski, R.A.: How to be Artificially Intelligent - the Logical Way, Draft, Available, http:\/\/www-lp.doc.ic.ac.uk\/UserPages\/staff\/rak\/rak.html (revised February 2004)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031739","volume-title":"Logic in Databases","author":"R.A. Kowalski","year":"1996","unstructured":"Kowalski, R.A., Sadri, F.: Towards a unified agent architecture that combines rationality with reactivity. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol.\u00a01154, Springer, Heidelberg (1996)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Kowalski, R.A., Sadri, F.: An Agent Architecture that Unifies Rationality with Reactivity. Department of Computing, Imperial College (1997)","DOI":"10.1007\/BFb0031739"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS(LNAI), vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"7_CR19","unstructured":"Rao, A.S., Georgeff, M.: BDI Agents: from theory to practice. In: Proc. of the First Int. Conf. on Multi-Agent Systems (ICMAS 1995), San Francisco, CA, pp. 312\u2013319 (1995)"},{"key":"7_CR20","unstructured":"Tocchio, A.: Multi-Agent sistems in computational logic, Ph.D. Thesis, Dipartimento di Informatica, Universit\u00e1 degli Studi di L\u2019Aquila (2005)"},{"key":"7_CR21","unstructured":"Van der Hoeve, E.C., Dastani, M., Dignum, F., Meyer, J.-J.: 3APL Platform. In: Proc. of the The 15th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2003), held in Nijmegen, The Netherlands (2003)"},{"issue":"3","key":"7_CR22","first-page":"620","volume":"38","author":"A. Gelder Van","year":"1990","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.: The well-founded semantics for general logic programs. J. of the ACM\u00a038(3), 620\u2013650 (1990)","journal-title":"J. of the ACM"},{"issue":"2","key":"7_CR23","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.R.: Intelligent agents: Theory and practice. Knowl. Eng. Rev.\u00a010(2), 115\u2013152 (1995)","journal-title":"Knowl. Eng. Rev."}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11691792_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T23:07:37Z","timestamp":1555456057000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11691792_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540331063","9783540331070"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11691792_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}