Hybrid probabilistic logic programs as residuated logic programs

Studia Logica

Volumn 72, Issue 1, 2002, Pages 113-138

  Damásio, Carlos Viegas ^a   Pereira, Luís Moniz ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Fuzzy logic; Logic Programming; Probabilistic Logic Programming

Indexed keywords

EID: 22944470420     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1020582126389     Document Type: Article

References (21)

1. L. Bolc and P. Borowik. Many-Valued Logics. Theoretical Foundations. Springer-Verlag, 1992.
2. C. V. Damásio and L. M. Pereira. Hybrid probabilistic logic programs as residuated logic programs. In M. Ojeda-Aciego, I. P. de Guzmán, G. Brewka, and L. M. Pereira, editors, Logics in AI, Proceedings of JELIA '00, pages 57-72, Málaga, Spain, September 2000. LNAI 1919, Springer-Verlag.
3. C. V. Damásio 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.
4. C. V. Damásio 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.
5. A. Dekhtyar, M. Dekhtyar, and V. S. Subrahmanian. Hybrid probabilistic programs: Algorithms and complexity. In Proc. of 1999 Conf. on Uncertainty in AI, 1999.
6. A. Dekhtyar and V. S. Subrahmanian. Hybrid probabilistic programs. J. of Logic Programming, 43:187-250, 2000.
7. D. Dubois, J. Lang, and H. Prade. Fuzzy sets in approximate reasoning, part 2: Logical approaches. Fuzzy Sets and Systems, 40:203-244, 1991.
8. D. Dubois, J. Lang, and H. Prade. Towards possibilistic logic programming. In International Conference on Logic Programming 1991, pages 581-598. MIT Press, 1991.
9. J. H. Gallier. Logic for Computer Science. John Wiley & Sons, 1987.
10. P. Hájek. Metamathematics of Fuzzy Logic. Trends in Logic. Studia Logica Library. Kluwer Academic Publishers, 1998.
11. M. Kifer and V. S. Subrahmanian. Theory of generalized annotated logic programming and its applications. J. of Logic Programming, 12:335-367, 1992.
12. R. Kowalski. Predicate logic as a programming language. In Proceedings of IFIP'74, pages 569-574. North Holland Publishing Company, 1974.
13. 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.
14. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.
15. 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.
16. J. Pavelka. On fuzzy logic I, II, III. Zeitschr. f. Math. Logik und Grundl. der Math., 25, 1979.
17. E. H. Shortlife and B. G. Buchanan. A model of inexact reasoning in medicine. Math. Biosci, 23:351-379, 1975.
18. L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1986.
19. A. Tarski. A lattice-theoretic fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285-309, 1955.
20. M. van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of ACM, 4(23):733-742, 1976.
21. P. Vojtás and L. Paulik. 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.