Keyphrases
- logical inference
- deductive reasoning
- inference mechanism
- classical logic
- abductive reasoning
- probabilistic inference
- inference process
- logic programming
- predicate logic
- automated reasoning
- artificial intelligence
- structured prediction
- efficient learning
- bayesian inference
- modal logic
- bayesian networks
- databases
- belief networks
- asynchronous circuits
- case study
- nonmonotonic inference
- sound and complete axiomatization