{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:45Z","timestamp":1725664725147},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609834"},{"type":"electronic","value":"9783540497516"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60983-0_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:09:49Z","timestamp":1330290589000},"page":"303-318","source":"Crossref","is-referenced-by-count":2,"title":["Some postulates for nonmonotonic theory revision applied to logic programming"],"prefix":"10.1007","author":[{"given":"Cees","family":"Witteveen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiebe","family":"Hoek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(51)90003-5","volume":"78","author":"N. Bidoit","year":"1991","unstructured":"N. Bidoit, Negation in rule-based database languages: a survey, Theoretical Computer Science, 78, (1991), 3\u201383.","journal-title":"Theoretical Computer Science"},{"key":"21_CR2","volume-title":"Knowledge in Flux","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"P. G\u00e4rdenfors, Knowledge in Flux, MIT Press, Cambridge, MA, 1988."},{"key":"21_CR3","unstructured":"K. Inoue, C. Sakama, Abductive Framework for Nonmonotonic Theory Change. Proceedings IJCAI'95, 1995."},{"key":"21_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd, Foundations of Logic Programming, Springer Verlag, Heidelberg, 1987."},{"key":"21_CR5","series-title":"Nonmonotonic Reasoning","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3","author":"D. Makinson","year":"1994","unstructured":"D. Makinson, General Patterns in Nonmonotonic Reasoning, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (eds) Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Nonmonotonic Reasoning, Oxford Science Publications, Oxford, 1994."},{"key":"21_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02906-0","volume-title":"Nonmonotonic Logic","author":"V. Marek","year":"1993","unstructured":"V. Marek and M. Truszczy\u0144ski, Nonmonotonic Logic, Springer Verlag, Heidelberg, 1993."},{"key":"21_CR7","unstructured":"Morris, P., Stable Closures, Defeasible Logic and Contradiction Tolerant Reasoning, Proceedings of the 7th National Conference on Artificial Intelligence, 1988."},{"key":"21_CR8","unstructured":"L. M. Pereira, J. J. Alferes and J. N. Aparicio, Contradiction Removal within well-founded semantics. In: A. Nerode, W. Marek and V. S. Subrahmanian, editors, First International Workshop on Logic Programming and Non-monotonic Reasoning, MIT Press, 1991"},{"key":"21_CR9","volume-title":"Proceedings \u2014 EPIA 91","author":"L. M. Pereira","year":"1991","unstructured":"L. M. Pereira, J. J. Alferes and J. N. Aparicio, The Extended Stable Models of Contradiction Removal Semantics. In: P. Barahona, L.M. Pereira and A. Porto, editors, Proceedings \u2014 EPIA 91, Springer Verlag, Heidelberg, 1991."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"C. Witteveen, Every Normal Program has a Nearly-Stable Model. In J. Dix, L.M. Pereira and T.C. Przymusinski, editors, Non-Monotonic Extensions of Logic Programming, LNAI 927, pp. 68\u201384, Springer Verlag, 1995.","DOI":"10.1007\/BFb0030660"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"C. Witteveen and W. van der Hoek, Revision by Communication In V. Marek, A. Nerode and M. Truszczy\u0144ski, editors, Logic Programming and Non-Monotonic Reasoning, LNAI 928, pp. 189\u2013202, Springer Verlag, 1995.","DOI":"10.1007\/3-540-59487-6_14"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"D. Zacca, Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG queries, in: G. Gottlob, M. Vardi, editors, Database Theory \u2014 ICDT'95, Springer Verlag, 1995.","DOI":"10.1007\/3-540-58907-4_27"}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60983-0_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:23Z","timestamp":1605647003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60983-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609834","9783540497516"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-60983-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}