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)
Generating Test Cases with Answer Set Programming
Hitomi Komata (Tokyo Institute of Technology) and Katsumi Inoue (NII)

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) *
Miyuki Koshimura Kyushu University, Japan
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