A tabulation proof procedure for residuated logic programming

Frontiers in Artificial Intelligence and Applications

Volumn 110, Issue , 2004, Pages 808-812

  Damasio C V ^a   Medina, J ^b   Ojeda Aciego, M ^b  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; INTELLIGENT DATABASES; SEMANTICS;

FIXPOINTS; GOAL-ORIENTED; LOGIC PROGRAMS; LOGIC-PROGRAMMING; PROBABILISTIC DEDUCTIVE DATABASE; PROOF PROCEDURES; RESIDUATED LOGIC; UNCERTAINTY;

LOGIC PROGRAMMING;

EID: 85017404833     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (25)

1. T. Alsinet and L. Godo. Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants. International Journal of Intelligent Systems, 17(9), 2002.
2. J. F. Baldwin, T. P. Martin, and B. W. Pilsworth. Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence. Res. Studies Press, 1995.
3. R. Bol and L. Degerstedt. The underlying search for magic templates and tabulation. In Proc. of ICLP93, pages 793-811, 1993.
4. T. Cao. Annotated fuzzy logic programs. Fuzzy Sets and Systems, 113(2):277-298, 2000.
5. W. Chen, T. Swift, and D. S. Warren. Efficient top-down computation of queries under the well-founded semantics. Journal of Logic Programming, 24(3):161-199, 1995.
6. C. V. Daḿasio and L. M. Pereira. Monotonic and residuated logic programs. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU-2001, pages 748-759. LNAI 2143, 2001.
7. C. V. Daḿasio and L. M. Pereira. Hybrid probabilistic logic programs as residuated logic programs. Studia Logica, 72(1):113-138, 2002.
8. A. Dekhtyar and V. S. Subrahmanian. Hybrid probabilistic programs. J. of Logic Programming, 43:187-250, 2000.
9. D. Dubois, J. Lang, and H. Prade. Towards possibilistic logic programming. In Int. Conf. on Logic Progr. 1991, pages 581-598. MIT Press, 1991.
10. S. Guadarrama, S. Mũnoz, and C. Vaucheret. Fuzzy prolog: A new approach using soft constraints propagation. Fuzzy Sets and Systems 144(1):127-150, 2004.
11. M. Jaeger. Automatic derivation of probabilistic inference rules. International Journal of Approximate Reasoning, 28(1):1-22, 2001.
12. M. Kifer and V. S. Subrahmanian. Theory of generalized annotated logic programming and its applications. J. of Logic Programming, 12:335-367, 1992.
13. L. V. S. Lakshmanan and F. Sadri. On a theory of probabilistic deductive databases. Theory and Practice of Logic Progr., 1(1):5-42, 2001.
14. T. Lukasiewicz. Fixpoint Characterizations for Many-valued Disjunctive Logic Programs with Probabilistic Semantics In Logic Progr. and Non-Monotonic Reasoning, LPNMR'01, LNAI 2173:336-350, 2001.
15. T. Lukasiewicz. Probabilistic logic programming with conditional constraints. ACM Trans. Comput. Logic, 2(3):289-339, 2001.
16. J. Medina, M. Ojeda-Aciego, and P. Vojtǎs. Multi-Adjoint logic programming with continuous semantics. In Logic Programming and Non- Monotonic Reasoning, LPNMR'01, pages 351-364. LNAI 2173, 2001.
17. J. Medina, M. Ojeda-Aciego, and P. Vojtǎs. A procedural semantics for multi-Adjoint logic programming. In Progress in Artificial Intelligence, EPIA'01, pages 290-297. LNAI 2258, 2001.
18. L. Pauĺik. Best possible answer is computable for SLD-resolution. Lecture Notes in Logic, 6:257-266, 1996.
19. P. Rhodes and S. Merad-Menani. Towards a fuzzy logic programming system: A clausal form fuzzy logic. Knowledge-Based Systems, 8(4):174-182, 1995.
20. M. Sessa. Approximate reasoning by similarity-based SLD resolution. Theoretical Computer Science, 275(1-2):389-426, 2002.
21. T. Swift. Tabling for non-monotonic programming. Annals of Mathematics and Artificial Intelligence, 25(3-4):201-240, 1999.
22. H. Tamaki and T. Sato. OLD resolution with tabulation. In Proc. of ICLP'86, pages 84-98, 1986.
23. M. H. van Emden. Quantitative deduction and its fixpoint theory. Journal of Logic Programming, 3(1):37-53, 1986.
24. P. Vojtǎs. Fuzzy logic programming. Fuzzy sets and systems, 124(3):361-370, 2001.
25. P. Vojtas and L. Pauĺik. Soundness and completeness of non-classical extended SLD-resolution. In Proc. of the Ws. on Extensions of Logic Programming (ELP'96). LNCS 1050:289-301, 1996.