Scientific program of the seminar (December 8, 2016), room P309

  • 9h30-10h00: Coffee
  • 10h-10h45: Boolean Multi-Criteria Optimization - Daniel Le Berre
  • 10h45-11h30: Improving Model Counting by Leveraging Definability - Pierre Marquis
  • 11h30-12h15: General Game Playing - Frederic Koriche
  • 12h15-14h15: Lunch
  • 14h15-15h00: Learning from Interpretation Transition: Algorithms, Extensions and Applications - Katsumi Inoue
  • 15h00-15h45: Robustness for Team formation and Coalition Structure Generation - Tenda Okimoto
  • 15h45-16h15: Coffee
  • 16h15-17h00: Belief Revision Games - Nicolas Schwind