Qualitative and quantitative reasoning in hybrid probabilistic logic programs

ISIPTA 2007 - Proceedings of the 5th International Symposium on Imprecise Probability: Theories and Applications

Volumn , Issue , 2007, Pages 375-384

  Saad, Emad ^a  

^a ABU DHABI UNIVERSITY   (United Arab Emirates)

Author keywords

Knowledge representation; Probabilistic logic programming; Probabilistic reasoning

Indexed keywords

ANSWER SET SEMANTICS; DISJUNCTIVE LOGIC PROGRAMS; PROBABILISTIC LOGIC PROGRAMS; PROBABILISTIC MODELING; PROBABILISTIC REASONING; PROGRAMMING FRAMEWORK; QUALITATIVE AND QUANTITATIVE REASONINGS; STABLE MODEL SEMANTICS;

KNOWLEDGE REPRESENTATION; PROBABILISTIC LOGICS; PROBABILITY; SEMANTICS;

LOGIC PROGRAMMING;

EID: 84883239245     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. C. Baral, M. Gelfond, and N. Rushton. Probabilistic reasoning with answer sets. In Proc. 7th International Conference on Logic Programming and Nonmonotonic Reasoning, Springer Verlag, 2004.
2. G. Brewka and J. Dix. Knowledge representation with logic programs. Third International Workshop on Logic Programming and Knowledge Representation, 1997.
3. A. Dekhtyar and I. Dekhtyar. Possible worlds semantics for probabilistic logic programs. International Conference of Logic Programming, 137-148, 2004.
4. A. Dekhtyar and V.S. Subrahmanian. Hybrid probabilistic program. Journal of Logic Programming, 43(3): 187-250, 2000.
5. M. Dekhtyar, A. Dekhtyar, and V. S. Subrahmanian. Hybrid Probabilistic Programs: Algorithms and Complexity. In Proc. of Uncertainty in Artificial Intelliegence, pages 160-169, 1999.
6. T. Eiter and T. Lukasiewicz. Probabilistic reasoning about actions in nonmonotonic causal theories. In Proc. of Uncertainty in Artificial Intelliegence, pp. 192-199, 2003.
7. T. Eiter et al. Declarative problem solving in dlv. In Logic Based Artificial Intelligence, 2000.
8. A. Van Gelder, K.A. Ross, and J.S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620- 650, 1991.
9. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. ICSLP, 1988, MIT Press.
10. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3- 4):363-385, 1991.
11. J. Halpern and J. Pearl. Causes and explanations: A structural-model approach. Part I: Causes. The British Journal for the Philosophy of Science, 56(4):843-887, 2005.
12. K. Kersting and L. De Raedt. Bayesian Logic Programs. In Proc. Inductive Logic Programming, 2000.
13. M. Kifer and V.S. Subrahmanian. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming, 12:335-367, 1992.
14. L.V.S. Lakshmanan and F. Sadri. On a theory of probabilistic deductive databases. Journal of Theory and Practice of Logic Programming, 1(1):5-42, January 2001.
15. T. Lukasiewicz. Probabilistic logic programming. In Proc. 13th European Conference on Artificial Intelligence, 388-392, 1998.
16. T. Lukasiewicz. Many-valued disjunctive logic programs with probabilistic semantics. In Proc. International Conference on Logic Programming and Nonmonotonic Reasoning, 1999.
17. J. Fernandez and J. Minker. Disjunctive deductive databases. In Proc. International Conference on Logic Programming and Automated Reasoning, 1992.
18. S. Muggleton. Stochastic logic programming. In Proc. 5th International Workshop on Inductive Logic Programming, 1995.
19. R.T. Ng and V.S. Subrahmanian. Probabilistic logic programming. Information & Computation, 101(2), 1992.
20. R.T. Ng and V.S. Subrahmanian. A semantical framework for supporting subjective and conditional probabilities in deductive databases. Journal of Automated Reasoning, 10(2), 1993.
21. R.T. Ng and V.S. Subrahmanian. Stable semantics for probabilistic deductive databases. Information & Computation, 110(1), 1994.
22. I. Niemela and P. Simons. Efficient implementation of the well-founded and stable model semantics. In Proc. Joint International Conference and Symposium on Logic Programming, 289-303, 1996.
23. D. Poole. The Independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence, 94(1-2), 7-56, 1997.
24. D. Poole. Abducing through negation as failure: stable models within the independent choice logic. Journal of Logic Programming, Vol 44, 5-35, 2000.
25. E. Saad. Incomplete knowlege in hybrid probabilistic logic programs. In Proc. 10th European Conference on Logics in Artificial Intelligence, 2006.
26. E. Saad. Classical negation in hybrid probabilistic logic programs. Submitted.
27. E. Saad and E. Pontelli. Towards a more practical hybrid probabilistic logic programming framework. In Proc. Practical Aspects of Declarative Languages, 2005.
28. E. Saad and E. Pontelli. Hybrid probabilistic logic programs with non-monotonic negation. In Proc. International Conference of Logic Programming. Springer Verlag, 2005.
29. J. Vennekens, S. Verbaeten, and M. Bruynooghe. Logic programs with annotated disjunctions. In Proc. International Conference of Logic Programming, 431-445, 2004.