CLP(BN): Constraint Logic Programming for Probabilistic Knowledge.
Vítor Santos CostaDavid PageMaleeha QaziJames CussensPublished in: UAI (2003)
Keyphrases
- constraint logic programming
- probabilistic knowledge
- bayesian networks
- logic programming
- probabilistic reasoning
- answer set programming
- logic programming language
- constraint solving
- logic programs
- conditional probabilities
- probabilistic logic
- nonmonotonic reasoning
- belief networks
- constraint programming
- knowledge representation
- formal model
- probabilistic inference
- deductive databases
- probability distribution
- temporal reasoning
- propositional logic
- default logic
- knowledge base
- reasoning tasks
- description logics
- constraint propagation
- answer sets
- artificial intelligence
- programming language
- inference rules
- graphical models
- conditional independence
- random variables
- probabilistic model
- np hard
- search algorithm
- first order logic