Quantitative Graded Semantics and Spectra of Behavioural Metrics.
Jonas ForsterLutz SchröderPaul WildPublished in: CoRR (2023)
Keyphrases
- quantitative measures
- semantic aspects
- qualitative and quantitative
- formal semantics
- logic programming
- semantic information
- alternating time temporal logic
- spectral images
- quantitative and qualitative
- evaluation methods
- spectral data
- model theoretic
- operational semantics
- conceptual graphs
- data sets
- quality measures
- high throughput
- programming language
- high level
- information retrieval