Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances.
Francesco GavazzoPublished in: LICS (2018)
Keyphrases
- higher order
- natural images
- knowledge base
- low order
- knowledge representation
- distance function
- high order
- pairwise
- reasoning tasks
- euclidean distance
- spatial reasoning
- computer programs
- qualitative models
- qualitative and quantitative
- distance measure
- markov random field
- knowledge representation and reasoning
- qualitative reasoning
- automated reasoning
- reasoning systems
- distance computation
- reasoning mechanisms