Monotonic and residuated logic programs

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

Volumn 2143, Issue , 2001, Pages 748-759

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

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Logic programming; Many valued logics; Possibilistic logic

Indexed keywords

FUZZY LOGIC; MANY VALUED LOGICS; PROBABILISTIC LOGICS; SEMANTICS;

ALGEBRAIC PROPERTIES; ANNOTATED LOGIC PROGRAMS; CLASSICAL LOGIC; LOGIC PROGRAMMING SEMANTICS; LOGIC PROGRAMS; POSSIBILISTIC LOGIC; PROBABILISTIC LOGIC PROGRAMS; RESIDUATED LOGIC;

LOGIC PROGRAMMING;

EID: 0010020556     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44652-4_66     Document Type: Conference Paper

References (20)

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. O. Aciego, I. P. de Guzm-an, G. Brewka, and L. M. Pereira, editors, Logics in AI, Proceedings of JELIA'00, pages 57-72. LNAI 1919, Springer- Verlag, September 2000.
3. C. V. Damásio and L. M. Pereira. Antitonic logic programs. In Proc. LPNMR'01, September 2001. To appear.
4. A. Dekhtyar and V. S. Subrahmanian. Hybrid probabilistic programs. Journal of Logic Programming, 43(3):187-250, 2000.
5. D. Dubois, J. Lang, and H. Prade. Fuzzy sets in approximate reasoning, part 2: Logical approaches. Fuzzy Sets and Systems, 40:203-244, 1991.
6. D. Dubois, J. Lang, and H. Prade. Towards possibilistic logic programming. In Proc. of ICLP'91, pages 581-598. MIT Press, 1991.
7. D. Dubois, J. Lang, and H. Prade. Possibilistic logic. In D.M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artficial Intelligence and Logic Programming, volume 3, pages 439-513. Oxford University Press, 1994.
8. J. H. Gallier. Logic for Computer Science. John Wiley & Sons, 1987.
9. P. Hájek. 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. Medina, M. Ojeda-Aciego, and P. Vojtas. Multi-adjoint logic programming with continuous semantics. In Proc. LPNMR'01, September 2001. To appear.
14. J. Pavelka. On fuzzy logic I, II, III. Zeitschr. f. Math. Logik und Grundl. der Math., 25, 1979.
15. H. Reichenbach. Reply to Ernest Nagel's criticism of my views on quantum mechanics. Journal of Philosophy, 43:239-247, 1946.
16. M. van-Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of ACM, 4(23):733-742, 1976.
17. M. H. van Emden. Quantitative deduction and its fixpoint theory. Journal of Logic Programming, 3(1):37-53, 1986.
18. P. Vojtas. Annotated and fuzzy logic programs - relationship and comparison of expressive power. Technical report, Safárik University, Slovakia, 2001.
19. P. Vojtás and L. Paulík. 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.
20. L. A. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1:3-28, 1978.