Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning.
Matteo MioRalph SarkisValeria VignudelliPublished in: CoRR (2022)
Keyphrases
- reasoning systems
- quantitative and qualitative
- automated reasoning
- qualitative models
- knowledge representation
- algebraic structure
- computational properties
- reasoning tasks
- qualitative reasoning
- banach space
- real time
- knowledge base
- artificial intelligence
- spatial reasoning
- dynamic systems
- decision making
- quantitative measures
- resource bounded
- reasoning mechanisms
- logical reasoning
- qualitative spatial
- genetic algorithm