Login / Signup

Tableau Methods for a Logic with Term Declarations.

Pedro J. MartínAntonio GavilanesJavier Leach
Published in: J. Symb. Comput. (2000)
Keyphrases
  • significant improvement
  • preprocessing
  • evolutionary algorithm
  • cross validation
  • qualitative and quantitative
  • learning algorithm
  • computational cost
  • description logics
  • empirical studies
  • machine learning methods