{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:34Z","timestamp":1725493234401},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_5","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T13:50:39Z","timestamp":1192888239000},"page":"50-62","source":"Crossref","is-referenced-by-count":59,"title":["Evolving Logic Programs"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Brogi","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o Alexandre","family":"Leite","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"issue":"1\u20133","key":"5_CR1","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J. J. Alferes","year":"2000","unstructured":"J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. Przymusinski. Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming, 45(1\u20133):43\u201370, 2000.","journal-title":"Journal of Logic Programming"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS: A language for updating logic programs. Artificial Intelligence, 138(1\u20132), 2002. A short version appeared in M. Gelfond et al., LPNMR-99, LNAI 1730, Springer.","DOI":"10.1016\/S0004-3702(02)00183-2"},{"key":"5_CR3","unstructured":"A. Bonner and M. Kifer. Transaction logic programming. In David S. Warren, editor, ICLP-93, pages 257\u2013279. The MIT Press, 1993."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"A. Brogi. Probabilistic behaviours of reactive agents. Electronic Notes in Theoretical Computer Science, 48 2001.","DOI":"10.1016\/S1571-0661(04)00159-8"},{"issue":"12","key":"5_CR5","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1023\/A:1018995303452","volume":"19","author":"A. Brogi","year":"1997","unstructured":"A. Brogi, V.S. Subrahmanian, and C. Zaniolo. The logic of totally and partially ordered plans: A deductive database approach. Annals of Mathematics and Artificial Intelligence, 19((1,2)):27\u201358, 1997.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"J. Chomicki. Polynomial-time computable queries in temporal deductive databases. In PODS\u201990, 1990.","DOI":"10.1145\/298514.298589"},{"key":"5_CR7","unstructured":"T. Eiter, M. Fink, G. Sabbatini, and H Tompits. A framework for declarative update specifications in logic programs. In IJCAI\u201901, pages 649\u2013654. Morgan-Kaufmann, 2001."},{"key":"5_CR8","unstructured":"M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In R. Kowalski and K. Bowen, editors, ICLP\u201988, pages 1070\u20131080. MIT Press, 1988."},{"key":"5_CR9","unstructured":"M. Gelfond and V. Lifschitz. Action languages. Linkoping Electronic Articles in Computer and Information Science, 3(16), 1998."},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4:67\u201395, 1986.","journal-title":"New Generation Computing"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"J. A. Leite. A modified semantics for LUPS. In P. Brazdil and A. Jorge, editors, EPIA-01, volume 2258 of LNAI, pages 261\u2013275. Springer, 2001.","DOI":"10.1007\/3-540-45329-6_27"},{"key":"5_CR12","unstructured":"V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In B. Nebel, C. Rich, and W. Swartout, editors, KR\u201992. Morgan-Kaufmann, 1992."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:08:09Z","timestamp":1556906889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}