Probabilistic Abductive Logic Programming: a Joint Approach of Logic and Probability.
Fulvio RotellaStefano FerilliPublished in: DWAI@AI*IA (2013)
Keyphrases
- probability theory
- abductive logic programming
- joint probability
- proof procedure
- logic programs
- probabilistic logic
- logic programming
- conditional probabilities
- theorem proving
- probabilistic model
- probability distribution
- modal logic
- inference rules
- propositional logic
- first order logic
- expressive power
- constraint satisfaction
- artificial intelligence
- belief networks
- knowledge management
- bayesian networks