Hybrid probabilistic logic programs as residuated logic programs

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1919, Issue , 2000, Pages 57-72

  Damasio, Carlos Viegas ^a   Pereira, Luis Moniz ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FUZZY LOGIC; PROBABILISTIC LOGICS; SEMANTICS;

ANNOTATED LOGIC PROGRAMS; LOGIC PROGRAMMING SEMANTICS; POSSIBILISTIC LOGIC; PROBABILISTIC LOGIC PROGRAMS; PROBABILISTIC REASONING; RESIDUATED LOGIC;

LOGIC PROGRAMMING;

EID: 84943193176     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-40006-0_5     Document Type: Conference Paper

References (15)

1. L.Bolc and P.Borowik.Many-Valued Logics.Theoretical Foundations.Springer-Verlag, 1992.
2. C.V.Damsio and L.M.Pereira.Residuated logic programs.Technical report, Universidade Nova de Lisboa, 2000.Available at http://centria.di.fct.unl.pt/?cd.
3. A.Dekhtyar, M.Dekhtyar, and V.S.Subrahmanian.Hybrid probabilistic programs: Algorithms and complexity.In Proc.of 1999 Conference on Uncertainty in AI, 1999.
4. A.Dekhtyar and V.S.Subrahmanian.Hybrid probabilistic programs.J.of Logic Programming, 43:187-250, 2000.
5. R.P.Dilworth and M.Ward.Residuated lattices.Trans.A.M.S., 45:335-354, 1939.
6. D.Dubois, J.Lang, and H.Prade.Fuzzy sets in approximate reasoning, part 2: Logical approaches.Fuzzy Sets and Systems, 40:203-244, 1991.
7. D.Dubois, J.Lang, and H.Prade.Towards possibilistic logic programming.In International Conference on Logic Programming 1991, pages 581-598.MIT Press, 1991.
8. J.H.Gallier.Logic for Computer Science.John Wiley & Sons, 1987.
9. P.Hjek.Metamathematics of Fuzzy Logic.Trends in Logic.Studia Logica Library.Kluwer Academic Publishers, 1998.
10. M.Kifer and V.S.Subrahmanian.Theory of generalized annotated logic programming and its applications.J.of Logic Programming, 12:335-367, 1992.
11. R.Kowalski.Predicate logic as a programming language.In Proceedings of IFIP'74, pages 569-574.North Holland Publishing Company, 1974.
12. J.W.Lloyd.Foundations of Logic Programming.Springer-Verlag, 1987.2nd.edition.
13. J.Pavelka.On fuzzy logic I, II, III.Zeitschr.f.Math.Logik und Grundl.der Math., 25, 1979.
14. M.van Emden and R.Kowalski.The semantics of predicate logic as a programming language.Journal of ACM, 4(23):733-742, 1976.
15. P.Vojts and L.Paulìk.Soundness and completeness of non-classical extended SLD-resolution.InProc.of theWs.on Extensions of Logic Programming (ELP'96), pages 289-301.LNCS 1050, Springer-Verlag., 1996.