Evaluating Automated Theorem Provers Using Adimen-SUMO.

Javier Álvez Paqui Lucio German Rigau

Published in: Vampire@IJCAR (2016)

Keyphrases

automated theorem provers
computer algebra
machine learning
general knowledge
vision system
databases
data model
domain knowledge