The Tableau Workbench.

Pietro Abate Rajeev Goré

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

description logics
automated theorem proving
proof search
optimal solution
neural network
data mining
proof procedure