Default knowledge in logic programs with uncertainty

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

Volumn 2916, Issue , 2003, Pages 466-480

  Loyer, Yann ^a   Straccia, Umberto ^b  

^a UNIVERSITY OF VERSAILLES   (France)

^b CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLETE INFORMATION; DEFAULT VALUES; LOGIC PROGRAMS; MANAGEMENT OF UNCERTAINTY; OPEN WORLD ASSUMPTION; UNCERTAIN INFORMATIONS; WELL FOUNDED SEMANTICS; CLOSED WORLD ASSUMPTION;

LOGIC PROGRAMMING; COMPUTER CIRCUITS; RECONFIGURABLE HARDWARE; SEMANTICS;

SEMANTICS; LOGIC PROGRAMMING;

EID: 0346264952     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24599-5_32     Document Type: Conference Paper

References (35)

1. N. D. Belnap. How a computer should think. In Gilbert Ryle, editor, Contemporary aspects of philosophy, pages 30-56. Oriel Press, Stocksfield, GB, 1977.
2. B.G. Buchanan and E.H. Shortli. A model of inexact reasoning in medicine. Mathematical Bioscience, 23:351-379, 1975.
3. T. H. Cao. Annotated fuzzy logic programs. Fuzzy Sets and Systems, 113(2):277-298, 2000.
4. D. Dubois, J. Lang, and H. Prade. Towards possibilistic logic programming. In Proc. of ICLP-91, pages 581-595. MIT Press, 1991.
5. M. Fitting. The family of stable models. J. of Logic Programming, 17:197-225, 1993.
6. M. Fitting. A Kripke-Kleene-semantics for general logic programs. J. of Logic Programming, 2:295-312, 1985.
7. M. Fitting. Bilattices and the semantics of logic programming. J. of Logic Programming, 11:91-116, 1991.
8. N. Fuhr. Probabilistic Datalog: Implementing logical information retrieval for advanced applications. J. of the American Society for Information Science, 51(2):95-110, 2000.
9. M. Gelfond andV. Lifschitz. The stable model semantics for logic programming. In Proc. of ICLP-88, pages 1070-1080, 1988. MIT Press.
10. M. Gelfond andV. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3/4):365-386, 1991.
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 Ai Li. On the semantics of rule-based expert systems with uncertainty. In Proc. of ICDT-88, LNCS 326, pages 102-117, 1988.
13. M. Kifer and V. S. Subrahmanian. Theory of generalized annotated logic programming and its applications. J. of Logic Programming, 12:335-367, 1992.
14. L. Lakshmanan. An epistemic foundation for logic programming with uncertainty. In LNCS 880, pages 89-100, 1994.
15. L. Lakshmanan and F. Sadri. Uncertain deductive databases: a hybrid approach. Information Systems, 22(8):483-508, 1997.
16. L. Lakshmanan and N. Shiri. Probabilistic deductive databases. In Int'l Logic Programming Symposium, pages 254-268, 1994.
17. L. Lakshmanan and N. Shiri. A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering, 13(4):554-570, 2001.
18. Y. Loyer and N. Spyratos and D. Stamate. Integration of Information in Four-valued Logics under Non-Uniform Assumptions. In Proc. of the 30th IEEE Int. Symp. on Multi-Valued Logics, IEEE Press, pages 185-191, 2000.
19. Y. Loyer and U. Straccia. Uncertainty and partial non-uniform assumptions in parametric deductive databases. In Proc. of JELIA-02, LNCS 2424, pages 271-282
20. Y. Loyer and U. Straccia. The well-founded semantics of logic programs over bilattices: an alternative characterisation. TR ISTI-2003-TR-05, ISTI-CNR, Pisa, Italy, 2003. Submitted.
21. Y. Loyer, N. Spyratos and D. Stamate. Parametrized Semantics of Logic Programs - a unifying approach. Theoretical Computer Science, to appear.
22. YZZ. Loyer, N. Spyratos and D. Stamate. Hypotheses-Based Semantics of Logic Programs in Multi-Valued Logics. ACM Transactions on Computational Logic, to appear.
23. T. Lukasiewicz. Fixpoint characterizations for many-valued disjunctive logic programs with probabilistic semantics. In Proc. of LPNMR-01, LNCS 2173, pages 336-350, 2001.
24. R. Ng andV. S. Subrahmanian. Stable model semantics for probabilistic deductive databases. In Proc. of ISMIS-91, LNCS 542, pages 163-171, 1991.
25. R. Ng and V. S. Subrahmanian. Probabilistic logic programming. Information and Computation, 101(2):150-201, 1993.
26. T. C. Przymusinski. Extended stable semantics for normal and disjunctive programs. In Proc. of ICLP-90, pages 459-477. MIT Press, 1990.
27. Ehud Y. Shapiro. Logic programs with uncertainties: A tool for implementing rule-based systems. In Proc. of IJCAI-83, pages 529-532, 1983.
28. V.S. Subramanian. On the semantics of quantitative logic programs. In Proc. of 4th IEEE Symp. on Logic Programming, pages 173-182. Computer Society Press, 1987.
29. M.H. van Emden. Quantitative deduction and its fixpoint theory. J. of Logic Programming, 4(1):37-53, 1986.
30. A. van Gelder. The alternating fixpoint of logic programs with negation. In Proc. of ACM PODS-89, pages 1-10, 1989.
31. A. van Gelder, K. A. Ross, and J. S. Schlimpf. The well-founded semantics for general logic programs. J. of the ACM, 38(3):620-650, January 1991.
32. G. Wagner. A logical reconstruction of fuzzy inference in databases and logic programs. In Proc. of IFSA-97, Prague, 1997.
33. G. Wagner. Negation in fuzzy and possibilistic logic programs. In Logic programming and Soft Computing, Research Studies Press, 1998.
34. L. A. Zadeh. Fuzzy sets. Information and Control, 8(3):338-353, 1965.
35. L. A. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1(1):3-28, 1965.