Fibrational bisimulations and quantitative reasoning: Extended version.
David SprungerShin-ya KatsumataJérémy DubutIchiro HasuoPublished in: J. Log. Comput. (2021)
Keyphrases
- fuzzy description logics
- quantitative measures
- spatial reasoning
- artificial intelligence
- reasoning process
- qualitative models
- model construction
- qualitative and quantitative
- knowledge representation
- knowledge base
- quantitative and qualitative
- meta level
- dynamic systems
- qualitative reasoning
- decision trees
- analogical reasoning
- model based reasoning
- databases
- derivation rules