Modelling a Summarisation Logic in Probabilistic Datalog.
Jan Frederik ForstThomas RoellekeAnastasios TombrosPublished in: LWA (2007)
Keyphrases
- logic programming
- probabilistic logic
- probability theory
- modal logic
- probabilistic reasoning
- deductive databases
- expressive power
- uncertain data
- transitive closure
- generative model
- bayesian networks
- classical logic
- probabilistic model
- logical inference
- sentiment classification
- automated reasoning
- causal reasoning
- datalog programs
- free text
- probabilistic knowledge
- multi valued
- temporal logic
- query answering
- integrity constraints
- logic programs
- query language