Probabilistic reasoning with answer sets

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2923, Issue , 2004, Pages 21-33

  Baral, Chitta ^a   Gelfond, Michael ^b   Rushton, Nelson ^b  

^a Arizona State University   (United States)

^b Department of Electrical and Computer Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SETS; LOGIC PROGRAMS; SYNTAX; ANSWER SET; DECLARATIVE LANGUAGES; NON-TRIVIAL; PROBABILISTIC ARGUMENTS; PROBABILISTIC REASONING;

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; PROBABILITY; SEMANTICS;

LOGIC PROGRAMMING;

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

References (18)

1. F. Bacchus. Representing and reasoning with uncertain knowledge. MIT Press, 1990
2. M. Balduccini and M. Gelfond. Logic Programs with Consistency-Restoring Rules. InAAAI Spring 2003 Symposium, 2003.
3. T. Eiter, W. Faber, N. Leone, and G. Pfeifer. Declarative problem solving in dlv. In J. Minker, editor, Logic Based Artificial Intelligence, pages 79-103. Kluwer Academic publisher, 2000.
4. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. In New Generation Computing, 365-387, 1991.
5. L. Getoor, N. Friedman, D. Koller, and A. Pfeffer. Learning probabilistic relational models. In Relational data mining, pages 307-335. Springer, 2001.
6. G. Iwan and G. Lakemeyer. What observations really tell us. In CogRob'02, 2002.
7. Kristian Kersting and Luc De Raedt. Bayesian logic programs. In J. Cussens and A. Frisch, editors, Proceedings of the Work-in-Progress Track at the 10th International Conference on Inductive Logic Programming, pages 138-155, 2000.
8. T. Lukasiewicz. Probabilistic logic programming. In ECAI, pages 388-392, 1998.
9. S. Muggleton. Stochastic logic programs. In L. De Raedt, editor, Proceedings of the 5th International Workshop on Inductive Logic Programming, page 29. Department of Computer Science, Katholieke Universiteit Leuven, 1995.
10. Raymond T. Ng and V. S. Subrahmanian. Probabilistic logic programming. Information and Computation, 101(2):150-201, 1992.
11. Liem Ngo and Peter Haddawy. Answering queries from context-sensitive probabilistic knowledge bases. Theoretical Computer Science, 171(1-2):147-177, 1997.
12. I. Niemelä and P. Simons. Smodels - an implementation of the stable model and well-founded semantics for normal logic programs. In J. Dix, U. Furbach, and A. Nerode, editors, Proc. 4th international conference on Logic programming and non-monotonic reasoning, pages 420-429. Springer, 1997.
13. P. Simons, I. Niemelä, and T. Soininen. Extending and implementing the stable model semantics. Artificial Intelligence Journal, 138:181-234, 2002.
14. J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann Publishers, 1988.
15. J. Pearl. Causality. Cambridge University Press, 2000.
16. D. Poole. The independent choice logic for modeling multiple agents under uncertainty. Artificial Intelligence, 94(1-2 (special issue on economic principles of multi-agent systems)):7-56, 1997.
17. D. Poole. Abducing through negation as failure: Stable models within the independent choice logic. Journal of Logic Programming, 44:5-35, 2000.
18. David Poole. Probabilistic horn abduction and Bayesian networks. Artificial Intelligence, 64(1):81-129, 1993.