Uncertainty and partial non-uniform assumptions in parametric deductive databases

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

Volumn 2424 LNAI, Issue , 2002, Pages 271-282

  Loyer, Yann ^a   Straccia, Umberto ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL LOGIC; DEDUCTIVE DATABASE; LOGIC PROGRAMS; NONUNIFORM; OPEN WORLD ASSUMPTION; PROGRAMMING FRAMEWORK; TRUTH VALUES; UNCERTAIN INFORMATIONS; WELL FOUNDED SEMANTICS; NON-UNIFORM;

ARTIFICIAL INTELLIGENCE; ATOMS; LOGIC PROGRAMMING; SEMANTICS; UNCERTAINTY ANALYSIS; COMPUTER CIRCUITS; MANY VALUED LOGICS; RECONFIGURABLE HARDWARE;

PROGRAM INTERPRETERS; INTELLIGENT DATABASES;

EID: 77952038598     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45757-7-23     Document Type: Conference Paper

References (19)

1. True H. Cao. Annotated fuzzy logic programs. Fuzzy Sets and Systems, 113(2):277-298, 2000.
2. Alex Dekhtyar and V.S. Subrahmanian. Hybrid probabilistic programs. Journal of Logic Programming, 43(3):187-250, 2000.
3. Didier Dubois, Jérome Lang, and Henri Prade. Towards possibilistic logic programming. In Proc. of the 8th Int. Conf. on Logic Programming (ICLP-91), pages 581-595. The MIT Press, 1991.
4. Melvin Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2(4):295-312, 1985.
5. Melvin Fitting. The family of stable models. Journal of Logic Programming, 17(2/3 & 4):197-225, 1993.
6. Norbert Fuhr. Probabilistic datalog: Implementing logical information retrieval for advanced applications. Journal of the American Society for Information Science, 51(2):95-110, 2000.
7. Allen Van Gelder. The alternating fixpoint of logic programs with negation. In Proc. of the 8th ACM SIGACT SIGMOD Sym. on Principles of Database Systems (PODS-89), pages 1-10, 1989.
8. M. Kifer and Ai Li. On the semantics of rule-based expert systems with uncertainty. In Proc. of the Int. Conf. on Database Theory (ICDT-88), number 326 in Lecture Notes in Computer Science, pages 102-117. Springer-Verlag, 1988.
9. Michael Kifer and V.S. Subrahmanian. Theory of generalized annotaded logic programming and its applications. Journal of Logic Programming, 12:335-367, 1992.
10. Laks V.S. Lakshmanan and Nematollaah Shiri. Probabilistic deductive databases. In Int'l Logic Programming Symposium, pages 254-268, 1994.
11. Laks V.S. Lakshmanan and Nematollaah Shiri. A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering, 13(4):554-570, 2001. (Pubitemid 32828742)
12. Y. Loyer, N Spyratos, and D. Stamate. Integration of information in four-valued logics under non-uniform assumptions. In Proceedings of the 30th IEEE International Symposium on Multi-Valued Logics (ISMVL 2000), pages 185-191, Portland, Oregon, 2000. IEEE Press.
13. Thomas Lukasiewicz. Probabilistic logic programming. In Proc. of the 13th European Conf. on Artificial Intelligence (ECAI-98), pages 388-392, Brighton (England), August 1998.
14. Raymond Ng and V.S. Subrahmanian. Stable model semantics for probabilistic deductive databases. In Zbigniew W. Ras and Maria Zemenkova, editors, Proc. of the 6th Int. Sym. on Methodologies for Intelligent Systems (ISMIS-91), number 542 in Lecture Notes in Artificial Intelligence, pages 163-171. Springer-Verlag, 1991.
15. Raymond Ng and V.S. Subrahmanian. Probabilistic logic programming. Information and Computation, 101(2):150-201, 1993.
16. Ehud Y. Shapiro. Logic programs with uncertainties: A tool for implementing rule-based systems. In Proc. of the 8th Int. Joint Conf. on Artificial Intelligence (IJCAI-83), pages 529-532, 1983.
17. M.H. van Emden. Quantitative deduction and its fixpoint theory. Journal of Philosophical Logic, (1):37-53, 1986.
18. Allen Van Gelder, Kenneth A. Ross, and John S. Schlimpf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, January 1991.
19. S. Yablo. Truth and reflection. Journal of Philosophical Logic, 14:297-349, 1985.