Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning.
Matteo MioRalph SarkisValeria VignudelliPublished in: LICS (2022)
Keyphrases
- reasoning tasks
- knowledge base
- qualitative models
- qualitative and quantitative
- automated reasoning
- knowledge representation
- reasoning process
- uncertain information
- reasoning systems
- algebraic structure
- qualitative spatial
- inference engine
- meta level
- qualitative reasoning
- data mining
- legal reasoning
- causal reasoning
- resource bounded