The CRIL-NII Collaborative Meeting on Reasoning about Dynamic Constraint Networks

Information

Image flottante
  • Dates:
  • 22 - 23 November 2012.
  • Venue:
  • Université d'Artois,
    Faculté des Sciences Jean Perrin,
    Salle des Thèses, 2nd floor of the Prestige Building.
  • Address:
  • Rue Jean Souvraz, Lens, France.

    Participants

  • Gilles Audemard
  • University of Artois (Lens, France)
  • Mutsunori Banbara
  • Kobe University (Kobe, Japan)
  • Hei Chan
  • Transdisciplinary Research Integration Center (Tokyo, Japan)
  • Tiago De Lima
  • University of Artois (Lens, France)
  • Hiroshi Hosobe
  • National Institute of Informatics (Tokyo, Japan)
  • Katsumi Inoue
  • National Institute of Informatics (Tokyo, Japan)
  • S├ębastien Konieczny
  • University of Artois (Lens, France)
  • Sylvain Lagrue
  • University of Artois (Lens, France)
  • Daniel Le Berre
  • University of Artois (Lens, France)
  • Christophe Lecoutre
  • University of Artois (Lens, France)
  • Pierre Marquis
  • University of Artois (Lens, France)
  • Hidetomo Nabeshima
  • Yamanashi University (Yamanashi, Japan)
  • Tenda Okimoto
  • Transdisciplinary Research Integration Center (Tokyo, Japan)
  • Tony Ribeiro
  • National Institute of Informatics (Tokyo, Japan)
  • Olivier Roussel
  • University of Artois (Lens, France)
  • Lakdhar Sais
  • University of Artois (Lens, France)
  • Nicolas Schwind
  • National Institute of Informatics (Tokyo, Japan)
  • Takehide Soh
  • Kobe University (Kobe, Japan)
  • Naoyuki Tamura
  • Kobe University (Kobe, Japan)
  • Yoshitaka Yamamoto
  • Yamanashi University (Yamanashi, Japan)
  • All other members from CRIL are welcome to attend the presentations.
  • Program (tentative)

    List of presentations

    Presentation ID
    Details
    #1
    [slides]Propositional merging in the light of social choice theory
    [abstract]Patricia Everaere, *Sébastien Konieczny, Pierre Marquis and Nicolas Schwind.
    #2
    [slides]Domain-Specific Language Copris for Constraint Programming in Scala
    [abstract]*Naoyuki Tamura, Tomoya Tanjo and Mutsunori Banbara.
    #3
    [slides]Generating Event-Sequence Test Cases by Constraint Programming and Answer Set Programming
    [abstract]*Mutsunori Banbara, Naoyuki Tamura and Katsumi Inoue.
    #4
    [slides]Towards Incremental SAT-based CSP Solving: Experimental Results for the Hamiltonian Cycle Problem
    [abstract]*Takehide Soh, Funakoshi Taisuke, Naoyuki Tamura and Mutsunori Banbara.
    #5
    [slides]Constraint Satisfaction in Bayesian Networks
    [abstract]*Hei Chan and Adnan Darwiche.
    #6
    [slides]Complete/Incomplete Algorithms for Multi-Objective DCOP
    [abstract]*Tenda Okimoto, Suguru Ueda, Atsushi Iwasaki, Yuko Sakurai, Makoto Yokoo and Katsumi Inoue.
    #7
    [slides]A Glimpse at Knowledge Compilation
    [abstract]*Pierre Marquis.
    #8
    [slides]Beyond Classical Clause Learning
    [abstract]*Lakhdar Sais.
    #9
    [slides]Sat4j dashboard, X-ray and control your search
    [abstract]*Daniel Le Berre and Stéphanie Roussel.
    #10
    [slides]Inference and Learning on Boolean Dynamic Networks
    [abstract]*Katsumi Inoue.
    #11
    [slides]Exploring the Power of Soft Constraints
    [abstract]*Hiroshi Hosobe.
    #12
    [slides]On subclasses of non-monotone dualization equivalent to monotone dualization
    [abstract]*Yoshitaka Yamamoto, Koji Iwanuma and Katsumi Inoue.
    #13
    [slides]On Reasoning about Agents's Capabilities
    [abstract]*Tiago de Lima.
    #14
    [slides]Weighted CSP and Weighted Table Constraints
    [abstract]*Olivier Roussel.
    #15
    [slides]A brief description of techniques embedded in glucose
    [abstract]*Gilles Audemard and Laurent Simon.
    #16
    [slides]A quick overview of learning techniques developed for CSP at CRIL
    [abstract]*Christophe Lecoutre.
    #17
    [slides]Reasoning with partial preorders
    [abstract]*Sylvain Lagrue.

    Other Remarks