CP-logic: A language of causal probabilistic events and its relation to logic programming.
Joost VennekensMarc DeneckerMaurice BruynooghePublished in: Theory Pract. Log. Program. (2009)
Keyphrases
- logic programming
- logic programming language
- probabilistic logic
- probabilistic reasoning
- programming language
- logic programs
- hybrid probabilistic logic programs
- constraint logic programming
- bayesian networks
- knowledge representation
- nonmonotonic reasoning
- classical first order logic
- answer set programming
- deductive databases
- knowledge base
- disjunctive logic programming
- representing knowledge
- statistical relational learning
- inductive logic programming
- stable models
- expert systems
- reasoning about actions
- high level
- probabilistic logic programs
- answer sets
- markov logic networks
- default logic
- maximum entropy
- normal logic programs
- natural language
- generative model
- default reasoning
- general purpose
- situation calculus
- probabilistic model
- decision theory
- background knowledge
- graphical models