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
Prochaine révision
Révision précédente
france_at_ijcai:presentation [2017/06/20 22:33]
villata
france_at_ijcai:presentation [2017/06/20 22:37]
villata
Ligne 7: Ligne 7:
  
  
-  * 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)