Login / Signup
A modular reasoning system using uninterpreted predicates for code reuse.
Crystal Chang Din
Einar Broch Johnsen
Olaf Owe
Ingrid Chieh Yu
Published in:
J. Log. Algebraic Methods Program. (2018)
Keyphrases
</>
code reuse
knowledge base
source code
reasoning systems
reasoning tasks
derivation rules
real world
expert systems
knowledge representation
co occurrence
software systems
automated reasoning
legal reasoning
analogical reasoning
modular neural networks