{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:05:50Z","timestamp":1749125150353},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bf00881837","type":"journal-article","created":{"date-parts":[[2004,12,25]],"date-time":"2004-12-25T19:07:06Z","timestamp":1104001626000},"page":"237-263","source":"Crossref","is-referenced-by-count":8,"title":["First-order syntactic characterizations of minimal entailment, domain-minimal entailment, and Herbrand entailment"],"prefix":"10.1007","volume":"10","author":[{"given":"Marek A.","family":"Suchenek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Handbook of Mathematical Logic","year":"1978","unstructured":"Barwise, Jon (Ed.),Handbook of Mathematical Logic. North-Holland, Amsterdam, second edition, 1978.","edition":"second edition"},{"key":"CR2","first-page":"5","volume-title":"Handbook of Mathematical Logic","author":"Jon Barwise","year":"1978","unstructured":"Barwise, Jon, ?An introduction to first-order logic?, In [1], Ch. A.1, pp. 5?46, 1978.","edition":"second edition"},{"issue":"1","key":"CR3","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0004-3702(85)90040-2","volume":"25","author":"Genvi\u00e8ve Bossu","year":"1984","unstructured":"Bossu, Genvi\u00e8ve and Siegel, Pierre, ?Saturation, nonmonotonic reasoning, and the closed-world assumption?,Artificial Intelligence 25(1), 13?64 (1984).","journal-title":"Artificial Intelligence"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Clark, Keith L., ?Negation as failure?, in Herv\u00e9 Gallaire and Jack Minker (Eds.),Logic and Data Bases pp. 55?76, Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"issue":"1?2","key":"CR5","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0004-3702(80)90013-2","volume":"13","author":"Martin Davis","year":"1980","unstructured":"Davis, Martin, ?The mathematics of non-monotonic reasoning?,Artifical Intelligence 13(1?2), 73?80 (1980).","journal-title":"Artifical Intelligence"},{"issue":"2","key":"CR6","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1111\/j.1467-8640.1987.tb00177.x","volume":"3","author":"David W. Etherington","year":"1987","unstructured":"Etherington, David W. and Mercer, Robert E., ?Domain circumscription: A reevaluation?,Computational Intelligence 3(2), 94?99 (1987).","journal-title":"Computational Intelligence"},{"issue":"1","key":"CR7","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1111\/j.1467-8640.1985.tb00055.x","volume":"1","author":"David W. Etherington","year":"1985","unstructured":"Etherington, David W., Mercer, Robert E. and Reiter, Raymond, ?On the adequacy of predicate circumscription for closed-world reasoning?,Computational Intelligence 1(1), 11?15 (1985).","journal-title":"Computational Intelligence"},{"key":"CR8","first-page":"1","volume":"4","author":"Jaakko Hintikka","year":"1988","unstructured":"Hintikka, Jaakko, ?Model minimization ? an alternative to circumscription?,Journal of Automated Reasoning 4, 1?13 (1988).","journal-title":"Journal of Automated Reasoning"},{"key":"CR9","first-page":"345","volume-title":"Handbook of Mathematical Logic","author":"Thomas J. Jech","year":"1978","unstructured":"Jech, Thomas J., ?About the axiom of choice?, in [1], Ch. B.2, pp. 345?370, 1978.","edition":"second edition"},{"key":"CR10","first-page":"47","volume-title":"Handbook of Mathematical Logic","author":"H. Jerome Keisler","year":"1978","unstructured":"Keisler, H. Jerome, ?Fundamentals of model theory?, in [1], Ch. A.2, pp. 47?104, 1978.","edition":"second edition"},{"key":"CR11","unstructured":"Lifschitz, Vladimir, ?Computing circumscription?, inProceedings IJCAI-85, pp. 121?127, Los Angeles, 1985."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"216","DOI":"10.2307\/2266412","volume":"16","author":"Roger C. Lyndon","year":"1951","unstructured":"Lyndon, Roger C., ?Review of paper by A. Horn?,Journal of Symbolic Logic 16, 216 (1951).","journal-title":"Journal of Symbolic Logic"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"143","DOI":"10.2140\/pjm.1959.9.143","volume":"9","author":"Roger C. Lyndon","year":"1959","unstructured":"Lyndon, Roger C., ?Properties preserved under homomorphism?,Pacific J. Math. 9, 143?154 (1959).","journal-title":"Pacific J. Math."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"220","DOI":"10.4064\/cm-2-3-4-220-228","volume":"2","author":"Edward Marczewski","year":"1951","unstructured":"Marczewski, Edward, ?Sur les congruences et les propriet\u00e9s positives d'alg\u00e8bres abstraites?,Colloquium Mathematicum 2, 220 (1951).","journal-title":"Colloquium Mathematicum"},{"issue":"1?2","key":"CR15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"John McCarthy","year":"1980","unstructured":"McCarthy, John, ?Circumscription ? a form of non-monotonic reasoning?,Artificial Intelligence 13(1?2), 27?39 (1980).","journal-title":"Artificial Intelligence"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/BFb0000066","volume-title":"Proceedings of 6th Conference on Automated Deduction, LNCS 138","author":"Jack Minker","year":"1982","unstructured":"Minker, Jack, ?On indefinite databases and closed-world assumption?, inProceedings of 6th Conference on Automated Deduction, LNCS 138, pp. 292?308, Springer-Verlag, Berlin, New York, 1982."},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Reiter, Raymond, ?On closed world data bases?, in Herv\u00e9 Gallaire and Jack Minker (Eds),Logic and Data Bases, pp. 55?76, Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/B978-0-934613-40-8.50005-1","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"John C. Shepherdson","year":"1988","unstructured":"Shepherdson, John C., ?Negation in logic programming?, in Jack Minker (Ed.),Foundations of Deductive Databases and Logic Programming, pp. 19?88. Morgan Kaufmann Publ., Inc., Los Altos, 1988."},{"key":"CR19","unstructured":"Shoham, Yoav, ?A semantical approach to non-monotonic logics?, inProceedings of the Tenth International Joint Conference on Artificial Intelligence, pp. 388?392, 1987."},{"key":"CR20","first-page":"182","volume-title":"Methodologies for Intelligence Systems 5","author":"Marek A. Suchenek","year":"1990","unstructured":"Suchenek, Marek A. and Sunderraman, Rajshekhar, ?Minimal models for closed world data bases with views?, in Zbigniew W. Ras (Ed.),Methodologies for Intelligence Systems 5, pp. 182?193, North-Holland, New York, 1990."},{"key":"CR21","first-page":"28","volume":"1","author":"Marek A. Suchenek","year":"1990","unstructured":"Suchenek, Marek A. and Sunderraman, Rajshekhar, ?On negative information in deductive data bases?,Journal of Database Administration 1, 28?41 (1990), invited paper.","journal-title":"Journal of Database Administration"},{"key":"CR22","unstructured":"Suchenek, Marek A., ?Forcing versus closed world assumption?, in Zbigniew W. Ra? and Maria Zemankova (Eds.),Methodologies for Intelligent Systems, pp. 453?460. North-Holland, 1987."},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Suchenek, Marek A., ?Incremental models of updating data bases?, in C. H. Bergman, R. D. Maddux and D. L. Pigozzi (Eds.)Algebraic Logic and Universal Algebra in Computer Science, Lecture Notes in Computer Science 425, pp. 243?271, Ames, June 1?4 1988. Springer-Verlag.","DOI":"10.1007\/BFb0043088"},{"key":"CR24","unstructured":"Suchenek, Marek A., ?A syntactic characterization of minimal entailment?, in Ewing L. Lusk and Ross A. Overbeek (Eds.),Logic Programming, North American Conference 1989, pp. 81?91, Cambridge, MA, October 16?20 1989. MIT Press."},{"key":"CR25","doi-asserted-by":"crossref","first-page":"269","DOI":"10.3233\/FI-1989-12302","volume":"12","author":"Marek A. Suchenek","year":"1989","unstructured":"Suchenek, Marek A., ?Two applications of model-theoretic forcing to Lipski's data bases with incomplete information?,Fundamenta Informaticae 12, 269?288 (1989).","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"CR26","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1142\/S0129054190000059","volume":"1","author":"Marek A. Suchenek","year":"1990","unstructured":"Suchenek, Marek A., ?Applications of Lyndon homomorphism theorems to the theory of minimal models?,International Journal of Foundations of Computer Science 1(1), 49?59 (1990).","journal-title":"International Journal of Foundations of Computer Science"},{"key":"CR27","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00244994","volume":"1","author":"A. Yahya","year":"1985","unstructured":"Yahya, A. and Henschen, L., ?Deduction in non-Horn databases?,Journal of Automated Reasoning 1, 141?160 (1985).","journal-title":"Journal of Automated Reasoning"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881837.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881837\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881837","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,2]],"date-time":"2021-07-02T13:25:42Z","timestamp":1625232342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881837"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF00881837"],"URL":"https:\/\/doi.org\/10.1007\/bf00881837","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}