Cette journée FR@IJCAI, qui aura lieu le vendredi 7 juillet, donnera aux participants de la plateforme un avant-goût des recherches françaises qui seront présentées à IJCAI 2017 à Melbourne. Tous les chercheurs de France qui ont un article accepté à IJCAI 2017 ont été invités à venir le présenter lors de cette journée. Nous sommes en attente de leur réponse pour l'instant, mais le programme sera disponible dès que possible.

• 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)

• 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)

• 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)

• 12h00 - 12h15 - Belief Manipulation Through Propositional Announcements (Aaron Hunter, Francois Schwarzentruber, Eric Tsang)