{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,21]],"date-time":"2024-12-21T19:40:12Z","timestamp":1734810012831,"version":"3.32.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","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\/bf00881796","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T07:36:06Z","timestamp":1104132966000},"page":"345-370","source":"Crossref","is-referenced-by-count":0,"title":["Interpreting disjunctive logic programs based on a strong sense of disjunction"],"prefix":"10.1007","volume":"10","author":[{"given":"James J.","family":"Lu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monica D.","family":"Barback","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lawrence J.","family":"Henschen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Apt, K. R., Blair, H. A. and Walker, A., ?Towards a theory of declarative knowledge? inFoundations of Deductive Databases and Logic Programming (ed. J. Minker), 1988.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF02341854","volume":"8","author":"C. Baral","year":"1992","unstructured":"Baral, C. and Subrahmanian, V. S., ?Stable and extension class theory for logic programs and default logics,Journal of Automated Reasoning 8, 345?366 (1992).","journal-title":"Journal of Automated Reasoning"},{"key":"CR3","unstructured":"Barback, M., Lobo, J. and Lu, J. J., The non-monotonic nature of a class of incomplete information?, inProceedings of the 4th International Conference on Database Theory, Springer, 1992."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H. A. Blair","year":"1989","unstructured":"Blair, H. A. and Subrahmanian, V. S., ?Paraconsistent logic programming?,Theoretical Computer Science,68, 135?154 (1989).","journal-title":"Theoretical Computer Science"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. Clark","year":"1978","unstructured":"Clark, K., ?Negation as failure?, inLogic and Data Bases (eds. H. Gallaire and J. Minker), Plenum Press, New York, NY, 1978, pp. 293?322."},{"key":"CR6","unstructured":"Gelfond, M. and Lifschitz, V., ?The stable model semantics for logic programming?, inProceedings of the 5th International Conference on Logic Programming, 1988, pp. 1070?1080."},{"key":"CR7","unstructured":"Gelfond, M. and Lifschitz, V., ?Logic programs with classical negation?, inProceedings of the 7th International Conference on Logic Programming, 1990, pp. 579?597."},{"key":"CR8","unstructured":"Gottlob, G. and Zicari, R., ?Closed world databases opened through null values?, inProceedings of the 14th VLDB, 1988, pp. 50?61."},{"key":"CR9","unstructured":"Grant, J. and Subrahmanian, V. S., ?Reasoning in inconsistent knowledge bases?,Technical Report CS-TR-2532, University of Maryland, 1990."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Kifer, M. and Lozinskii, E., ?RI: A logic for reasoning with inconsistency?, inIEEE Symposium on Logic in Computer Science, 1989, pp. 253?262.","DOI":"10.1109\/LICS.1989.39180"},{"key":"CR11","unstructured":"Kifer, M. and Subrahmanian, V. S., ?On the expressive power of annotated logics?, inProceedings of the 7th International Conference on Logic Programming, 1990."},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Lobo, J., Minker, J. and Rajasekar, A.,Foundations of Disjunctive Logic Programming, MIT Press, 1992.","DOI":"10.1016\/B978-0-12-450010-5.50022-0"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W.,Foundations of Logic Programming, Springer, 1988.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"CR14","unstructured":"McCarty, L. T. and van der Meyden, R., ?Indefinite reasoning with definite rules?, inProceedings IJCAI, 1991, 890?896."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Minker, J., ?On indefinite databases and the closed world assumption?, inProceedings of the 6th International Conference on Automated Deduction, Springer, 1982, pp. 292?308.","DOI":"10.1007\/BFb0000066"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Minker, J. and Perlis, D., ?Applications of protected circumscription?, inProceedings of the 7th International Conference on Automated Deduction, Springer, 1984, pp. 414?425.","DOI":"10.1007\/978-0-387-34768-4_24"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0743-1066(90)90033-2","volume":"9","author":"J. Minker","year":"1990","unstructured":"Minker, J. and Rajasekar, A., ?A fixpoint semantics for disjunctive logic programs?,Journal of Logic Programming 9, 45?74 (1990).","journal-title":"Journal of Logic Programming"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00881836","volume":"10","author":"R. Ng","year":"1993","unstructured":"Ng, R. and Subrahmanian, V. S., ?A semantical framework for supporting subjective and conditional probabilities in deductive databases?,Journal of Automated Reasoning 10, 191?235 (1993).","journal-title":"Journal of Automated Reasoning"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF00248321","volume":"5","author":"A. Rajasekar","year":"1989","unstructured":"Rajasekar, A., Lobo, J. and Minker, J. ?Weak generalized closed world assumption?,Journal of Automated Reasoning 5, 293?307 (1989).","journal-title":"Journal of Automated Reasoning"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(89)90027-1","volume":"39","author":"G. Priest","year":"1989","unstructured":"Priest, G., ?Reasoning about truth?,Artificial Intelligence 39, 231?244 (1989).","journal-title":"Artificial Intelligence"},{"key":"CR21","unstructured":"Read, S.,Relevant Logic, Basil Blackwell, 1989."},{"key":"CR22","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, inLogic and Data Bases (eds. H. Gallaire and J. Minker), Plenum Press, New York, 1978, pp. 55?76."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R., ?A logic for default reasoning,Artificial Intelligence 13, 81?132 (1980).","journal-title":"Artificial Intelligence"},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"Ross, K. A. and Topor, R. W., ?Inferring negative information from disjunctive databases?,Technical Report, University of Melbourne, 1988.","DOI":"10.1007\/BF00297247"},{"issue":"3","key":"CR25","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K. A. and Schlipf, J. S., ?The well-founded semantics for general logic programs,J. ACM,38(3), 62?650 (1991).","journal-title":"J. ACM"},{"key":"CR26","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?,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\/BF00881796.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881796\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,21]],"date-time":"2024-12-21T19:05:09Z","timestamp":1734807909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881796"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF00881796"],"URL":"https:\/\/doi.org\/10.1007\/bf00881796","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[1993]]}}}