CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming
Joost VennekensMarc DeneckerMaurice BruynooghePublished in: CoRR (2009)
Keyphrases
- logic programming
- logic programming language
- probabilistic logic
- probabilistic reasoning
- programming language
- logic programs
- hybrid probabilistic logic programs
- constraint logic programming
- bayesian networks
- answer set programming
- knowledge representation
- nonmonotonic reasoning
- classical first order logic
- deductive databases
- probabilistic logic programs
- answer sets
- statistical relational learning
- disjunctive logic programming
- general purpose
- probabilistic model
- default reasoning
- natural language
- maximum entropy
- object oriented
- default logic
- inductive logic programming
- knowledge base
- stable models
- representing knowledge
- artificial intelligence
- declarative programming
- representation language
- random variables
- generative model
- software engineering
- directed acyclic graph
- inference rules
- parameter estimation
- normal logic programs
- probability distribution
- relational databases
- machine learning