A new probabilistic constraint logic programming language based on a generalised distribution semantics.
Steffen MichelsArjen HommersomPeter J. F. LucasMarina VelikovaPublished in: Artif. Intell. (2015)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- declarative semantics
- constraint solving
- inference rules
- situation calculus
- probabilistic model
- global constraints
- bayesian networks
- logic programs
- random variables
- conditional probabilities
- deductive databases
- answer set programming
- nonmonotonic reasoning
- probability distribution
- knowledge base
- default logic
- formal semantics
- search space