Implementing path-dependent GADT reasoning for Scala 3.
Yichen XuAleksander Boruch-GruszeckiLionel ParreauxPublished in: SCALA@SPLASH (2021)
Keyphrases
- model based reasoning
- analogical reasoning
- knowledge representation
- meta level
- reasoning systems
- reasoning process
- endpoints
- reasoning tasks
- qualitative reasoning
- real time
- knowledge base
- inference engine
- default reasoning
- reasoning mechanisms
- causal reasoning
- optimal path
- minimum cost
- efficient implementation
- domain knowledge
- expert systems
- learning algorithm
- information retrieval
- databases