Franco-Japanese Seminar on Beyond SAT
Overview
Title | Franco-Japanese Seminar on Beyond SAT |
(co-hosted by NII Collaborative Research Project and CSPSAT Project) | |
Date | January 22 2016 |
Venue | 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 |
Programme
January 22 | |
---|---|
10:30-11:30 | (Invited Talk) |
Enumerating Minimal Unsatisfiable Subsets for Different Reasoning Tasks using Inconsistency Values: the PRISM Platform | |
11:30-12:30 | (Invited Talk) |
Prime Implicates Generation in Equational Logic | |
14:00-14:30 | A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings |
14:45-15:15 | Identifying Influential Agents in DisCSP |
15:30-16:00 | On Opinion Control in Belief Revision Games |
17:30-21:30 | (discussion) |
Technical Discussion on beyond SAT |
Participants
- CRIL-CNRS/Université d’Artois
- Sébastien Konieczny
- Joseph Fourier University
- Sophie Tourret
- National Institute of Informatics
- Katsumi Inoue, Nicolas Schwind
- The University of Electro-Communications
- Takahisa Toda
- Kobe University
- Naoyuki Tamura, Tenda Okimoto, Takehide Soh, Hiromasa Kaneyuki, Masahiro Kawahara, Tatsuya Sako, Tomoya Sunda, Yushi Minami