CLP(BN): Constraint Logic Programming for Probabilistic Knowledge
Vítor Santos CostaDavid PageMaleeha QaziJames CussensPublished in: CoRR (2012)
Keyphrases
- probabilistic knowledge
- constraint logic programming
- bayesian networks
- logic programming
- probabilistic reasoning
- answer set programming
- logic programming language
- constraint solving
- logic programs
- conditional probabilities
- probabilistic logic
- belief networks
- deductive databases
- knowledge representation
- propositional logic
- programming language
- formal model
- reasoning tasks
- probability distribution
- inference rules
- nonmonotonic reasoning
- constraint propagation
- probabilistic model
- probabilistic inference
- random variables
- graphical models
- temporal reasoning
- constraint programming
- knowledge base
- default logic
- global constraints
- formal semantics
- expert systems
- reasoning problems