{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T22:10:03Z","timestamp":1740262203296,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261728"},{"type":"electronic","value":"9783540319276"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11493402_4","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T01:52:26Z","timestamp":1278985946000},"page":"53-68","source":"Crossref","is-referenced-by-count":6,"title":["On Modelling Multi-agent Systems Declaratively"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Bracciali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Mancarella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kostas","family":"Stathis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Toni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/3-540-45448-9_30","volume-title":"Intelligent Agents VIII","author":"F. Sadri","year":"2002","unstructured":"Sadri, F., Toni, F., Torroni, P.: Dialogues for negotiation: agent varieties and dialogue sequences. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, p. 405. Springer, Heidelberg (2002)"},{"key":"4_CR2","first-page":"493","volume-title":"Handbook of Theoretical Computer Science","author":"K.R. Apt","year":"1990","unstructured":"Apt, K.R.: Logic programming. In: Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 493\u2013574. Elsevier Science Publishers, Amsterdam (1990)"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1018934223383","volume":"25","author":"R.A. Kowalski","year":"1999","unstructured":"Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence\u00a025, 391\u2013419 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"4_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/3-540-45757-7_35","volume-title":"Logics in Artificial Intelligence","author":"F. Sadri","year":"2002","unstructured":"Sadri, F., Toni, F., Torroni, P.: An abductive logic programming architecture for negotiating agents. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, p. 419. Springer, Heidelberg (2002)"},{"key":"4_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-39173-8_10","volume-title":"Engineering Societies in the Agents World III","author":"F. Toni","year":"2003","unstructured":"Toni, F., Stathis, K.: Access-as-you-need: a computational logic framework for flexible resource access in artificial societies. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol.\u00a02577, pp. 126\u2013140. Springer, Heidelberg (2003)"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. Kakas","year":"1993","unstructured":"Kakas, A., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation\u00a02, 719\u2013770 (1993)","journal-title":"Journal of Logic and Computation"},{"unstructured":"Kakas, A., Mancarella, P.: Generalized stable models: a semantics for abduction. In: Proc. 9th European Conference on Artificial Intelligence. Pitman Pub. (1990)","key":"4_CR7"},{"unstructured":"Viroli, M., Omicini, A.: Multi-agent systems as composition of observable systems. In: Omicini, A., Viroli, M. (eds.) AI*IA\/TABOO Workshop - Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA 2001) (2001)","key":"4_CR8"},{"doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Lomuscio, A.: A logic of visibility, perception, and knowledge: completeness and correspondence results. Journal of the IGPL\u00a09 (2001)","key":"4_CR9","DOI":"10.1093\/jigpal\/9.2.257"},{"key":"4_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"unstructured":"Abramsky, S.: Semantics of Interaction (Technical report), Available at, http:\/\/www.dcs.ed.ac.uk\/home\/samson\/coursenotes.ps.gz","key":"4_CR11"},{"unstructured":"Ashri, R., Luck, M., d\u2019Inverno, M.: On identifying and managing relationships in multi-agent systems. In: Proc. of 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico (2003)","key":"4_CR12"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1023\/A:1020259411066","volume":"37","author":"A. Ciampolini","year":"2003","unstructured":"Ciampolini, A., Lamma, E., Mello, P., Toni, F., Torroni, P.: Co-operation and competition in ALIAS: a logic framework for agents that negotiate. Computational Logic in Multi-Agent Systems. Annals of Mathematics and Artificial Intelligence\u00a037, 65\u201391 (2003)","journal-title":"Computational Logic in Multi-Agent Systems. Annals of Mathematics and Artificial Intelligence"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-45607-4_12","volume-title":"Logic Based Program Synthesis and Transformation","author":"J. Alferes","year":"2002","unstructured":"Alferes, J., Brogi, A., Leite, J.A., Pereira, L.M.: Computing environment-aware agent behaviours with logic program updates. In: Pettorossi, A. (ed.) LOPSTR 2001. LNCS, vol.\u00a02372, p. 216. Springer, Heidelberg (2002)"},{"key":"4_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-45757-7_5","volume-title":"Logics in Artificial Intelligence","author":"J.J. Alferes","year":"2002","unstructured":"Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, p. 50. Springer, Heidelberg (2002)"},{"key":"4_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11493402_9","volume-title":"Declarative Agent Languages and Technologies II","author":"L.R. Pokorny","year":"2005","unstructured":"Pokorny, L.R., Ramakrishnan, C.R.: Modeling and verification of distributed autonomous agents using logic programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 148\u2013165. Springer, Heidelberg (2005)"},{"unstructured":"Ciampolini, A., Lamma, E., Mello, P., Torroni, P.: Rambling abductive agents in ALIAS. In: Proc. ICLP Workshop on Multi-Agent Sytems in Logic Programming (MAS 1999), Las Cruces, New Mexico (1999)","key":"4_CR17"},{"doi-asserted-by":"crossref","unstructured":"Dastani, M., de Boer, F.S., Dignum, F., van der Hoek, W., Kroese, M., Meyer, J.C.: Programming the deliberation cycle of cognitive robots. In: Proc. of 3rd International Cognitive Robotics Workshop (CogRob) (2002)","key":"4_CR18","DOI":"10.1145\/860591.860592"},{"unstructured":"Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proceedings of the 16th European Conference on Artificial Intelligence (ECAI), Valencia, Spain (2004)","key":"4_CR19"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11493402_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T21:31:19Z","timestamp":1740259879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11493402_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261728","9783540319276"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11493402_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}