A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams.
Johannes ErikssonMasoumeh ParsaPublished in: PADL (2020)
Keyphrases
- wide range
- knowledge representation
- reasoning tasks
- knowledge base
- model based reasoning
- reasoning systems
- meta level
- graphical representation
- uml class diagrams
- reasoning process
- automated reasoning
- range data
- learning algorithm
- model based diagnosis
- analogical reasoning
- temporal reasoning
- entity relationship diagrams