clp(pdf(y)): Constraints for Probabilistic Reasoning in Logic Programming.
Nicos AngelopoulosPublished in: CP (2003)
Keyphrases
- logic programming
- probabilistic reasoning
- constraint logic programming
- logic programs
- answer set programming
- logic programming language
- knowledge representation
- automated reasoning
- probabilistic logic
- deductive databases
- nonmonotonic reasoning
- default reasoning
- constraint satisfaction
- constraint programming
- answer sets
- reasoning tasks
- constraint solving
- programming language
- probabilistic knowledge
- knowledge base
- inductive logic programming
- pseudo boolean constraints
- default logic
- global constraints
- probabilistic inference
- bayesian networks
- statistical relational learning
- markov logic networks
- abductive reasoning
- software engineering