A Vision for Automated Deduction Rooted in the Connection Method.

Published in: TABLEAUX (2017)

Keyphrases

significant improvement
detection method
automated deduction
segmentation method
experimental evaluation
machine learning
similarity measure
computational complexity
prior knowledge
cost function
dynamic programming
high accuracy
synthetic data
classification method
high precision
preprocessing