A Superposition-Based Calculus for Diagrammatic Reasoning.

Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier

Browse the full PPDP paper archive.