Ci-dessous, les différences entre deux révisions de la page.
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] (Version actuelle) 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) |