研究内容
- 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