Mon, Jun 21 AM 10:00 - 11:40 |
(1) |
10:00-10:25 |
A decision-making system in consideration of one's tastes |
Takashi Kokawa, Hitoshi Ogawa (Ritsumei Univ.) |
(2) |
10:25-10:50 |
Participatory Modeling and Multiagent-Based Simulation |
Daisuke Torii, Toru Ishida (Kyoto Univ.) |
(3) |
10:50-11:15 |
Kernel-based Discriminative Learning Algorithms for Labeling Sequences, Trees and Graphs |
Hisashi Kashima, Yuta Tsuboi (IBM Research) |
(4) |
11:15-11:40 |
Solving Job-shop Scheduling Problems with Multiple SAT Solvers |
Takehide Soh (Kobe Univ.), Katsumi Inoue (NII) |
Mon, Jun 21 PM 13:00 - 16:50 |
(5) |
13:00-14:00 |
[Invited Talk]
Logical Foundation of Speculative Computation |
Ken Satoh (NII) |
|
14:00-14:10 |
Break ( 10 min. ) |
(6) |
14:10-14:35 |
Computing Circumscriptive Models by means of Answer Set Programming |
Toshiko Wakaki (Shibaura Inst. of Tech.), Katsumi Inoue (NII) |
(7) |
14:35-15:00 |
Preprocessing Clause Sets by Abstract Model Generation |
Mayumi Umeda, Miyuki Koshimura, Ryuzo Hasegawa (Kyushu Univ.) |
(8) |
15:00-15:25 |
Upside-Down Transfromation in SOL and its Application |
Koji Iwanuma (Yamanashi Univ.), Katsumi Inoue (NII), Hidetomo Nabeshima (Yamanashi Univ.) |
|
15:25-15:35 |
Break ( 10 min. ) |
(9) |
15:35-16:00 |
A genetic algorithm in new selection method
-- Theory -- |
Tetsuaki Hirahaya, Satoshi Sawatani, Yasuko Munehisa, Tomo Munehisa (Univ. of Yamanashi) |
(10) |
16:00-16:25 |
A new selection method in Genetic Algorithm(2)
-- Experiments by De Jong's functions -- |
Satoshi Sawatani, Tetsuaki Hirahaya, Yasuko Munehisa, Tomo Munehisa (Univ. of Yamanashi) |
(11) |
16:25-16:50 |
Accelerating Boltzmann machine |
Daisuke Itoh, Keita Torii, Tomo Munehisa (Univ. of Yamanashi) |