{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:50:29Z","timestamp":1725519029345},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540888321"},{"type":"electronic","value":"9783540888338"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88833-8_7","type":"book-chapter","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T06:02:14Z","timestamp":1223964134000},"page":"117-136","source":"Crossref","is-referenced-by-count":3,"title":["EVOLP: Tranformation-Based Semantics"],"prefix":"10.1007","author":[{"given":"Martin","family":"Slota","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3487.001.0001","volume-title":"Heterogeneous Agent Systems","author":"V.S. Subrahmanian","year":"2000","unstructured":"Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems. MIT Press, Cambridge (2000)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Dix, J., Zhang, Y.: IMPACT: a multi-agent framework with declarative semantics. In: Bordini, et al. (eds.) [11], ch.\u00a03","DOI":"10.1007\/0-387-26350-0_3"},{"issue":"4","key":"7_CR3","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K. Hindriks","year":"1999","unstructured":"Hindriks, K., de Boer, F., van der Hoek, W., Ch. Meyer, J.-J.: Agent programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems\u00a02(4), 357\u2013401 (1999)","journal-title":"Int. J. of Autonomous Agents and Multi-Agent Systems"},{"key":"7_CR4","unstructured":"Dastani, M., van Riemsdijk, M.B., Ch.Meyer, J.-J.: Programming multi-agent systems in 3APL. In: Bordini, et al. (eds.) [11], ch.\u00a02"},{"key":"7_CR5","unstructured":"Bordini, R., H\u00fcbner, J., Vieira, R.: Jason and the Golden Fleece of agent-oriented programming. In: Bordini, et al. (eds.) [11], ch.\u00a01"},{"key":"7_CR6","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, pp. 1\u201313. Springer, Heidelberg (2002)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Stathis, K.: Crafting the mind of a PROSOCS agent. Applied Artificial Intelligence\u00a020(4-5) (2006)","DOI":"10.1080\/08839510500479496"},{"key":"7_CR8","volume-title":"Reasoning Robots: The Art and Science of Programming Robotic Agents","author":"M. Thielscher","year":"2005","unstructured":"Thielscher, M.: Reasoning Robots: The Art and Science of Programming Robotic Agents. Springer, Heidelberg (2005)"},{"issue":"1-2","key":"7_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo De","year":"2000","unstructured":"De Giacomo, G., Lesprance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence\u00a0121(1-2), 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"7_CR10","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1017\/S1471068404002029","volume":"4","author":"V. Mascardi","year":"2004","unstructured":"Mascardi, V., Martelli, M., Sterling, L.: Logic-based specification languages for intelligent software agents. Theory and Practice of Logic Programming\u00a04(4), 429\u2013494 (2004)","journal-title":"Theory and Practice of Logic Programming"},{"key":"7_CR11","series-title":"Multiagent Systems, Artificial Societies, and Simulated Organizations","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","year":"2005","unstructured":"Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol.\u00a015. Springer, Heidelberg (2005)"},{"issue":"1","key":"7_CR12","first-page":"33","volume":"30","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., Braubach, L., Dastani, M., Seghrouchni, A.E.F., Gomez-Sanz, J.J., Leite, J., O\u2019Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica\u00a030(1), 33\u201344 (2006)","journal-title":"Informatica"},{"key":"7_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46767-X_11","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Sakama","year":"1999","unstructured":"Sakama, C., Inoue, K.: Updating extended logic programs through abduction. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730. Springer, Heidelberg (1999)"},{"key":"7_CR14","volume-title":"Procs. of ECAI 1998","author":"Y. Zhang","year":"1998","unstructured":"Zhang, Y., Foo, N.Y.: Updating logic programs. In: Procs. of ECAI 1998. John Wiley & Sons, Chichester (1998)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming\u00a02(6) (2002)","DOI":"10.1017\/S1471068401001247"},{"key":"7_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054796","volume-title":"Logic Programming and Knowledge Representation","author":"J.A. Leite","year":"1998","unstructured":"Leite, J.A., Pereira, L.M.: Generalizing updates: From models to programs. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol.\u00a01471. Springer, Heidelberg (1998)"},{"issue":"1-3","key":"7_CR17","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J.J. Alferes","year":"2000","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. The Journal of Logic Programming\u00a045(1-3), 43\u201370 (2000)","journal-title":"The Journal of Logic Programming"},{"key":"7_CR18","volume-title":"Evolving Knowledge Bases","author":"J.A. Leite","year":"2003","unstructured":"Leite, J.A.: Evolving Knowledge Bases. IOS Press, Amsterdam (2003)"},{"issue":"1","key":"7_CR19","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s11225-005-0492-y","volume":"79","author":"J.J. Alferes","year":"2005","unstructured":"Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica\u00a079(1), 7\u201332 (2005)","journal-title":"Studia Logica"},{"key":"7_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-540-30498-2_38","volume-title":"Advances in Artificial Intelligence \u2013 IBERAMIA 2004","author":"J.A. Leite","year":"2004","unstructured":"Leite, J.A.: On some differences between semantics of logic program updates. In: Lema\u00eetre, C., Reyes, C.A., Gonz\u00e1lez, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol.\u00a03315, pp. 375\u2013385. Springer, Heidelberg (2004)"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","first-page":"78","volume-title":"Procs. of the 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V)","author":"M. Homola","year":"2004","unstructured":"Homola, M.: Various semantics are equal on acyclic programs. In: Leite, J.A., Torroni, P. (eds.) Procs. of the 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V). LNCS, vol.\u00a03487, pp. 78\u201395. Springer, Heidelberg (2004)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: LUPS \u2013 a language for updating logic programs. Artificial Intelligence\u00a0138(1&2) (June 2002)","DOI":"10.1016\/S0004-3702(02)00183-2"},{"key":"7_CR23","first-page":"649","volume-title":"IJCAI 2001","author":"T. Eiter","year":"2001","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: A framework for declarative update specifications in logic programs. In: IJCAI 2001, pp. 649\u2013654. Morgan-Kaufmann, San Francisco (2001)"},{"key":"7_CR24","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":"7_CR25","first-page":"579","volume-title":"Proceedings of the 7th international conference on logic programming","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, D., Szeredi, P. (eds.) Proceedings of the 7th international conference on logic programming, pp. 579\u2013597. MIT Press, Cambridge (1990)"},{"key":"7_CR26","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-540-69619-3_14","volume-title":"Computational Logic in Multi-Agent Systems","author":"J.A. Leite","year":"2007","unstructured":"Leite, J.A., Soares, L.: Adding evolving abilities to a multi-agent system. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol.\u00a04371, pp. 246\u2013265. Springer, Heidelberg (2007)"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Slota, M., Leite, J.A.: EVOLP: an implementation. In: Sadri, F., Satoh, K. (eds.) Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII) (2008); (System Description, in this volume)","DOI":"10.1007\/978-3-540-88833-8_16"},{"key":"7_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-540-45217-1_21","volume-title":"Cooperative Information Agents VII","author":"J.J. Alferes","year":"2003","unstructured":"Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Logic programming for evolving agents. In: Klusch, M., Omicini, A., Ossowski, S., Laamanen, H. (eds.) CIA 2003. LNCS (LNAI), vol.\u00a02782, pp. 281\u2013297. Springer, Heidelberg (2003)"},{"key":"7_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/11595014_5","volume-title":"Progress in Artificial Intelligence","author":"F. Banti","year":"2005","unstructured":"Banti, F., Alferes, J.J., Brogi, A.: Operational semantics for DyLPs. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol.\u00a03808, pp. 43\u201354. Springer, Heidelberg (2005)"},{"key":"7_CR30","unstructured":"Slota, M.: Transformational semantics and implementation of evolving logic programs. Master\u2019s thesis, Univerzita Komensk\u00e9ho (May 2007), http:\/\/slotik.info\/"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88833-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,9]],"date-time":"2020-05-09T04:18:34Z","timestamp":1588997914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88833-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540888321","9783540888338"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88833-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}