{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:54Z","timestamp":1747548354684},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411314"},{"type":"electronic","value":"9783540400066"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40006-0_24","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T09:41:54Z","timestamp":1186825314000},"page":"345-360","source":"Crossref","is-referenced-by-count":14,"title":["Updates plus Preferences"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,9,19]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","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, 2000. To appear. A short version titled Dynamic Logic Programming appeared in A. Cohn and L. Schubert (eds.), KR\u201998, Morgan Kaufmann.","DOI":"10.1016\/S0743-1066(99)00065-5"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS-a language for updating logic programs. In M. Gelfond, N. Leone, and G. Pfeifer, editors, LPNMR\u201999. Springer, 1999.","DOI":"10.1007\/3-540-46767-X_12"},{"key":"24_CR3","unstructured":"J. J. Alferes, L. M. Pereira, T. Przymusinski, H. Przymusinska, and P. Quaresma. Preliminary exploration on actions as updates. In AGP\u201999, 1999."},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"G. Brewka. Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research, 4, 1996.","DOI":"10.1613\/jair.284"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"G. Brewka and T. Eiter. Preferred answer sets for extended logic programs. Artificial Intelligence, 109, 1999. A short version appeared in A. Cohn and L. Schubert (eds.), KR\u201998, Morgan Kaufmann.","DOI":"10.1016\/S0004-3702(99)00015-6"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"F. Buccafurri, W. Faber, and N. Leone. Disjunctive logic programs with inheritance. In D. De Schreye, editor, ICLP\u201999.MIT Press, 19","DOI":"10.1017\/S1471068402001394"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"M. Dekhtyar, A. Dikovsky, S. Dudakov, and N. Spyratos. Monotone expansion of updates in logical databases. In M. Gelfond, N. Leone, and G. Pfeifer, editors, LPNMR\u201999. Springer, 1999.","DOI":"10.1007\/3-540-46767-X_10"},{"key":"24_CR8","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, ICLP\u201988. MIT Press, 1988."},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In J. Allen, R. Fikes, and E. Sandewall, editors, KR\u201991. Morgan Kaufmann, 1991.","DOI":"10.1017\/CBO9780511526664.007"},{"key":"24_CR10","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."},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"V. Marek and M. Truszczynski. Revision specifications by means of programs. In C. MacNish, D. Pearce, and L. M. Pereira, editors, JELIA\u201994. Springer, 1994.","DOI":"10.1007\/BFb0021968"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"T. Przymusinski and H. Turner. Update by means of inference rules. In V. Marek, A. Nerode, and M. Truszczynski, editors, LPNMR\u201995. Springer, 1995.","DOI":"10.1007\/3-540-59487-6_12"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"C. Sakama and K. Inoue. Updating extended logic programs through abduction. In M. Gelfond, N. Leone, and G. Pfeifer, editors, LPNMR\u201999. Springer, 1999.","DOI":"10.1007\/3-540-46767-X_11"},{"key":"24_CR14","unstructured":"M. Winslett. Reasoning about action using a possible models approach. In AAAI\u201988, 1988."},{"key":"24_CR15","unstructured":"Y. Zhang and N. Foo. Updating logic programs. In H. Prade, editor, ECAI\u201998. Morgan Kaufmann, 1998."}],"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-40006-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T16:09:02Z","timestamp":1587830942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40006-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411314","9783540400066"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-40006-0_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}