Uncertainty management in logic programming: Simple and effective top-down query answering

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3682 LNAI, Issue , 2005, Pages 753-760

  Straccia, Umberto ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SCIENCE; INFORMATION TECHNOLOGY; LOGIC PROGRAMMING; PROBLEM SOLVING; QUERY LANGUAGES;

CERTAINTY LATTICES; COMPUTABLE FUNCTIONS; EQUATIONAL SYSTEMS; UNCERTAINTY MANAGEMENT;

UNCERTAIN SYSTEMS;

EID: 33745310799     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11552451_103     Document Type: Conference Paper

References (13)

1. N. D. Belnap. A useful four-valued logic. In G. Epstein and J. Michael Dunn, editors, Modern uses of multiple-valued logic, pages 5-37. Reidel, Dordrecht, NL, 1977.
2. W. Chen and D. S. Warren. Tabled evaluation with delaying for general logic programs. Journal of the ACM, 43(1):20-74, 1996.
3. C. Viegas Damásio, J. Medina, and M. Ojeda Aciego. Sorted multi-adjoint logic programs: Termination results and applications. In LNCS 3229, pages 252-265. Springer Verlag, 2004.
4. C. Viegas Damásio, J. Medina, and M. Ojeda Aciego. A tabulation proof procedure for residuated logic programming. In Proc. of European Conf. on Artificial Intelligence (ECAI-04), 2004.
5. D. Dubois, J. Lang, and H. Prade. Towards possibilistic logic programming. In Proc. of the 8th Int. Conf. on Logic Programming (ICLP-91), pages 581-595. The MIT Press, 1991.
6. M. Kifer and V.S. Subrahmanian. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming, 12:335-367, 1992.
7. L. V.S. Lakshmanan and N. Shiri. A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering, 13(4):554-570, 2001.
8. J. W. Lloyd. Foundations of Logic Programming. Springer, Heidelberg, RG, 1987.
9. Y. Loyer and U. Straccia. The approximate well-founded semantics for logic programs with uncertainty. In LNCS 2747, pages 541-550, 2003. Springer-Verlag.
10. T. Lukasiewicz. Probabilistic logic programming. In Proc. of the 13th European Conf. on Artificial Intelligence (ECAI-98), pages 388-392, 1998.
11. R. Ng and V.S. Subrahmanian. Probabilistic logic programming. Information and Computation, 101(2): 150-201, 1993.
12. U. Straccia. Top-down query answering for logic programs over bilattices. Technical Report 2004-TR-62, Istituto di Scienza e Tecnologie dell'Informazione, CNR, Pisa, Italy, 2004.
13. P. Vojtáš. Fuzzy logic programming. Fuzzy Sets and Systems, 124:361-370, 2004.