Automated Synthesis of Tableau Calculi.

Renate A. Schmidt Dmitry Tishkovsky

Published in: TABLEAUX (2009)

Keyphrases

semi automated
description logics
fully automated
real time
face recognition
artificial neural networks
automated analysis
information retrieval
decision trees
multiscale
data driven
program synthesis