Research Projects
Research Topics
- Inference and Knowledge Representation
- Hypothesis Finding based on Induction and Abduction
- Knowledge Discovery for Systems Biology
- Boolean Satisfiability and Constraint Programming
Webmaster: Takehide Soh (E-mail soh at nii.ac.jp)