{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:04Z","timestamp":1742617084984,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540502418"},{"type":"electronic","value":"9783540459606"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50241-6_48","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:18:52Z","timestamp":1330201132000},"page":"335-346","source":"Crossref","is-referenced-by-count":0,"title":["Algorithms for propositional updates"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Weber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Bobrow, D.G. (ed.): Special issue on non-monotonic logic. Artif. Intell. 13, 1\/2 (1980).","DOI":"10.1016\/0004-3702(80)90012-0"},{"key":"24_CR2","first-page":"239","volume":"2","author":"G. Bossu","year":"1984","unstructured":"Bossu, G.; Siegel, P.: Non-monotonic reasoning and databases. Advances in Database Theory 2, Plenum Press (1984), 239\u2013284.","journal-title":"Advances in Database Theory"},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"6","author":"E.F. Codd","year":"1970","unstructured":"Codd, E.F.: A relational model for large shared data banks. Comm. ACM 6 (1970), 377\u2013387.","journal-title":"Comm. ACM"},{"key":"24_CR4","first-page":"1","volume":"3","author":"R. Fagin","year":"1986","unstructured":"Fagin, R.; Kuper, G.M.; Ullmann, J.P.; Vardi, M.Y.: Updating logical databases. Advances in Computing Research, Vol. 3 (1986), 1\u201318.","journal-title":"Advances in Computing Research"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Fagin, R.; Ullmann, J.D.; Vardi, M.Y.: On the semantics of updates in databases. Proc. 2nd ACM Symp. on Princ. of Database Syst. (1983), 352\u2013365.","DOI":"10.1145\/588058.588100"},{"key":"24_CR6","volume-title":"Logic and Databases","author":"H. Gallaire","year":"1978","unstructured":"Gallaire, H.; Minker, J.: Logic and Databases. Plenum Press, New York, London (1978)."},{"key":"24_CR7","first-page":"183","volume":"4","author":"C.C. Green","year":"1969","unstructured":"Green, C.C.: Theorem Proving by Resolution as a Basis for Question Answering Systems. Mach. Intell. 4 (1969), 183\u2013208.","journal-title":"Mach. Intell."},{"key":"24_CR8","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"D. McDemott","year":"1982","unstructured":"McDemott, D.; Doyle, J.: Non-monotonic logic II: Non-monotonic modal theories. J. ACM 29 (1982), 33\u201357.","journal-title":"J. ACM"},{"key":"24_CR9","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"Moore, R.C.: Semantical considerations on non-monotonic logic. Artif. Intell. 25 (1985), 75\u201394.","journal-title":"Artif. Intell."},{"key":"24_CR10","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: A Machine Oriented Logic Based on the Resolution Principle. J. ACM 12 (1965), 25\u201341.","journal-title":"J. ACM"},{"key":"24_CR11","unstructured":"Weber, A.: Updating propositional formulas. TR#160 Institut f\u00fcr Angewandte Informatik und Formale Beschreibungsverfahren, Universit\u00e4t Karlsruhe, (1985), auch: Proc. of the 1 st Int. Conf. on Expert Database Syst. (1986), 373\u2013386."},{"key":"24_CR12","unstructured":"Weber, A.: Eine Methode zur Aktualisierung Aussagenlogischer Wissensbasen. Dissertation, Universit\u00e4t Karlsruhe, Karlsruhe (1987)."},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Winslett, M.: A Model Theoretic Approach to Updating Logical Databases. Proc. 5th ACM Symp. on Principles of Database Syst. (1986), 224\u2013234.","DOI":"10.1145\/6012.15416"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Winslett, M.: Updating Logical Databases Containing Null Values. Proc. Int. Conf. on Database Theory, LNCS 243. Springer, Berlin (1986), 421\u2013435.","DOI":"10.1007\/3-540-17187-8_51"}],"container-title":["Lecture Notes in Computer Science","CSL '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50241-6_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:45:47Z","timestamp":1742589947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50241-6_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540502418","9783540459606"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-50241-6_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}