The 11th CSPSAT and ASP Seminar
hosted by CSPSAT and NII Joint Research Projects

General Information

Tue 14 to Wed 15 November 2017
Room #421 on the 4th floor of Science and Technology Research Building 3, Rokkodai Campus, Kobe University
神戸大学自然科学総合研究棟3号館(東)4F 渕野グループ プレゼンテーション室(421号室)
[Campus Map: Building #65]
1-1 Rokkodai, Nada, Kobe 657-8501, Japan
〒657-8501 兵庫県神戸市灘区六甲台町1-1


Tue 14 November 2017

14:30 〜 15:30 Invited Talk
From SAT to ASP and back!?
Torsten Schaub (University of Potsdam)

Abstract (PDF)
15:30 〜 15:50 Break
15:50 〜 16:50 Research Presentation
Lattice Theoretic Analysis of Pseudo-Boolean Constraints
Naoyuki Tamura (Kobe University)
16:50 〜 17:00 Break
17:00 〜 18:00 Research Presentation
Refining Coverage-Based Clause Reduction Heuristics for CDCL Solvers (tentative)
Hidetomo Nabeshima (University of Yamanashi)
18:00 〜 18:10 Break
18:10 〜 19:10 Research Presentation
A Linear Algebraic Approach to Answer Set Programming
Katsumi Inoue (National Institute of Informatics)

(joint work with Chiaki Sakama, Taisuke Sato, Hien Dinh Nguyen)
20:00 〜 Dinner

Wed 15 November 2017

10:00 〜 12:00 Research Presentation
Answer Set Programs with External Source Access (tentative)
Tobias Kaminski (Vienna University of Technology)
Hitomi Komata (Tokyo Institute of Technology)

Participants (alphabetical order)

Mutsunori Banbara Kobe University, Japan *
Naoki Hayama Kobe University, Japan (M) *
Naoki Iino Kobe University, Japan (B) *
Tetsuya Ikuta Kobe University, Japan (B) *
Katsumi Inoue National Institute of Informatics, Japan *
Tobias Kaminski Vienna University of Technology, Austria ?
Hitomi Komata Tokyo Institute of Technology, Japan (M) ?
Yushi Minami Kobe University, Japan (M) *
Hidetomo Nabeshima University of Yamanashi, Japan *
Shusuke Ohno Kobe University, Japan (B) *
Tomoya Sunda Kobe University, Japan (M) *
Takahisa Toda The University of Electro-Communications, Japan *
Torsten Schaub University of Potsdam, Germany *
Naoyuki Tamura Kobe University, Japan *

Note that the symbol * means he/she joins the dinner.


Date: 2017-10-05 21:35:33 JST