Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version).
Francesco GavazzoPublished in: CoRR (2018)
Keyphrases
- higher order
- fuzzy description logics
- knowledge base
- reasoning systems
- natural images
- knowledge representation
- pairwise
- qualitative and quantitative
- distance measure
- high order
- markov random field
- quantitative and qualitative
- spatial reasoning
- qualitative models
- low order
- distance function
- automated reasoning
- reasoning process
- quantitative measures
- machine learning