{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:50:36Z","timestamp":1725519036063},"publisher-location":"Berlin, Heidelberg","reference-count":9,"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_16","type":"book-chapter","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T06:02:14Z","timestamp":1223964134000},"page":"288-298","source":"Crossref","is-referenced-by-count":5,"title":["EVOLP: An Implementation"],"prefix":"10.1007","author":[{"given":"Martin","family":"Slota","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Slota, M., Leite, J.A.: EVOLP: Transformation-based semantics. In: Sadri, F., Satoh, K. (eds.) Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII) (2008) (in this volume)","DOI":"10.1007\/978-3-540-88833-8_7"},{"key":"16_CR2","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":"16_CR3","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":"16_CR4","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: Satoh, K., Inoue, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol.\u00a04371, pp. 246\u2013265. Springer, Heidelberg (2007)"},{"key":"16_CR5","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., Ossowski, S., Omicini, A., Laamanen, H. (eds.) CIA 2003. LNCS (LNAI), vol.\u00a02782, pp. 281\u2013297. Springer, Heidelberg (2003)"},{"key":"16_CR6","doi-asserted-by":"publisher","DOI":"10.1002\/9780470061848","volume-title":"Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)","author":"R.H. Bordini","year":"2007","unstructured":"Bordini, R.H., Wooldridge, M., H\u00fcbner, J.F.: Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology). John Wiley & Sons, Chichester (2007)"},{"key":"16_CR7","volume-title":"Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007)","author":"M. Dastani","year":"2007","unstructured":"Dastani, M., Hobo, D., Meyer, J.-J.C.: Practical extensions in agent programming languages. In: Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), ACM Press, New York (2007)"},{"issue":"4","key":"16_CR8","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., Meyer, J.-J.C.: 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"},{"issue":"1","key":"16_CR9","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"}],"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_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T16:34:34Z","timestamp":1557851674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88833-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540888321","9783540888338"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88833-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}