{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T04:32:22Z","timestamp":1649219542077},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1990,6,1]],"date-time":"1990-06-01T00:00:00Z","timestamp":644198400000},"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":[[1990,6]]},"DOI":"10.1007\/bf00245816","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T05:54:20Z","timestamp":1096437260000},"page":"147-172","source":"Crossref","is-referenced-by-count":2,"title":["Protected completions of first-order general logic programs"],"prefix":"10.1007","volume":"6","author":[{"given":"James J.","family":"Lu","sequence":"first","affiliation":[]},{"given":"V. S.","family":"Subrahmanian","sequence":"additional","affiliation":[]}],"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?, in Foundations of Deductive Databases and Logic Programming (ed. Jack Minker), Morgan-Kauffmann (1988).","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Barbuti, R. and Martelli, M., ?Completeness of the SLDNF-resolution for a class of logic programs?, Proc. 3rd Int. Conf. on Logic Prog., LNCS 225, pp. 600?614, Springer-Verlag (1986).","DOI":"10.1007\/3-540-16492-8_109"},{"key":"CR3","unstructured":"Barbuti, R. and Martelli, M., ?Programming in a generally functional style to design logic databases?, unpublished manuscript (1986)."},{"key":"CR4","unstructured":"Cavedon, L. and Lloyd, J. W., ?Completeness results for SLDNF-resolution?, Tech. Rep. 87\/9, Dept of Computer Science, Melbourne University, to appear in J. Logic Programming."},{"issue":"4","key":"CR5","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. C. Fitting","year":"1985","unstructured":"Fitting, M. C., ?A Kripke-Kleene semantics for logic programs?, J. Logic Programming 2, 4, 295?312 (1985).","journal-title":"J. Logic Programming"},{"issue":"1","key":"CR6","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1305\/ndjfl\/1093636525","volume":"27","author":"M. C. Fitting","year":"1986","unstructured":"Fitting, M. C., ?Notes on the mathematical aspects of Kripke's theory of truth?, Notre Dame J. Formal Logic 27, 1, 75?88 (1986).","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0743-1066(86)90020-8","volume":"2","author":"J. Jaffar","year":"1986","unstructured":"Jaffar, J. and Stuckey, P. J., ?Canonical logic programs?, J. Logic Programming 2, 143?155 (1986).","journal-title":"J. Logic Programming"},{"key":"CR8","unstructured":"Kunen, K., ?Signed data dependencies in logic programs?, to appear in J. Logic Programming."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W., Foundations of Logic Programming, Springer-Verlag (1984).","DOI":"10.1007\/978-3-642-96826-6"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W. and Topor R., ?A basis for deductive database systems?, J. Logic Programming 2 (1984).","DOI":"10.1016\/0743-1066(85)90013-5"},{"key":"CR11","first-page":"115","volume":"39","author":"J.-L. Lassez","year":"1985","unstructured":"Lassez, J.-L. and Maher, M., ?Optimal fixed-points of logic programs?, Theor. Comp. Sci. 39, 115?125 (1985).","journal-title":"Theor. Comp. Sci."},{"key":"CR12","first-page":"169","volume":"5","author":"J. Lukasiewicz","year":"1920","unstructured":"Lukasiewicz, J., ?O logice trojwartosciowej?, Ruch Filozoficzny 5, 169?170 (1920).","journal-title":"Ruch Filozoficzny"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Maher, M., ?Equivalences of logic programs?, in Foundations of Deductive Databases and Logic Programming (ed. Jack Minker), Morgan-Kauffmann (1988).","DOI":"10.1016\/B978-0-934613-40-8.50020-8"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Minker, J. and Perlis, D., ?Applications of protected circumscription?, Proc. 7th Conf. on Automated Deduction, LNCS 170, pp. 414?425, Springer-Verlag (1984).","DOI":"10.1007\/978-0-387-34768-4_24"},{"issue":"4","key":"CR15","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, 235?249 (1985).","journal-title":"J. Logic Programming"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"163","DOI":"10.2307\/2370324","volume":"43","author":"E. Post","year":"1921","unstructured":"Post, E., ?Introduction to a general theory of elementary propositions?, Amer. J. Math. 43, 163?185 (1921).","journal-title":"Amer. J. Math."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"481","DOI":"10.2307\/2024549","volume":"63","author":"B. C. Frassen Van","year":"1966","unstructured":"VanFrassen, B. C., ?Singular terms, truth-value gaps, and free logic?, J. Philosophy 63, 481?485 (1966).","journal-title":"J. Philosophy"},{"key":"CR18","unstructured":"Wallace, M., ?Computable semantics for general logic programs?, to appear in J. Logic Programming."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00245816.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00245816\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00245816","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T06:58:10Z","timestamp":1585897090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00245816"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,6]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1990,6]]}},"alternative-id":["BF00245816"],"URL":"https:\/\/doi.org\/10.1007\/bf00245816","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,6]]}}}