A Superposition-Based Calculus for Diagrammatic Reasoning.

Rachid Echahed Mnacho Echenim Mehdi Mhalla Nicolas Peltier

Published in: PPDP (2021)

Keyphrases

diagrammatic reasoning
symbolic reasoning
structural analysis
cognitive processes
human problem solving
decision trees
artificial neural networks
search space
data management
multistage
theorem proving