Login / Signup

Tree-Sequent Methods for Subintuitionistic Predicate Logics.

Ryo IshigakiKentaro Kikuchi
Published in: TABLEAUX (2007)
Keyphrases
  • machine learning
  • computational cost
  • preprocessing
  • neural network
  • genetic algorithm
  • significant improvement
  • machine learning methods
  • statistical methods
  • qualitative and quantitative
  • inference rules