Keyphrases
- logical inference
- abductive reasoning
- deductive reasoning
- inference mechanism
- inference process
- bayesian networks
- modal logic
- probabilistic inference
- predicate logic
- logic programming
- inference rules
- multi valued
- deontic logic
- decision theoretic
- nonmonotonic inference
- epistemic logic
- proof theory
- probabilistic logic
- closed world assumptions
- digital circuits
- classical logic
- logical framework
- data sets
- dynamic bayesian networks
- probabilistic reasoning
- bayesian inference
- logic programs
- information systems
- learning algorithm