{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T01:08:52Z","timestamp":1782263332833,"version":"3.54.5"},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"value":"354019343X","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012824","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T01:12:39Z","timestamp":1132708359000},"page":"81-100","source":"Crossref","is-referenced-by-count":2,"title":["Query processing in quantitative logic programming"],"prefix":"10.1007","author":[{"given":"V. S.","family":"Subrahmanian","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Apt,K.,Blair,H., Walker,A. \u201cTowards a Theory of Declarative Knowledge\u201d, to appear, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"5_CR2","unstructured":"Blair, H.A., Brown, A.L., Subrahmanian, V.S. \u201cA Logic Programming Semantics Scheme, Part I\u201d, Logic Programming Research Group Tech. Report LPRG-TR-88-8, Syracuse University."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Blair,H.A., Subrahmanian,V.S. \u201cParaconsistent Logic Programming\u201d, Proc. 7th Intl. Conf. on Foundations of Software Tech. & Theoretical Computer Science, Lecture Notes in Computer Science Vol. 287, pps 340\u2013360, Springer Verlag, Dec. 1987.","DOI":"10.1007\/3-540-18625-5_59"},{"key":"5_CR4","unstructured":"Blair,H.A., Subrahmanian,V.S. \u201cFoundations of Generally Horn Logic Programming\u201d,in preparation."},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N.C.A. Costa da","year":"1974","unstructured":"da Costa, N.C.A. \u201cOn the Theory of Inconsistent Formal Systems\u201d, Notre Dame J. of Formal Logic, 15, pps 497\u2013510, 1974.","journal-title":"Notre Dame J. of Formal Logic"},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1305\/ndjfl\/1093888132","volume":"18","author":"N.C.A. Costa da","year":"1977","unstructured":"da Costa, N.C.A. \u201cA Semantical Analysis of the Calculi C n \u201d, Notre Dame J. of Formal Logic, 18, pps 621\u2013630, 1977.","journal-title":"Notre Dame J. of Formal Logic"},{"key":"5_CR7","first-page":"185","volume":"10","author":"N.C.A. Costa da","year":"1981","unstructured":"da Costa, N.C.A., Alves, E.H. \u201cRelations between Paraconsistent Logic and Many Valued Logic\u201d, Bull. of the Section of Logic, 10,pps 185\u2013191, 1981.","journal-title":"Bull. of the Section of Logic"},{"issue":"4","key":"5_CR8","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"Fitting, M. \u201cA Kripke-Kleene semantics for logic programs\u201d, J. of Logic Programming, 2,4, pps 295\u2013312, 1985.","journal-title":"J. of Logic Programming"},{"issue":"1","key":"5_CR9","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1305\/ndjfl\/1093636525","volume":"27","author":"M. Fitting","year":"1986","unstructured":"Fitting, M. \u201cNotes on the Mathematical Aspects of Kripke's Theory of Truth\u201d, Notre Dame J. of Formal Logic, 27, 1, pps 75\u201388, 1986.","journal-title":"Notre Dame J. of Formal Logic"},{"key":"5_CR10","unstructured":"Lloyd,J.W. \u201cFoundations of Logic Programming\u201d, Springer."},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0304-3975(85)90128-8","volume":"39","author":"J.-L. Lassez","year":"1985","unstructured":"Lassez, J.-L.,Maher, M. \u201cOptimal Fixed-points of Logic Programs\u201d, Theoret. Comput. Sci., 39, pps 115\u2013125, 1985.","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR12","unstructured":"Subrahmanian,V.S. \u201cOn the Semantics of Quantitative Logic Programs\u201d, Proc. 4th IEEE Symp. on Logic Prog., pps 173\u2013182, San Francisco, Sep. 1987."},{"key":"5_CR13","unstructured":"Subrahmanian,V.S. \u201cTowards a Theory of Evidential Reasoning in Logic Programming\u201d, Logic Colloquium '87, Granada, Spain, July 1987."},{"issue":"1","key":"5_CR14","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"4","author":"M.H. Emden Van","year":"1986","unstructured":"Van Emden, M.H. \u201cQuantitative Deduction and its Fixpoint Theory\u201d, J. of Logic Prog., 4,1, pps 37\u201353, 1986.","journal-title":"J. of Logic Prog."}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0012824","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:24:06Z","timestamp":1586564646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012824"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0012824","relation":{},"subject":[]}}