A Logic for Reasoning about Evidence.
Joseph Y. HalpernRiccardo PucellaPublished in: J. Artif. Intell. Res. (2006)
Keyphrases
- formal theory
- modal operators
- modal logic
- classical logic
- logic programming
- probabilistic knowledge
- artificial intelligence
- causal reasoning
- data mining
- digital circuits
- evidential reasoning
- multi valued
- empirical evidence
- knowledge representation
- bayesian networks
- automated reasoning
- spatial reasoning
- logical framework
- belief functions
- computational properties
- logic programs
- predicate logic
- abductive reasoning
- machine learning
- data sets
- propositional dynamic logic
- complete axiomatization