Epistemic closure under deductive inference: what is it and can we afford it?
Assaf SharonLevi SpectrePublished in: Synth. (2013)
Keyphrases
- abductive inference
- deductive reasoning
- inference process
- object oriented
- bayesian inference
- databases
- dynamic bayesian networks
- belief change
- inference engine
- information retrieval
- relational databases
- probabilistic reasoning
- explanation based learning
- decision trees
- bayesian model
- efficient learning
- machine learning
- epistemic logic
- data mining
- functional programs
- database