Fibrational Bisimulations and Quantitative Reasoning.
David SprungerShin-ya KatsumataJérémy DubutIchiro HasuoPublished in: CMCS (2018)
Keyphrases
- knowledge base
- qualitative and quantitative
- reasoning systems
- neural network
- meta level
- quantitative and qualitative
- spatial reasoning
- resource bounded
- reasoning process
- model based reasoning
- domain knowledge
- databases
- qualitative models
- rule based reasoning
- reasoning mechanism
- reasoning engine
- reasoning about actions
- logical reasoning
- analogical reasoning
- consistency checking
- fuzzy reasoning
- reasoning tasks
- automated reasoning
- knowledge representation
- multi agent
- genetic algorithm
- information retrieval