{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:32:26Z","timestamp":1725582746874},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208317"},{"type":"electronic","value":"9783642208324"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20832-4_14","type":"book-chapter","created":{"date-parts":[[2011,4,27]],"date-time":"2011-04-27T22:59:49Z","timestamp":1303945189000},"page":"193-212","source":"Crossref","is-referenced-by-count":1,"title":["Evolving Logic Programs with Temporal Operators"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Alfredo","family":"Gabaldon","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/11533092_4","volume-title":"Computational Logic in Multi-Agent Systems","author":"J.J. Alferes","year":"2005","unstructured":"Alferes, J.J., Banti, F., Brogi, A.: From logic programs updates to action description updates. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 52\u201377. Springer, Heidelberg (2005)"},{"issue":"1","key":"14_CR2","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":"14_CR3","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)"},{"doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Gabaldon, A., Leite, J.: Evolving logic programming based agents with temporal operators. In: IEEE\/WIC\/ACM Int\u2019l Conf. on Intelligent Agent Technology (2008)","key":"14_CR4","DOI":"10.1109\/WIIAT.2008.123"},{"issue":"1-3","key":"14_CR5","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"},{"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)","key":"14_CR6","DOI":"10.1016\/S0004-3702(02)00183-2"},{"unstructured":"Baral, C., Zhao, J.: Non-monotonic temporal logics for goal specification. In: IJCAI 2007, pp. 236\u2013242 (2007)","key":"14_CR7"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/3-540-52559-9_62","volume-title":"Stepwise Refinement of Distributed Systems","author":"H. Barringer","year":"1990","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: Metatem: A framework for programming in temporal logic. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1989. LNCS, vol.\u00a0430, pp. 94\u2013129. Springer, Heidelberg (1990)"},{"unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: A framework for declarative update specifications in logic programs. In: IJCAI 2001, pp. 649\u2013654 (2001)","key":"14_CR9"},{"issue":"06","key":"14_CR10","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1017\/S1471068401001247","volume":"2","author":"THOMAS EITER","year":"2002","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)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"2","key":"14_CR11","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1145\/1055686.1055693","volume":"6","author":"T. Eiter","year":"2005","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: Reasoning about evolving nonmonotonic knowledge bases. ACM Trans. Comput. Log.\u00a06(2), 389\u2013440 (2005)","journal-title":"ACM Trans. Comput. Log."},{"key":"14_CR12","first-page":"519","volume-title":"AAAI 2002","author":"A. Gabaldon","year":"2002","unstructured":"Gabaldon, A.: Non-markovian control in the situation calculus. In: AAAI 2002, pp. 519\u2013524. AAAI Press, Menlo Park (2002)"},{"unstructured":"Gabaldon, A.: Compiling control knowledge into preconditions for planning in the situation calculus. In: IJCAI 2003, pp. 1061\u20131066 (2003)","key":"14_CR13"},{"issue":"1","key":"14_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.artint.2010.04.012","volume":"175","author":"A. Gabaldon","year":"2011","unstructured":"Gabaldon, A.: Non-Markovian Control in the Situation Calculus. Artificial Intelligence\u00a0175(1), 25\u201348 (2011)","journal-title":"Artificial Intelligence"},{"key":"14_CR15","series-title":"Belief Change","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","year":"1998","unstructured":"Gabbay, D., Smets, P. (eds.): Handbook of Defeasible Reasoning and Uncertainty Management Systems. Belief Change, vol.\u00a03. Kluwer, Dordrecht (1998)"},{"issue":"3","key":"14_CR16","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S1574-6526(07)03007-6","volume-title":"Handbook of Knowledge Representation","author":"M. Gelfond","year":"2008","unstructured":"Gelfond, M.: Answer sets. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, ch. 7, pp. 285\u2013316. Elsevier, Amsterdam (2008)"},{"unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: 7th Int\u2019l Conf. on Logic Programming (1990)","key":"14_CR18"},{"key":"14_CR19","first-page":"195","volume":"3","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on Artificial Intelligence\u00a03, 195\u2013210 (1998)","journal-title":"Electronic Transactions on Artificial Intelligence"},{"unstructured":"Gonzalez, G., Baral, C., Gelfond, M.: Alan: An action language for non-markovian domains. In: NonMon. Reasoning, Action and Change Workshop (2003)","key":"14_CR20"},{"key":"14_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-11355-0_1","volume-title":"Declarative Agent Languages and Technologies VII","author":"J. Leite","year":"2010","unstructured":"Leite, J.: Playing with rules. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol.\u00a05948, pp. 1\u201319. Springer, Heidelberg (2010)"},{"unstructured":"Leite, J., Soares, L.: Evolving characters in role-playing games. In: EMCSR 2006, vol.\u00a02, pp. 515\u2013520 (2006)","key":"14_CR22"},{"key":"14_CR23","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. Leite","year":"2007","unstructured":"Leite, J., 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":"14_CR24","volume-title":"Evolving Knowledge Bases","author":"J.A. Leite","year":"2003","unstructured":"Leite, J.A.: Evolving Knowledge Bases. IOS Press, Amsterdam (2003)"},{"key":"14_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BFb0054796","volume-title":"Logic Programming and Knowledge Representation","author":"J. Leite","year":"1998","unstructured":"Leite, J., Moniz Pereira, L.: Generalizing updates: From models to programs. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol.\u00a01471, p. 224. Springer, Heidelberg (1998)"},{"unstructured":"Lifschitz, V., Woo, T.: Answer sets in general nonmonotonic reasoning (preliminary report). In: KR 1992 (1992)","key":"14_CR26"},{"issue":"2","key":"14_CR27","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0304-3975(97)00092-3","volume":"190","author":"V. Marek","year":"1998","unstructured":"Marek, V., Truszczynski, M.: Revision programming. Theor. Comput. Sci.\u00a0190(2), 241\u2013277 (1998)","journal-title":"Theor. Comput. Sci."},{"unstructured":"Mendez, G., Lobo, J., Llopis, J., Baral, C.: Temporal logic and reasoning about actions. In: 3rd Symp. on Logical Formalizations of Commonsense Reasoning (1996)","key":"14_CR28"},{"issue":"4","key":"14_CR29","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10506-005-4162-1","volume":"12","author":"J. Saias","year":"2004","unstructured":"Saias, J., Quaresma, P.: A methodology to create legal ontologies in a lp based web information retrieval system. Artif. Intell. Law\u00a012(4), 397\u2013417 (2004)","journal-title":"Artif. Intell. Law"},{"key":"14_CR30","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"147","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, p. 147. Springer, Heidelberg (1999)"},{"key":"14_CR31","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/11853886_35","volume-title":"Logics in Artificial Intelligence","author":"J. \u0160efr\u00e1nek","year":"2006","unstructured":"\u0160efr\u00e1nek, J.: Irrelevant updates and nonmonotonic assumptions. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, pp. 426\u2013438. Springer, Heidelberg (2006)"},{"key":"14_CR32","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-540-88833-8_16","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Slota","year":"2008","unstructured":"Slota, M., Leite, J.: Evolp: An implementation. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII 2007. LNCS (LNAI), vol.\u00a05056, pp. 288\u2013298. Springer, Heidelberg (2008)"},{"key":"14_CR33","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-88833-8_7","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Slota","year":"2008","unstructured":"Slota, M., Leite, J.: Evolp: Tranformation-based semantics. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII 2007. LNCS (LNAI), vol.\u00a05056, pp. 117\u2013136. Springer, Heidelberg (2008)"},{"key":"14_CR34","first-page":"957","volume-title":"ECAI 2010","author":"M. Slota","year":"2010","unstructured":"Slota, M., Leite, J.: On semantic update operators for answer-set programs. In: ECAI 2010, pp. 957\u2013962. IOS Press, Amsterdam (2010)"},{"key":"14_CR35","volume-title":"ECAI 1998","author":"Y. Zhang","year":"1998","unstructured":"Zhang, Y., Foo, N.Y.: Updating logic programs. In: ECAI 1998. John Wiley & Sons, Chichester (1998)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20832-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T06:37:47Z","timestamp":1560148667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20832-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208317","9783642208324"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20832-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}