{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:47:28Z","timestamp":1749124048009,"version":"3.32.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"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":[[1994]]},"DOI":"10.1007\/bf00881914","type":"journal-article","created":{"date-parts":[[2004,12,25]],"date-time":"2004-12-25T20:34:58Z","timestamp":1104006898000},"page":"117-143","source":"Crossref","is-referenced-by-count":12,"title":["Ordered model trees: A normal form for disjunctive deductive databases"],"prefix":"10.1007","volume":"13","author":[{"given":"Adnan","family":"Yahya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\ufffd Alberto","family":"Fern\ufffdndez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jack","family":"Minker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C. L. Chang","year":"1973","unstructured":"Chang, C. L. and Lee, R. C. T.:Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis, M. and Putnam, H.: A computing procedure for quantification theory,J. ACM 7 (1960), 201?215.","journal-title":"J. ACM"},{"key":"CR3","unstructured":"Fern\u00e1ndez, J. A., Minker J., and Yahya, A.: Computing perfect and stable models using ordered model trees, Preprint, 1993."},{"issue":"3?4","key":"CR4","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/BF01530802","volume":"8","author":"J. A. Fernandez","year":"1993","unstructured":"Fernandez, J. A., Lobo, J., Minker, J., and Subrahmanian, V. S.: Disjunctive LP + integrity constraints ? stable model semantics,Annals of Mathematics and Artificial Intelligence 8(3?4) (1993), 449?474.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"CR5","unstructured":"Fernandez, J. A. and Minker, J.: Bottom-up evaluation of Hierarchical Disjunctive Deductive Databases, in Koichi Furukawa (ed.),Logic Programming Proceedings of the Eighth International Conference, MIT Press, 1991, pp. 660?675."},{"key":"CR6","unstructured":"Fernandez, J. A. and Minker, J.: Bottom-up computation of perfect models for disjunctive theories. Presented at the ILPS'91 Workshop on Disjunctive Logic Programs, San Diego, California, 1991."},{"key":"CR7","unstructured":"Gelfond, M. and Lifschitz, V.: The Stable Model Semantics for Logic Programming, in R. A. Kowalski and K. A. Bowen (eds.),Proc. 5th Int. Conf. and Symp. on Logic Programming, Seattle, Washington, 1988, pp. 1070?1080."},{"issue":"1","key":"CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/77643.77644","volume":"15","author":"K.-C. Liu","year":"1990","unstructured":"Liu, K.-C. and Sunderraman, R.: Indefinite and maybe information in relational databases,ACM Transactions on Database Systems 15(1) (1990), 1?39.","journal-title":"ACM Transactions on Database Systems"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Liu, K.-C. and Sunderraman, R.: On representing indefinite and maybe information in relational databases: A generalization, inProc. of IEEE Data Engineering, Los Angeles, 1990, pp. 495?502.","DOI":"10.1109\/ICDE.1990.113503"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Minker, J.: On indefinite databases and the closed world assumption, inLecture Notes in Computer Science 138, Springer-Verlag, 1982, pp. 292?308.","DOI":"10.1007\/BFb0000066"},{"key":"CR11","unstructured":"Przymusinski, T. C.: Perfect Model Semantics, in R. A. Kowalski and K. A. Bowen (eds.),Proc. 5th Int. Conf. and Symp. on Logic Programming, Seattle, Washington, 1988, pp. 1081?1096."},{"key":"CR12","first-page":"510","volume":"6","author":"P. Purdom","year":"1084","unstructured":"Purdom, P.: Solving satisfiability problems with less searching,IEEE Transactions on Pattern Analysis and Machine Intelligence 6 (1084), 510?515.","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"CR13","unstructured":"Suchenek, M. A.: Minimal models for closed world databases, in Z. W. Ras (ed.),Proc. of ISMIS 4, Elsevier, 1989, pp. 515?522."},{"key":"CR14","unstructured":"Suchenek, M. A. and Sunderraman, R.: Minimal models for closed world databases with views, in Z. W. Ras and M. Zemankova (eds.),Proc. of ISMIS 5, Elsevier, 1990, pp. 182?193."},{"issue":"2","key":"CR15","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,J. Automated Reasoning 1(2) (1985), 141?160.","journal-title":"J. Automated Reasoning"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Yuan, L. Y. and Chiang, D.-A.: A sound and complete query evaluation algorithm for relational databases with disjunctive information inProc. 8h Symp. on Principles of Database Systems, ACM Press, 1989, pp. 66?74.","DOI":"10.1145\/73721.73727"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881914.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881914\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881914","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,21]],"date-time":"2024-12-21T17:47:44Z","timestamp":1734803264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881914"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF00881914"],"URL":"https:\/\/doi.org\/10.1007\/bf00881914","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[1994]]}}}