{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:02Z","timestamp":1725455942005},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540628439"},{"type":"electronic","value":"9783540687023"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023804","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T02:12:36Z","timestamp":1132366356000},"page":"110-131","source":"Crossref","is-referenced-by-count":13,"title":["Update-programms can update programs"],"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":[[2005,6,9]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J. J. Alferes","year":"1995","unstructured":"J. J. Alferes, C. V. Dam\u00e1sio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning, 14:93\u2013147, 1995.","journal-title":"Journal of Automated Reasoning"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"J. J. Alferes and L. M. Pereira. Contradiction: when avoidance equal removal. In R. Dyckhoff, editor, 4th ELF, volume 798 of LNAI. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58025-5_47"},{"key":"6_CR3","unstructured":"C. Baral. Rule-based updates on simple knowledge bases. In AAAI'94, pages 136\u2013141, 1994."},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19\/20","author":"C. Baral","year":"1994","unstructured":"C. Baral and M. Gelfond. Logic programming and knowledge representation. J. Logic Programming, 19\/20:73\u2013148, 1994.","journal-title":"J. Logic Programming"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"C. V. Dam\u00e1sio and L. M. Pereira. Default negated conclusions: why not? In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, ELP'96. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-60983-0_7"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"H. Decker. Drawing updates from derivations. In Int. Conf on Database Theory, volume 460 of LNCS, 1990.","DOI":"10.1007\/3-540-53507-1_94"},{"issue":"3","key":"6_CR7","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of the ACM"},{"key":"6_CR8","unstructured":"L. Giordano and A. Martelli. Generalized stable models, truth maintenance and conflit resolution. In D. Warren and P. Szeredi, editors, 7th ICLP, pages 427\u2013441. MIT Press, 1990."},{"issue":"1","key":"6_CR9","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF03037514","volume":"8","author":"A. Guessoum","year":"1990","unstructured":"A. Guessoum and J. W. Lloyd. Updating knowledge bases. New Generation Computing, 8(1):71\u201389, 1990.","journal-title":"New Generation Computing"},{"issue":"1","key":"6_CR10","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF03037523","volume":"10","author":"A. Guessoum","year":"1991","unstructured":"A. Guessoum and J. W. Lloyd. Updating knowledge bases II. New Generation Computing, 10(1):73\u2013100, 1991.","journal-title":"New Generation Computing"},{"key":"6_CR11","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'91, pages 387\u2013394. Morgan-Kaufmann, 1991."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"V. Marek and M. Truszczy\u0144ski. Revision specifications by means of programs. In C. MacNish, D. Pearce, and L. M. Pereira, editors, JELIA '94, volume 838 of LNAI, pages 122\u2013136. Springer-Verlag, 1994.","DOI":"10.1007\/BFb0021968"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"V. Marek and M. Truszczy\u0144ski. Revision programming, database updates and integrity constraints. In ICDT'95, pages 368\u2013382. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-58907-4_28"},{"key":"6_CR14","unstructured":"L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann, editor, European Conf. on AI, pages 102\u2013106. John Wiley & Sons, 1992."},{"issue":"2","key":"6_CR15","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0743-1066(93)90032-C","volume":"17","author":"L. M. Pereira","year":"1993","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Non-monotonic reasoning with logic programming. Journal of Logic Programming, 17(2, 3 & 4):227\u2013263, 1993.","journal-title":"Journal of Logic Programming"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"T. Przymusinski and H. Turner. Update by means of inference rules. In V. Marek, A. Nerode, and M. Truszczy\u0144ski, editors, LPNMR'95, volume 928 of LNAI, pages 156\u2013174. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59487-6_12"},{"key":"6_CR17","unstructured":"M. Winslett. Reasoning about action using a possible models approach. In AAAI'88, pages 89\u201393, 1988."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"C. Witteveen and W. Hoek. Revision by communication. In V. Marek, A. Nerode, and M. Truszczy\u0144ski, editors, LPNMR'95, volume 928 of LNAI, pages 189\u2013202. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59487-6_14"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"C. Witteveen, W. Hoek, and H. Nivelle. Revision of non-monotonic theories: some postulates and an application to logic programming. In C. MacNish, D. Pearce, and L. M. Pereira, editors, JELIA '94, volume 838 of LNAI, pages 137\u2013151. Springer-Verlag, 1994.","DOI":"10.1007\/BFb0021969"}],"container-title":["Lecture Notes in Computer Science","Non-Monotonic Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T21:32:46Z","timestamp":1586554366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023804"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540628439","9783540687023"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0023804","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}