{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:59:48Z","timestamp":1742403588966},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411314"},{"type":"electronic","value":"9783540400066"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40006-0_5","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T13:41:54Z","timestamp":1186839714000},"page":"57-72","source":"Crossref","is-referenced-by-count":17,"title":["Hybrid Probabilistic Logic Programs as Residuated Logic Programs"],"prefix":"10.1007","author":[{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,9,19]]},"reference":[{"key":"5_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":"5_CR2","unstructured":"C. V. Dam\u00e1sio and L. M. Pereira. Residuated logic programs. Technical report, Universidade Nova de Lisboa, 2000. Available at http:\/\/centria.di.fct.unl.pt\/~cd."},{"key":"5_CR3","unstructured":"A. Dekhtyar, M. Dekhtyar, and V. S. Subrahmanian. Hybrid probabilistic programs: Algorithms and complexity. In Proc. of 1999 Conference on Uncertainty in AI, 1999."},{"key":"5_CR4","doi-asserted-by":"publisher","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\u2013250, 2000.","journal-title":"J. of Logic Programming"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"335","DOI":"10.2307\/1990008","volume":"45","author":"R. P. Dilworth","year":"1939","unstructured":"R. P. Dilworth and M. Ward. Residuated lattices. Trans. A.M.S., 45:335\u2013354, 1939.","journal-title":"Trans. A.M.S."},{"key":"5_CR6","doi-asserted-by":"publisher","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\u2013244, 1991.","journal-title":"Fuzzy Sets and Systems"},{"key":"5_CR7","unstructured":"D. Dubois, J. Lang, and H. Prade. Towards possibilistic logic programming. In International Conference on Logic Programming 1991, pages 581\u2013598. MIT Press, 1991."},{"key":"5_CR8","unstructured":"J. H. Gallier. Logic for Computer Science. John Wiley & Sons, 1987."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"P. H\u00b7jek. Metamathematics of Fuzzy Logic. Trends in Logic. Studia Logica Library. Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"5_CR10","doi-asserted-by":"publisher","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\u2013367, 1992.","journal-title":"J. of Logic Programming"},{"key":"5_CR11","unstructured":"R. Kowalski. Predicate logic as a programming language. In Proceedings of IFIP\u201974, pages 569\u2013574. North Holland Publishing Company, 1974."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987. 2nd. edition.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"5_CR13","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"},{"issue":"23","key":"5_CR14","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"4","author":"M. Emden van","year":"1976","unstructured":"M. van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of ACM, 4(23):733\u2013742, 1976.","journal-title":"Journal of ACM"},{"key":"5_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/3-540-60983-0_20","volume-title":"Soundness and completeness of non-classical extended SLD-resolution","author":"P. Vojt\u00b7s","year":"1996","unstructured":"P. Vojt\u00b7s and L. Paul\u00edk. Soundness and completeness of non-classical extended SLD-resolution. InProc. of theWs. on Extensions of Logic Programming (ELP\u201996), pages 289\u2013301. LNCS 1050, Springer-Verlag., 1996."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40006-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T23:22:51Z","timestamp":1556752971000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40006-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411314","9783540400066"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-40006-0_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}