Query answering in normal logic programs under uncertainty

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

Volumn 3571 LNAI, Issue , 2005, Pages 687-700

  Straccia, Umberto ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; QUERY LANGUAGES; UNCERTAIN SYSTEMS;

LOGIC PROGRAMS; NON-MONOTONIC NEGATION; QUERY ANSWERING; UNCERTAINTY;

LOGIC PROGRAMMING;

EID: 26944442723     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11518655_58     Document Type: Conference Paper

References (22)

1. N. D. Belnap. A useful four-valued logic. In G. Epstein and J. M. Dunn, editors, Modern uses of multiple-valued logic, pages 5-37. Reidel, Dordrecht, NL, 1977.
2. E. Böhler, C. Glaer, B. Schwarz, and K. Wagner. Generation problems. In 29th Int. Symp. on Mathematical Foundations of Computer Science (MFCS-04), LNCS 3153, pages 392-403. Springer Verlag, 2004.
3. W. Chen and D. S. Warren. Tabled evaluation with delaying for general logic programs. Journal of the ACM, 43(1):20-74, 1996.
4. C. V. Damásio, J. Medina, and M. O. Aciego. Sorted multi-adjoint logic programs: Termination results and applications. In Proc. of the 9th Europ. Conf. on Logics in Art. Intelligence (JELIA-04), LNCS 3229, pages 252-265. Springer Verlag, 2004.
5. C. V. Damásio, J. Medina, and M. O. Aciego. A tabulation proof procedure for residuated logic programming. In Proc. of the 6th Europ. Conf. on Art. Intelligence (ECAI-04), 2004.
6. C. V. Damásio and L. M. Pereira. A survey of paraconsistenl semantics for logic programs. In D. Gabbay and P. Smets, editors, Handbook of Defeasible Reasoning and Uncertainty Management Systems, pages 241-320. Kluwer, 1998.
7. C. Viegas Damásio and L. M. Pereira. Antitonic logic programs. In Proc. of the 6th Int. Conf. on logic programming and Nonmonotonic Reasoning (LPNMR-01), LNCS 2173. Springer-Verlag, 2001.
8. 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.
9. M. C. Fitting. Fixpoint semantics for logic programming - a survey. Theoretical Computer Science, 21(3):25-51, 2002.
10. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. of the 5th Int. Conf. on Logic Programming, pages 1070-1080, Cambridge, Massachusetts, 1988. The MIT Press.
11. M. L. Ginsberg. Multi-valued logics: a uniform approach to reasoning in artificial intelligence. Computational Intelligence, 4:265-316, 1988.
12. M. Kifer and V.S. Subrahmanian. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming, 12:335-367, 1992.
13. Laks 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.
14. Y. Loyer and U. Straccia. The approximate well-founded semantics for logic programs with uncertainty. In 28th Int. Symp. on Mathematical Foundations of Computer Science (MFCS-2003), LNCS 2747, pages 541-550, 2003. Springer-Verlag.
15. T. Lukasiewicz. Probabilistic logic programming. In Proc. of the 13th European Conf. on Artificial Intelligence (ECAI-98), pages 388-392, 1998.
16. T. Lukasiewicz. Fixpoint characterizations for many-valued disjunctive logic programs with probabilistic semantics. In Proc. of the 6th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR-01), LNAI 2173, pages 336-350. Springer-Verlag, 2001.
17. R. Ng and V.S. Subrahmanian. Stable model semantics for probabilistic deductive databases. In Proc. of the 6th Int. Sym. on Methodologies for Intelligent Systems (ISMIS-91), LNAI 542, pages 163-171. Springer-Verlag, 1991,
18. R. Ng and V.S. Subrahmanian. Probabilistic logic programming. Information and Computation, 101(2): 150-201, 1993.
19. U. Straccia. Top-down query answering for logic programs over bilattices. Technical Report, ISTI-CNR, Pisa, Italy, 2004.
20. A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, (5):285-309, 1955.
21. A. van Gelder, K. A. Ross, and J. S. Schlimpf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, January 1991.
22. P. Vojtáš. Fuzzy logic programming. Fuzzy Sets and Systems, 124:361-370, 2004.