Reexamining Intractability of Tableau Methods.

Neil V. Murray Erik Rosenthal

Published in: ISSAC (1990)

Keyphrases

empirical studies
preprocessing
significant improvement
machine learning methods
data sets
expert systems
benchmark datasets
statistical models
optimization methods
real time
e learning
description logics
qualitative and quantitative
hybrid method