JAPANESE

The Workshop on Learnable Logics and Logical Learning (LLLL, L4)


MemeMedia Laboratory, Hokkaido University
 
22-23 January 2002



Tusday 22 January

14:00-14:30 Inductive Logic and Zero-points
Akihiro Yammaoto (Hokkaido University)

14:30-15:00  Induction and Nonmonotonic Logic
Chiaki Sakama (Wakayama University)

15:00-15:30 Minimal Conditional Answer Computation and SOL
Koji Iwanuma (Yamanashi University)
 

15:30-16:00@Break


16:00-16:30 Prediction-Preserving Reduction on Logical Concept
Koichi Hirata (Kyushu Institute of Technology)

16:30-17:00
Makoto Haraguchi (Hokkaido University)

17:00-17:30 Discovering theoretical terms in learning logic programs
Hiroki Ishizaka (Kyushu Institute of Technology)


18:30 Workshop Dinner
 

Wednesday 23 January

9:30-10:00   A Resolution-based Complete Algorithm for Inverse Entailmen t
Katsumi Inoue  (Kobe University)

10:00-10:30
Hiroki Arimura (Kyushu University)

10:30-11:00   Inductive Inference of Positive Data --Theories and Applications--
Takeshi Shinohara (Kyushu Institute of Technology)


11:00-11:30 Break


11:30-12:30 (Invited talk) Unifying Logic and Learning --Learning and Logic Unified--
Eric Martin (School of Computer Science and Engineering, University of New South Wales, Australia)
 

12:30-13:30 Lunch

 
13:30-14:00 Mathematics Based on Learning Processes
Susumu Hayashi (Faculty of Engineering, Kobe University)
 
14:00-14:30
Yoji Akama (Tohoku University)


14:30-15:00 Break

 
15:00-15:30 Minimum Likelihood Estimation
Taisuke Sato (Tokyo Institute of Technology)

15:30-16:00
Ken Satoh (National Institution of Informatics)


16:00 Closing