Fifth CSPSAT & ASP Seminar
hosted jointly by CSPSAT2 and NII Joint Research Projects


General Information

Date : October 11th(Thu) - 12th(Fri), 2012
Place : Room #421 on the 4th floor of Science and Technology Research Building 3, Rokkodai Campus,
Kobe University [Campus Map: Building #23]
Address : 1-1 Rokkodai, Nada, Kobe 657-8501, Japan


October 11th (Thu)

14:00 -- 14:05 Opening
14:05 -- 15:20 Invited Talk
Potassco, the Potsdam Answer Set Solving Collection [PDF]
Torsten Schaub

Abstract: Answer Set Programming (ASP) is on the verge of leaving the academic ivory tower and becoming an interesting alternative to established declarative solving paradigms in many application areas.
This is due to its appealing combination of a highly expressive yet simple modeling language with high performance solving technology. This talk gives an overview of the open source project Potassco, the Potsdam Answer Set Solving Collection, bundling tools for Answer Set Programming developed at the University of Potsdam.
Given that certain applications require extensions or even an integration with other computing paradigms in order to be successfully solved, we also discuss some extensions to ASP and elaborate upon the resulting systems.
15:20 -- 15:50 Coffee break
15:50 -- 16:50 Session (1)
CSPSAT and CSPSAT2 Projects [PDF]
Naoyuki Tamura and Katsumi Inoue
A Constraint-Based Approach to Error Localization [PDF]
Hiroshi Hosobe, Shin Nakajima, and Michel Rueher
16:50 -- 17:00 Coffee break
17:00 -- 18:00 Session (2)
On the Revision of Logic Programs under Answer Set Semantics [PDF]
Katsumi Inoue and Nicolas Schwind
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix [PDF]
Mutsunori Banbara, Naoyuki Tamura, and Katsumi Inoue
19:00 -- Dinner

October 12th (Fri)

10:00 -- 11:00 Session (3)
An Extension of MaxSAT and Its Application to the Coalition Structure Generation Problem [PDF]
Miyuki Koshimura and Xiaojuan Liao
Towards Incremental SAT-based CSP Solving: Experimental Results for the Hamiltonian Cycle Problem [PDF]
Takehide Soh, Funakoshi Taisuke, Naoyuki Tamura, and Mutsunori Banbara
11:00 Closing

Participants (alphabetical order)

Alejandro Arbelaez University of Tokyo / JFLI, Japan *
Mutsunori Banbara Kobe University, Japan *
Hiroshi Hosobe National Institute of Informatics, Japan *
Katsumi Inoue National Institute of Informatics, Japan *
Charles Jordan Japan Science and Technology Agency, Japan *
Miyuki Koshimura Kyushu University, Japan *
Xiaojuan Liao Kyushu University, Japan *
Toshiki Saitoh Kobe University, Japan
Nicolas Schwind National Institute of Informatics, Japan *
Torsten Schaub University of Potsdam, Germany *
Takehide Soh Kobe University, Japan *
Naoyuki Tamura Kobe University, Japan *
Tomoya Tanjo Transdisciplinary Research Integration Center, Japan *

Symbols * mean that they join the dinner.


Time : October 11th (Thu) 19:00 --
PlaceUOKU (魚喰)
4-18, 3-chome, Nagate-cho, Nada-ku, Kobe, Hyogo 657-0027
〒657-0027 神戸市灘区永手町3丁目4-18
TEL: (078) 842-5030
Fee:6,000 JPY (for faculty),3,000 JPY (for student)