Probability logic: A model-theoretic perspective.
Massoud PourmahdianR. ZoghifardPublished in: J. Log. Comput. (2021)
Keyphrases
- model theoretic
- proof theoretic
- deductive databases
- description logics
- operational semantics
- decision procedures
- logic programs
- fixpoint
- default reasoning
- proof procedure
- probabilistic reasoning
- modal logic
- proof theory
- autoepistemic logic
- logic programming
- linear logic
- probability distribution
- cut elimination
- nonmonotonic reasoning
- probability theory
- theorem proving
- probabilistic logic
- bayesian networks
- database queries
- constraint logic programming
- conditional probabilities
- query evaluation
- integrity constraints
- query language