{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:07Z","timestamp":1761611107470,"version":"3.43.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1023\/a:1020582126389","type":"journal-article","created":{"date-parts":[[2003,3,18]],"date-time":"2003-03-18T15:12:43Z","timestamp":1048000363000},"page":"113-138","source":"Crossref","is-referenced-by-count":7,"title":["Hybrid Probabilistic Logic Programs as Residuated Logic Programs"],"prefix":"10.1007","volume":"72","author":[{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5106688_CR1","doi-asserted-by":"crossref","unstructured":"L. Bolc and P. Borowik. Many-Valued Logics. Theoretical Foundations. Springer-Verlag, 1992.","DOI":"10.1007\/978-3-662-08494-6"},{"key":"5106688_CR2","doi-asserted-by":"crossref","unstructured":"C. V. Dam\u00e1sio and L. M. Pereira. Hybrid probabilistic logic programs as residuated logic programs. In M. Ojeda-Aciego, I. P. de Guzm\u00e1n, G. Brewka, and L. M. Pereira, editors, Logics in AI, Proceedings of JELIA'00, pages 57-72, M\u00e1laga, Spain, September 2000. LNAI 1919, Springer-Verlag.","DOI":"10.1007\/3-540-40006-0_5"},{"key":"5106688_CR3","doi-asserted-by":"crossref","unstructured":"C. V. Dam\u00e1sio and L. M. Pereira. Antitonic logic programs. In T. Eiter and M. Truszczynski, editors, Procs. of the 6th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), LNAI 2173, pg. 379-392. Springer, 2001.","DOI":"10.1007\/3-540-45402-0_28"},{"key":"5106688_CR4","doi-asserted-by":"crossref","unstructured":"C. V. Dam\u00e1sio and L. M. Pereira. Monotonic and residuated logic programs. In S. Benferhat and P. Besnard, editors, 6th European Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'01), LNAI 2143, pg. 748-759. Springer, 2001.","DOI":"10.1007\/3-540-44652-4_66"},{"key":"5106688_CR5","unstructured":"A. Dekhtyar, M. Dekhtyar, and V. S. Subrahmanian. Hybrid probabilistic programs: Algorithms and complexity. In Proc. of 1999 Conf. on Uncertainty in AI, 1999."},{"key":"5106688_CR6","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0743-1066(99)00059-X","volume":"43","author":"A. Dekhtyar","year":"2000","unstructured":"A. Dekhtyar and V. S. Subrahmanian. Hybrid probabilistic programs. J. of Logic Programming, 43:187-250, 2000.","journal-title":"J. of Logic Programming"},{"key":"5106688_CR7","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0165-0114(91)90051-Q","volume":"40","author":"D. Dubois","year":"1991","unstructured":"D. Dubois, J. Lang, and H. Prade. Fuzzy sets in approximate reasoning, part 2: Logical approaches. Fuzzy Sets and Systems, 40:203-244, 1991.","journal-title":"Fuzzy Sets and Systems"},{"key":"5106688_CR8","unstructured":"D. Dubois, J. Lang, and H. Prade. Towards possibilistic logic programming. In International Conference on Logic Programming 1991, pages 581-598. MIT Press, 1991."},{"key":"5106688_CR9","unstructured":"J. H. Gallier. Logic for Computer Science. John Wiley & Sons, 1987."},{"key":"5106688_CR10","doi-asserted-by":"crossref","unstructured":"P. H\u00e1jek. Metamathematics of Fuzzy Logic. Trends in Logic. Studia Logica Library. Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"5106688_CR11","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"M. Kifer and V. S. Subrahmanian. Theory of generalized annotated logic programming and its applications. J. of Logic Programming, 12:335-367, 1992.","journal-title":"J. of Logic Programming"},{"key":"5106688_CR12","unstructured":"R. Kowalski. Predicate logic as a programming language. In Proceedings of IFIP'74, pages 569-574. North Holland Publishing Company, 1974."},{"issue":"1","key":"5106688_CR13","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1017\/S1471068400001058","volume":"1","author":"L. V. S. Lakshmanan","year":"2001","unstructured":"L. V. S. Lakshmanan and F. Sadri. On a theory of probabilistic deductive databases. Theory and Practice of Logic Programming, 1(1):5-42, 2001.","journal-title":"Theory and Practice of Logic Programming"},{"key":"5106688_CR14","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"5106688_CR15","doi-asserted-by":"crossref","unstructured":"J. Medina, M. Ojeda-Aciego, and P. Vojtas. Multi-adjoint logic programming with continuous semantics. In T. Eiter and M. Truszczynski, editors, Procs. of the 6th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), LNAI 2173, pg. 351-364. Springer, 2001.","DOI":"10.1007\/3-540-45402-0_26"},{"key":"5106688_CR16","doi-asserted-by":"crossref","unstructured":"J. Pavelka. On fuzzy logic I, II, III. Zeitschr. f. Math. Logik und Grundl. der Math., 25, 1979.","DOI":"10.1002\/malq.19790252510"},{"key":"5106688_CR17","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1016\/0025-5564(75)90047-4","volume":"23","author":"E. H. Shortlife","year":"1975","unstructured":"E. H. Shortlife and B. G. Buchanan. A model of inexact reasoning in medicine. Math. Biosci, 23:351-379, 1975.","journal-title":"Math. Biosci"},{"key":"5106688_CR18","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1986."},{"key":"5106688_CR19","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"A. Tarski. A lattice-theoretic fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285-309, 1955.","journal-title":"Pacific Journal of Mathematics"},{"issue":"23","key":"5106688_CR20","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"4","author":"M. van Emden","year":"1976","unstructured":"M. van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of ACM, 4(23):733-742, 1976.","journal-title":"Journal of ACM"},{"key":"5106688_CR21","doi-asserted-by":"crossref","unstructured":"P. Vojt\u00e1s and L. Paul\u00edk. Soundness and completeness of non-classical extended SLD-resolution. In Proc. of the Ws. on Extensions of Logic Programming (ELP'96), pages 289-301. LNCS 1050, Springer-Verlag., 1996.","DOI":"10.1007\/3-540-60983-0_20"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020582126389.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1020582126389\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020582126389.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:24:52Z","timestamp":1754630692000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1020582126389"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["5106688"],"URL":"https:\/\/doi.org\/10.1023\/a:1020582126389","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2002,10]]}}}