{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:38Z","timestamp":1761611138809},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1988,12,1]],"date-time":"1988-12-01T00:00:00Z","timestamp":596937600000},"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":[[1988,12]]},"DOI":"10.1007\/bf00297247","type":"journal-article","created":{"date-parts":[[2004,10,6]],"date-time":"2004-10-06T11:01:18Z","timestamp":1097060478000},"page":"397-424","source":"Crossref","is-referenced-by-count":67,"title":["Inferring negative information from disjunctive databases"],"prefix":"10.1007","volume":"4","author":[{"given":"Kenneth A.","family":"Ross","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodney W.","family":"Topor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. R. Apt","year":"1988","unstructured":"Apt, K. R., Blair, H. A., and Walker, A., ?Towards a Theory of Declarative Knowledge?, in Foundations of Deductive Databases and Logic Programming, Minker, J. (ed.), Morgan Kaufmann, Los Altos, Ca., 1988, 89?148."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Bancilhon, F. and Ramakrishnan, R., ?An Amateur's Introduction to Recursive Query Processing Strategies?, Proc. ACM Int. Conf. on Management of Data, Washington, D.C., 1986, 16?52.","DOI":"10.1145\/16894.16859"},{"issue":"1","key":"CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(85)90002-0","volume":"2","author":"A. K. Chandra","year":"1985","unstructured":"Chandra, A. K. and Harel, D., ?Horn Clause Queries and Generalizations?, J. Logic Programming 2, 1 (1985) 1?15.","journal-title":"J. Logic Programming"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. L. Clark","year":"1978","unstructured":"Clark, K. L., ?Negation as Failure?, in Logic and Data Bases, Gallaire, H. and J.Minker (eds), Plenum Press, New York, 1978, 293?322."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Przymusinska, H., and Przymusinski, T. C., ?The Extended Closed World Assumption and its Relationship to Parallel Circumscription?, Proc. Fifth ACM Symp. on Principles of Database Systems, Cambridge, Mass., 1986, 133?139.","DOI":"10.1145\/6012.15410"},{"key":"CR6","volume-title":"On the Relationship between Circumscription and Negation as Failure","author":"M. Gelfond","year":"1986","unstructured":"Gelfond, M., Przymusinska, H., and Przymusinski, T. C., ?On the Relationship between Circumscription and Negation as Failure?, manuscript, Department of Mathematical Sciences, University of Texas, El Paso, Texas, 1986. To appear hin Artificial Intelligence."},{"key":"CR7","unstructured":"Grant, J. and Minker, J., ?Answering Queries in Indefinite Databases and the Null Value Problem?, in Advances in Computing Research, Vol. 3, JAI Press, 1986, 247?267."},{"key":"CR8","first-page":"395","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"L. J. Henschen","year":"1987","unstructured":"Henschen, L. J. and Park, H.-S., ?Compiling the GCWA in Indefinite Deductive Databases?, in Foundations of Deductive Databases and Logic Programming, Minker, J. (ed.), Morgan Kaufmann, Los Altos, Ca., 1987, 395?438."},{"key":"CR9","series-title":"Symbolic Computation Series","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":"Lloyd, J. W., Foundations of Logic Programming, 2nd edition, Symbolic Computation Series, Springer-Verlag, Berlin, 1987.","edition":"2nd edition"},{"issue":"2","key":"CR10","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"J. W. Lloyd","year":"1985","unstructured":"Lloyd, J. W. and Topor, R. W., ?A Basis for Deductive Database Systems?, J. Logic Programming 2, 2 (1985), 93?109.","journal-title":"J. Logic Programming"},{"issue":"1","key":"CR11","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0743-1066(86)90004-X","volume":"3","author":"J. W. Lloyd","year":"1986","unstructured":"Lloyd, J. W. and Topor, R. W., ?A Basis for Deductive Database Systems II?, J. Logic Programming 3, 1 (1986), 55?67.","journal-title":"J. Logic Programming"},{"issue":"4","key":"CR12","doi-asserted-by":"crossref","first-page":"646","DOI":"10.1145\/322276.322278","volume":"28","author":"D. W. Loveland","year":"1981","unstructured":"Loveland, D. W. and Reddy, C. R., ?Deleting Repeated Goals in the Problem Reduction Format?, J. ACM 28, 4 (1981), 646?661.","journal-title":"J. ACM"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Minker, J., ?On Indefinite Databases and the Closed World Assumption?, in 6th Conf. on Automated Deduction, Loveland, D. W. (ed.), Lecture Notes in Computer Science 138, Springer-Verlag, 1982, 292?308.","DOI":"10.1007\/BFb0000066"},{"issue":"4","key":"CR14","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0743-1066(85)80002-9","volume":"2","author":"J. Minker","year":"1985","unstructured":"Minker, J. and Perlis, D., ?Computing Protected Circumscription?, J. Logic Programming 2, 4 (1985), 235?249.","journal-title":"J. Logic Programming"},{"issue":"8","key":"CR15","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/988346.988350","volume":"20","author":"D. Poole","year":"1985","unstructured":"Poole, D. and Goebel, R., ?On Eliminating Loops in Prolog?, ACM SIGPLAN Notices 20, 8 (1985), 38?40.","journal-title":"ACM SIGPLAN Notices"},{"key":"CR16","volume-title":"An Algorithm to Compute Circumscription","author":"T. C. Przymusinski","year":"1986","unstructured":"Przymusinski, T. C., ?An Algorithm to Compute Circumscription?, manuscript, Department of Mathematical Sciences, University of Texas, El Paso, Texas, 1986. To appear in Artificial Intelligence."},{"key":"CR17","volume-title":"On the Declarative and Procedural Semantics of Logic Programs","author":"T. C. Przymusinski","year":"1987","unstructured":"Przymusinski, T. C., ?On the Declarative and Procedural Semantics of Logic Programs?, manuscript, Department of Mathematical Sciences, University of Texas, El Paso, Texas, 1987. To appear in J. Logic Programming."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"T. C. Przymusinski","year":"1988","unstructured":"Przymusinski, T. C., ?On the Declarative Semantics of Deductive Databases and Logic Programs?, in Foundations of Deductive Databases and Logic Programming, Minker, J. (ed.), Morgan Kaufmann, Los Altos, Ca., 1988, 193?216."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"Reiter, R., ?On Closed World Data bases?, in Logic and Data Bases, Gallaire, H. and Minker, J. (eds) Plenum Press, New York, 1978, 55?76."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-1-4612-5196-5_8","volume-title":"On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages","author":"R. Reiter","year":"1984","unstructured":"Reiter, R., ?Towards a Logical Reconstruction of Relational Database Theory?, in On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, Brodie, M. L., Mylopoulos, J., and Schmidt, J. W. (eds), Springer-Verlag, Berlin, 1984, 191?233."},{"key":"CR21","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":"J. C. Shepherdson","year":"1988","unstructured":"Shepherdson, J. C., ?Negation in Logic Programming?, in Foundations of Deductive Databases and Logic Programming, Minker, J. (ed.), Morgan Kaufmann, Los Altos, Ca., 1988, 19?88."},{"issue":"4","key":"CR22","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"vanEmden, M. H. and Kowalski, R. A., ?The Semantics of Predicate Logic as a Programming Language?, J. ACM 23, 4 (1976), 733?742.","journal-title":"J. ACM"},{"key":"CR23","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00244994","volume":"1","author":"A. Yahya","year":"1985","unstructured":"Yahya, A. and Henschen, L. J., ?Deduction in Non-Horn Databases?, J. Automated Reasoning 1 (1985), 141?160. Errata: J. Automated Reasoning 4 (1988) 109?110.","journal-title":"J. Automated Reasoning"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00297247.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00297247\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00297247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T20:12:53Z","timestamp":1554754373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00297247"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,12]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1988,12]]}},"alternative-id":["BF00297247"],"URL":"https:\/\/doi.org\/10.1007\/bf00297247","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,12]]}}}