Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Dernière révision Les deux révisions suivantes
france_at_ijcai:presentation [2017/06/20 22:33]
villata
france_at_ijcai:presentation [2017/06/20 22:35]
villata
Ligne 9: Ligne 9:
   * 10h30 - 10h45 - A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem (Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail)   * 10h30 - 10h45 - A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem (Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail)
  
-* 10h45 - 11h00 - Constraint Games Revisited (Anthony Palmieri, Arnaud Lallouet)+  ​* 10h45 - 11h00 - Constraint Games Revisited (Anthony Palmieri, Arnaud Lallouet)
  
-* 11h00 - 11h15 - An Improved Decision-DNNF Compiler (Pierre Marquis, Jean-Marie Lagniez)+  ​* 11h00 - 11h15 - An Improved Decision-DNNF Compiler (Pierre Marquis, Jean-Marie Lagniez)
  
-* 11h15 - 11h30 - Temporal Sequences of Qualitative Information:​ Reasoning about the Topology of Constant-Size Moving Regions (Quentin Cohen-Solal,​ Maroua Bouzid, Alexandre Niveau)+  ​* 11h15 - 11h30 - Temporal Sequences of Qualitative Information:​ Reasoning about the Topology of Constant-Size Moving Regions (Quentin Cohen-Solal,​ Maroua Bouzid, Alexandre Niveau)
  
-* 11h30 - 11h45 - Strategically Knowing How (Andreas Herzig)+  ​* 11h30 - 11h45 - Strategically Knowing How (Andreas Herzig)
  
-* 11h45 - 12h00 - End-to-end optimization of goal-driven and multi-modal dialogue systems (Florian Strub, Jeremie Mary, Bilal Piot, Olivier Pietquin)+  ​* 11h45 - 12h00 - End-to-end optimization of goal-driven and multi-modal dialogue systems (Florian Strub, Jeremie Mary, Bilal Piot, Olivier Pietquin)
  
-* 12h00 - 12h15 - Belief Manipulation Through Propositional Announcements (Aaron Hunter, Francois Schwarzentruber,​ Eric Tsang)+  ​* 12h00 - 12h15 - Belief Manipulation Through Propositional Announcements (Aaron Hunter, Francois Schwarzentruber,​ Eric Tsang)