研究内容

  • Machine Learning and Data Mining
  • Explanation Based Learning (deductive approach), Data Mining (inductive/stochastic approach) on Huge Data Set
  • Automated Theorem Proving
  • First Order Logic and its Extension
  • Non-Monotonic Reasoning
  • Efficient Implementation of the Extended Logic Programming on Automated Theorem Proving Systems
  • Web Mining
  • Extracting Knowledge from Web