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
france_at_ijcai:presentation [2017/06/20 22:35]
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)