Quantitative Algebraic Reasoning.
Radu MardarePrakash PanangadenGordon D. PlotkinPublished in: LICS (2016)
Keyphrases
- knowledge base
- qualitative and quantitative
- model based reasoning
- knowledge representation
- reasoning systems
- quantitative and qualitative
- meta level
- qualitative models
- automated reasoning
- reasoning tasks
- qualitative spatial
- search engine
- proof theory
- resource bounded
- quantitative measures
- causal reasoning
- knowledge representation and reasoning
- fuzzy reasoning
- logical framework
- reasoning process
- higher order
- bayesian networks