Towards improved GADT reasoning in Scala.

Lionel Parreaux Aleksander Boruch-Gruszecki Paolo G. Giarrusso

Published in: SCALA@ECOOP (2019)

Keyphrases

database
automated reasoning
reasoning process
logical framework
reasoning mechanism
conflicting information
neural network
knowledge base
multi agent systems
knowledge representation
case based reasoning
improved algorithm
reasoning engine