Technical Presentation
"Learning Multi-clause in First-order Logic"
(by Ms. Dianhuan Lin)

Date

Tuesday, Junuary 19, at 2 p.m.

Venue

Room 2008, 20F, National Institute of Informatics,
2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan

Access

Access Map

Presentation Title

Participants

Dianhuan Lin Imperial College London, United Kingdom
Katsumi Inoue National Institute of Informatics, Japan
Gauvain Bourgne National Institute of Informatics, Japan
Jiefei Ma Imperial College London, United Kingdom
Yoshitaka Yamamoto University of Yamanashi, Japan
Takehide Soh The Graduate University for Advanced Studies, Japan

Contact

Takehide Soh: soh at nii.ac.jp

Webmaster: Takehide Soh (E-mail soh at nii.ac.jp)