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 Study of Pseudo-Boolean Constraints
Naoyuki Tamura (Kobe University)

(joint work with Yushi Minami, Takehide Soh, and Mutsunori Banbara)
16:50 〜 17:00 Break
17:00 〜 18:00 Research Presentation
Refining Coverage-Based Clause Reduction Heuristics for CDCL Solvers
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, and Hien Dinh Nguyen)
20:00 〜 Dinner

Wed 15 November 2017

10:00 〜 12:00 Research Presentation
Integrated Evaluation of Answer Set Programs with External Source Access
Tobias Kaminski (Vienna University of Technology)

(joint work with Thomas Eiter, Christoph Redl, and Antonius Weinzierl)
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 *
Kazuaki Banzai Univ. of Tokyo/AIST, Japan
Noriaki Chikara National Institute of Technology, Tokuyama College *
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 *
Takashi Kitamura AIST, Japan
Hitomi Komata Tokyo Institute of Technology, Japan (M) *
Miyuki Koshimura Kyushu University, Japan
Yusuke Matsunaga 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 *
Aolong Zha Kyushu University, Japan (M) *

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


Date : 2017年11月14日(火) 20時〜
Place : 魚喰
兵庫県神戸市灘区永手町3-4-18 B1F

Date: 2017-11-08 21:35:33 JST