{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T01:10:11Z","timestamp":1740791411201,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540273301"},{"type":"electronic","value":"9783540318873"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11423355_23","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T18:09:51Z","timestamp":1292868591000},"page":"322-334","source":"Crossref","is-referenced-by-count":3,"title":["Engineering Stable Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Bracciali","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Mancarella","sequence":"additional","affiliation":[]},{"given":"Kostas","family":"Stathis","sequence":"additional","affiliation":[]},{"given":"Francesca","family":"Toni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KRR 1992), Boston, MA (1992)"},{"key":"23_CR2","series-title":"LNCS","first-page":"42","volume-title":"MAAMAW 1996","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: van Hoe, R. (ed.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"issue":"4","key":"23_CR3","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K.V. Hindriks","year":"1999","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems\u00a02(4), 357\u2013401 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/5254.757633","volume":"14","author":"K.A. Arisha","year":"1999","unstructured":"Arisha, K.A., Ozcan, F., Ross, R., Subrahmanian, V.S., Eiter, T., Kraus, S.: IMPACT: a Platform for Collaborating Agents. IEEE Intelligent Systems\u00a014, 64\u201372 (1999)","journal-title":"IEEE Intelligent Systems"},{"key":"23_CR5","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 (2004)"},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems\u00a03, 285\u2013312 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Padgham, L., Winikoff, M.: Prometheus: A methodology for developing intelligent agents. In: Proceedings of the Third International Workshop on AgentOriented Software Engineering at AAMAS 2002 (2002)","DOI":"10.1145\/544741.544749"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0096-0551(01)00020-0","volume":"27","author":"A. Ciampolini","year":"2002","unstructured":"Ciampolini, A., Lamma, E., Mello, P., Torroni, P.: LAILA: A language for coordinating abductive reasoning among logic agents. Computer Languages\u00a027, 137\u2013161 (2002)","journal-title":"Computer Languages"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Bracciali, A., Mancarella, P., Stathis, K., Toni, F.: On modelling declaratively multi-agent systems. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 53\u201368. Springer, Heidelberg (2005)","DOI":"10.1007\/11493402_4"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Nash, J.: Equilibrium points in n-person games. Proceedings of the National Accademy of Science (1950)","DOI":"10.1073\/pnas.36.1.48"},{"key":"23_CR11","first-page":"1070","volume-title":"Proceedings of the 5th International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) Proceedings of the 5th International Conference on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"23_CR12","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":"23_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":"23_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.J. Alferes","year":"2002","unstructured":"Alferes, J.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, pp. 216\u2013232. Springer, Heidelberg (2002)"},{"key":"23_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, pp. 50\u201361. Springer, Heidelberg (2002)"},{"key":"#cr-split#-23_CR16.1","doi-asserted-by":"crossref","unstructured":"Lomuscio, A., Sergot, M.: Deontic interpreted systems. In: van der Hoek, W., Wooldridge, M. (eds.) Studia Logica, vol.??75. Kluwer Academic Publishers, Dordrecht (2003);","DOI":"10.1023\/A:1026176900459"},{"key":"#cr-split#-23_CR16.2","unstructured":"Special Issue on The Dynamics of Knowledge"},{"key":"23_CR17","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)","DOI":"10.1093\/jigpal\/9.2.257"},{"key":"23_CR18","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)"},{"key":"23_CR19","unstructured":"Abramsky, S.: Semantics of Interaction (Technical report), Available at, http:\/\/www.dcs.ed.ac.uk\/home\/samson\/coursenotes.ps.gz"},{"key":"23_CR20","unstructured":"Viroli, M., Omicini, A.: Multi-agent systems as composition of observable systems. In: Omicini, A., Viroli, M. (eds.) AI*IA\/TABOO Joint Workshop - Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA) (2001)"}],"container-title":["Lecture Notes in Computer Science","Engineering Societies in the Agents World V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11423355_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T23:59:31Z","timestamp":1740787171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11423355_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540273301","9783540318873"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11423355_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}