Problem Libraries for Non-Classical Logics.

Jens Otten Thomas Raths

Published in: ARQNL@IJCAR (2014)

Keyphrases

digital libraries
multimedia
classical logic
databases
data mining
learning algorithm
decision trees
similarity measure
automated theorem proving