Learning Logic Programs with Annotated Disjunctions

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

Volumn 3194, Issue , 2004, Pages 270-287

  Riguzzi, Fabrizio ^a  

^a UNIVERSITY OF FERRARA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

LEARNING ALGORITHMS; LEARNING SYSTEMS; MATHEMATICAL MODELS; PROBABILISTIC LOGICS; PROBLEM SOLVING; STOCHASTIC PROGRAMMING; THEOREM PROVING; ALGORITHMS; CONSTRAINT SATISFACTION PROBLEMS; PROBABILITY;

INDEPENDENT CHOICE LOGIC (ICL); PROBABILISTIC KNOWLEDGE; PROBABILISTIC LOGIC PROGRAMS (PLP); PROBABILISTIC REASONING; LEARNING PROBLEM; LOGIC PROGRAMS;

LOGIC PROGRAMMING; INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 22944492698     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30109-7_21     Document Type: Conference Paper

References (22)

1. Hendrik Blockeel. Prolog for first-order bayesian networks: A meta-intepreter approach. In Multi-Relational Data Mining (MRDM03), 2003.
2. K. L. Clark. Negation as failure. In Logic and Databases. Plenum Press, 1978.
3. James Cussens. Stochastic logic programs: Sampling, inference and applications. In Sixteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-2000), pages 115-122, San Francisco, CA, 2000. Morgan Kaufmann.
4. L. De Raedt and L. Dehaspe. Clausal discovery. Machine Learning, 26(2-3):99-146, 1997.
5. M. Fitting. A kripke-kleene semantics for logic programs. Journal of Logic Programming, 2(4):295-312, 1985.
6. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, Proceedings of the 5th Int. Conf. on Logic Programming, pages 1070-1080. MIT Press, 1988.
7. L. Getoor, N. Friedman, D. Koller, and A. Pfeffer. Learning probabilistic relational models. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining. Springer-Verlag, Berlin, 2001.
8. G. Holzbaur. OFAI clp(q,r) manual, edition 1.3.3. Technical Report TR-95-09, Austrian Research Institute for Artificial Intelligence, Vienna, 1995.
9. K. Kersting and L. De Raedt. Bayesian logic programs. In Work-in-Progress Reports of the Tenth International Conference on Inductive Logic Programming (ILP2000), London, UK, 2000.
10. K. Kersting and L. De Raedt. Bayesian logic programs. Technical Report 151, Institute for Computer Science, University of Freiburg, Freiburg, Germany, April 2001.
11. K. Kersting and L. De Raedt. Towards combining inductive logic programming and bayesian networks. In C. Rouveirol and M. Sebag, editors, Eleventh International Conference on Inductive Logic Programming (ILP-2001), Strasbourg, France, September 8001, number 2157 in LNAI. Springer-Verlag, 2001.
12. J. Lobo, J. Minker, and A. Rajasekar. Foundations of Disjunctive Logic Programming. MIT Press, Cambridge, Massachusetts, 1992.
13. S. H. Muggleton. Learning stochastic logic programs. Electronic Transactions in Artificial Intelligence, 4(041), 2000.
14. R. T. Ng and V. S. Subrahmanian. Probabilistic logic programming. Information and Computation, 101(2):150-201, 1992.
15. L. Ngo and P. Haddaway. Answering queries from context-sensitive probabilistic knowledge bases. Theoretical Computer Science, 171(1-2):147-177, 1997.
16. Liem Ngo. Probabilistic disjunctive logic programming. In Proceedings of the 12th Annual Conference on Uncertainty in Artificial Intelligence (UAI-96), pages 397-404, San Francisco, CA, 1996. Morgan Kaufmann Publishers.
17. D. Poole. The Independent Choice Logic for modelling multiple agents under uncertainty. Artificial Intelligence, 94(1-2):7-56, 1997.
18. V. Santos Costa, D. Page, M. Qazi, and J. Cussens. Clp(BN): Constraint logic programming for probabilistic knowledge. In Uncertainty in Artificial Intelligence (UAI03), 2003.
19. T. Sato. A statistical learning method for logic programs with distribution semantics. In 12th International Conference on Logic Programming (ICLP95), pages 715 -729, 1995.
20. 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.
21. J. Vennekens and S. Verbaeten. Logic programs with annotated disjunctions. Technical Report CW386, K. U. Leuven, 2003. http://www.cs. kuleuven.ac.be/~joost/techrep.ps.
22. J. Vennekens, S. Verbaeten, and M. Bruynooghe. Logic programs with annotated disjunctions. In The 20th International Conference on Logic Programming (ICLP04), 2004.