Burdens and Standards of Proof for Inference to the Best Explanation.
Floris BexDouglas WaltonPublished in: JURIX (2010)
Keyphrases
- cost based abduction
- abductive reasoning
- theorem proving
- widely accepted
- bayesian networks
- causal reasoning
- probabilistic inference
- inference process
- belief networks
- bayesian inference
- theorem prover
- grammatical inference
- structured prediction
- linear logic
- random fields
- sensor networks
- information systems
- data mining
- open standards
- inference mechanism
- international standards
- mathematical proofs
- neural network
- bayesian model
- image segmentation
- inference engine
- data sets
- relational databases
- web services
- image sequences