{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:46:20Z","timestamp":1725468380898},"publisher-location":"Berlin\/Heidelberg","reference-count":22,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"0387972889"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0043088","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T16:46:04Z","timestamp":1155833164000},"page":"243-271","source":"Crossref","is-referenced-by-count":1,"title":["Incremental models of updating data bases"],"prefix":"10.1007","author":[{"given":"Marek A.","family":"Suchenek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Handbook of Mathematical Logic","year":"1978","unstructured":"Jon Barwise, editor. Handbook of Mathematical Logic. North-Holland, Amsterdam, second edition, 1978.","edition":"second edition"},{"key":"14_CR2","first-page":"123","volume-title":"Proceedings of 5-th Symposium on Principles of Database Systems","author":"N. Bidoit","year":"1986","unstructured":"N. Bidoit and R. Hull. Positivism vs. minimalism in deductive databases. In A. Silberschatz, editor, Proceedings of 5-th Symposium on Principles of Database Systems, pages 123\u2013132, A.C.M. SIGACT-SIGMOD, Association for Computing Machinery, New York, 1986."},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/0004-3702(85)90040-2","volume":"25","author":"G. Bossu","year":"1984","unstructured":"Genvi\u00e9ve Bossu and Pierre Siegel. Saturation, nonmonotonic reasoning, and the closed world assumption. Artificial Intelligence, 25(1):13\u201364, 1984.","journal-title":"Artificial Intelligence"},{"key":"14_CR4","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1111\/j.1467-8640.1985.tb00055.x","volume":"1","author":"D. W. Etherington","year":"1985","unstructured":"David W. Etherington, Robert Mercer, and Raymond Reiter. On the adequacy of predicate circumscription for closed-world reasoning. Computational Intelligence, 1:11\u201315, 1985.","journal-title":"Computational Intelligence"},{"key":"14_CR5","first-page":"821","volume":"276","author":"P. Henrard","year":"1973","unstructured":"Paul Henrard. Le \u2018forcing-compagnon\u2019 sans \u2018forcing'. C. R. Acad. Sc., 276(Ser. A):821\u2013822, 1973.","journal-title":"C. R. Acad. Sc."},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00244510","volume":"4","author":"J. Hintikka","year":"1988","unstructured":"Jaakko Hintikka. Model minimization \u2014 an alternative to circumscription. Journal of Automated Reasoning, 4:1\u201313, 1988.","journal-title":"Journal of Automated Reasoning"},{"key":"14_CR7","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1002\/malq.19690150107","volume":"15","author":"K. Kaiser","year":"1969","unstructured":"Kurt Kaiser. \u00dcber eine verallgemeinerung der Robinsonschen Modellvervollsta\u00e4ndigung. Zeitschrift f\u00fcr Mathematik Logik und Grundlagen der Mathematik, 15:37\u201348, 1969.","journal-title":"Zeitschrift f\u00fcr Mathematik Logik und Grundlagen der Mathematik"},{"key":"14_CR8","unstructured":"H. Jerome Keisler. Forcing and the omitting types theorem. In M. Morley, editor, Studies in Model Theory, pages 96\u2013133, Mathematical Association of America, 1973."},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"143","DOI":"10.2140\/pjm.1959.9.143","volume":"9","author":"R. C. Lyndon","year":"1959","unstructured":"Roger C. Lyndon. Properties preserved under homomorphism. Pacific J. Math., 9:143\u2013154, 1959.","journal-title":"Pacific J. Math."},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/BFb0000066","volume-title":"Proceedings of Sixth Conference on Automated Deduction","author":"J. Minker","year":"1982","unstructured":"Jack Minker. On indefinite databases and closed world assumption. In Proceedings of Sixth Conference on Automated Deduction, pages 292\u2013308, Springer Verlag, Berlin, New York, 1982."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Raymond Reiter. On closed world data bases. In Herv\u00e9 Gallaire and Jack Minker, editors, Logic and Data Bases, pages 55\u201376, Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"issue":"1\u20132","key":"14_CR12","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13(1\u20132):81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"14_CR13","unstructured":"Abraham Robinson. Forcing in model theory. In Proc. Simp. Mat., pages 64\u201380, Institute Nationale di Alta Matematica, 1971."},{"key":"14_CR14","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J. C. Shepherdson","year":"1988","unstructured":"John C. Shepherdson. Negation in logic programming. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann Publ., Inc., Los Altos, 1988."},{"key":"14_CR15","unstructured":"Marek A. Suchenek and James H. Thomas. Forcings and homomorphisms in deductive data bases. Submitted."},{"key":"14_CR16","unstructured":"Marek A. Suchenek. Forcing treatment of incomplete information in data bases. In International Symposium on Model Theory in Foundations of Computer Science, Budapest, September 1984."},{"key":"14_CR17","series-title":"Research Reports","volume-title":"On asymptotic decidability of modeltheoretic forcing","author":"M. A. Suchenek","year":"1985","unstructured":"Marek A. Suchenek. On asymptotic decidability of modeltheoretic forcing. Research Reports 63\/85, Institute of Computer Science, Warsaw Technical University, Nowowiejska 15\/19, 00-665 Warszawa, Poland, 1985."},{"key":"14_CR18","first-page":"69","volume-title":"Non-monotonic derivations which preserve pragmatic truth","author":"M. A. Suchenek","year":"1986","unstructured":"Marek A. Suchenek. Non-monotonic derivations which preserve pragmatic truth. In Maria Zemankova and M. L. Emrich, editors, Proceedings of the International Symposium on Methodologies for Intelligent Systems, Colloquia Program, ORNL-6362, pages 69\u201374, Oak Ridge National Laboratory, Knoxville, October 1986."},{"key":"14_CR19","unstructured":"Marek. A. Suchenek. Forcing versus closed world assumption. In Zbigniew W. Ra\u015b and Maria Zemankova, editors, Methodologies for Intelligent Systems, pages 453\u2013460, North-Holland, 1987."},{"key":"14_CR20","unstructured":"Marek A. Suchenek. Minimal models for closed world data bases. In Fourth International Symposium on Methodologies for Intelligent Systems, North-Holland, Charlotte, N.C., October 12\u201314 1989. To appear in Proceedings of the Symposium."},{"key":"14_CR21","unstructured":"Marek A. Suchenek. A syntactic characterization of minimal entailment. In North American Conference on Logic Programming, MIT Press, Cleveland, OH, October 16\u201320 1989. To appear in Proceedings of the Conference."},{"key":"14_CR22","doi-asserted-by":"crossref","first-page":"269","DOI":"10.3233\/FI-1989-12302","volume":"12","author":"M. A. Suchenek","year":"1989","unstructured":"Marek A. Suchenek. Two applications of model-theoretic forcing to Lipski's data bases with incomplete information. Fundamenta Informaticae, 12:269\u2013288, 1989.","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Algebraic Logic and Universal Algebra in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0043088.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,31]],"date-time":"2021-07-31T13:43:39Z","timestamp":1627739019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0043088"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387972889"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0043088","relation":{},"subject":[]}}