Hybrid probabilistic programs

Journal of Logic Programming

Volumn 43, Issue 3, 2000, Pages 187-250

  Dekhtyar, Alex ^a   Subrahmanian, V S ^a  

^a Institute of Advanced Computer Science   (United States)

Author keywords

Logic programming languages; Probabilistic logic; Uncertainty

Indexed keywords

EID: 0000815597     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(99)00059-X     Document Type: Article

References (39)

1. S. Adali, K.S. Candan, Y. Papakonstantinou, V.S. Subrahmanian, Query processing in distributed mediated systems, Proceedings of 1996 ACM SIGMOD Conference on Management of Data, Montreal, Canada, June 1996.
2. J.F. Baldwin, Evidential support logic programming, J. Fuzzy Sets and Systems 24 (1987) 1-26.
3. D. Barbara, H. Garcia-Molina, D. Porter, The management of probabilistic data, IEEE Trans. on Knowledge and Data Eng. 4 (1992) 487-502.
4. H. Blair, V.S. Subrahmanian, Paraconsistent logic programming, Theoret. Comput. Sci. 68 (1989) 135-154.
5. L. Blum, M. Shub, S. Smale, On a theory of computation and complexity over the real numbers: NP-completeness recursive functions and universal machines, Bulletin (New Series) of the American Mathematical Society 21 (1) (1989) 1-46.
6. G. Boole, The Laws of Thought, Macmillan, London, 1854.
7. R. Cavallo, M. Pittarelli, The theory of probabilistic databases, Proceedings of VLDB 1987.
8. W. Chen, D.S. Warren, A goal-oriented approach to computing well-founded semantics, in: K.R. Apt (Ed.), Proceedings of 1992 International Conference on Logic Programming, MIT Press, Cambridge, 1992.
9. A. Dekhtyar, V.S. Subrahmanian, Hybrid probabilistic logic programs, in: L. Naish (Ed.), Proceedings of 1997 International Conference on Logic Programming, MIT Press, Cambridge, 1997.
10. S. Dietrich, D.S. Warren, Extension tables: memo relations in logic programming, SUNY Stonybrook Tech. Report 86/18 (1986).
11. D. Dubois, H. Prade, Certainty and uncertainty of vague knowledge and generalized dependencies in fuzzy databases, in: Proceedings of International Fuzzy Engineering Symposium, Yokohama, Japan, 1988, pp. 239-249.
12. R.O. Duda, P.E. Hart, N.J. Nilsson, Subjective Bayesian methods for rule-based inference systems, Proceedings of National Computer Conference, 1976, pp. 1075-1082.
13. R. Fagin, J. Halpern, Uncertainty, Belief and probability, in: Proceedings of IJCAI-89, Morgan Kaufman, Los Altos, 1988.
14. M.C. Fitting, Logic programming on a topological bilattice, Fundamenta Informatica 11 (1988) 209-218.
15. M. Ginsberg, Multivalued logics: A uniform approach to reasoning in artificial intelligence, Computational Intelligence 4 (1988) 265-316.
16. U. Guntzer, W. Kiessling, H. Thone, New directions for uncertainty reasoning in deductive databases, Proceedings of 1991 ACM SIGMOD, 1991, pp. 178-187.
17. W. Kiessling, H. Thone, U. Guntzer, Database support for problematic knowledge, Proceedings of EDBT-92, Springer LNCS Vol. 580 1992, pp. 421-436.
18. M. Kifer, A. Li, On the semantics of rule-based expert systems with uncertainty, in: M. Gyssens, J. Paredaens, D. Van Gucht (Eds.), Proceedings of Second International Conference on Database Theory, Springer Verlag LNCS 326, Bruges, Belgium, 1988, pp. 102-117.
19. M. Kifer, V.S. Subrahmanian, Theory of generalized annotated logic programming and its applications, J. Logic Program. 12 (4) (1992) 335-368.
20. V.S. Lakshmanan, N. Leone, R. Ross, V.S. Subrahmanian, ProbView: A flexible probabilistic database system. ACM Transactions on Database Systems 22 (3) (1997) 419-469.
21. V.S. Lakshmanan, F. Sadri, Modeling uncertainty in deductive databases, in: Proceedings of the International Conference on Database Expert Systems and Applications (DEXA'94), 7-9 September 1994, Athens, Greece, Lecture Notes in Computer Science, vol. 856, Springer, Berlin, 1994, pp. 724-733.
22. V.S. Lakshmanan, F. Sadri, Probabilistic deductive databases, in: Proceedings of the International Logic Programming Symposium (ILPS'94), Ithaca, NY, MIT Press, November 1994.
23. V.S. Lakshmanan, N. Shiri, A parametric approach with deductive databases with uncertainty, IEEE Trans. on Knowledge and Data Eng., accepted for publication.
24. 7[24] J.W. Lloyd, Foundations of Logic Programming, Springer, NewYork/London, 1987.
25. R. Ng, V.S. Subrahmanian, Probabilistic logic programming, Information and Computation 101 (2) (1993) 150-201.
26. R. Ng, V.S. Subrahmanian, A semantical framework for supporting subjective and conditional probabilities in deductive databases, J. Automated Reasoning 10 (2) (1993) 191-235.
27. R. Ng, V.S. Subrahmanian, Stable semantics for probabilistic deductive databases, Information and Computation 110 (1) (1995) 42-83.
28. N. Nilsson, Probabilistic logic, AI Journal 28 (1986) 71-87.
29. P. Rao, K. Sagonas, T. Swift, D. Warren, J. Freire, XSB: A system for efficiently computing WFS, in: J. Dix, U. Furbach, A. Nerode (Eds.), Proceedings of the fourth International Conference on Logic Programming and Non-Monotonic Reasoning, Lecture Notes in Artificial Intelligence, vol. 1265, Springer, Berlin, 1997, pp. 430-440.
30. S. Ross, Introduction to Probability Models, Academic Press, New York/London, 1997.
31. H. Schmidt, W. Kiessling, U. Guntzer, R. Bayer, Combining Deduction by Uncertainty with the Power of Magic, in: Proceedings of DOOD-89, Kyoto, Japan, 1987, pp. 205-224.
32. E. Shapiro, Logic programs with uncertainties: A tool for implementing expert systems, in: Proceedings of the IJCAI '83, William Kauffman, 1983, pp. 529-532.
33. N. Shiri, On a generalized theory of deductive databases, Ph.D. Dissertation, Concordia University, Montreal, Canada, August 1997.
34. V.S. Subrahmanian, On the semantics of quantitative Logic Programs, in: Proceedings of the Fourth IEEE Symposium on Logic Programming, Computer Society Press, 1987, pp. 173-182.
35. V.S. Subrahmanian, Generalized Triangular Norm and Co-Norm Based Semantics for Quantitative Rule Set Logic Programming, Logic Programming Research Group Technical Report LPRG-TR-88-22, Syracuse University, 1988.
36. H. Tamaki, T. Sato, OLD resolution with tabulation, in: E. Shapiro (Ed.), Proceedings of the Third International Conference on Logic Programming, Springer, Berlin, 1986, pp. 84-98.
37. H. Thone, W. Kiessling, U. Guntzer, On cautious probabilistic inference and default detachment, Annals of Operations Research 55 (1995) 195-224.
38. M.H. Van Emden, Quantitative deduction and its fixpoint theory, J. Logic Program. 4 (1) (1986) 37-53.
39. C. Zaniolo, S. Ceri, C. Faloutsos, R. Snodgrass, V.S. Subrahmanian, C. Zicari, Advanced Database Systems, Morgan Kaufman, Los Altos, CA, 1997.