France @ IJCAI

 

Présentation

L'evenement France@IJCAI donnera aux participants de la plateforme un avant-goût des recherches françaises qui seront présentées à IJCAI 2018 à Stockholm. Tous les chercheurs de France qui ont un article accepté à IJCAI 2018 ont été invités à venir le présenter lors de cette journée.

La liste des papiers qui seront presentés est la suivante :

  • Samir Aknine « A Decentralised Approach to Intersection Traffic Management »
  • Francesco Belardinelli « Alternating-time Temporal Logic on Finite Traces »
  • Zied Bouraoui « Learning Conceptual Space Representations of Interrelated Concepts »
  • Miguel Couceiro « Behavior of analogical inference w.r.t. Boolean functions »
  • Emmanuel Hébrard « Conflict Directed Clause Learning for Maximum Weighted Clique Problem »
  • Hossein Khani « Ceteris paribus majority for social ranking »
  • Christophe Labreuche « Explaining Multi-Criteria Decision Aiding Models with an Extended Shapley Value »
  • Christophe Labreuche « Accountable Approval Sorting »
  • Jean-Marie Lagniez  « Boosting MCS Enumeration »
  • Erwin Lecarpentier  « Open Loop Execution of Tree-Search Algorithms »
  • Julien Lesca « Service Exchange Problem »
  • Hoai An Le Thi « Accelerated Difference of Convex functions Algorithm and its Application to Sparse Binary Logistic Regression »
  • Patrick Loiseau « Efficient computation of approximate equilibria in discrete Colonel Blotto games »
  • Pierre Marquis « DMC: A Distributed Model Counter »
  • Pierre-Alexandre Murena « An Information Theory based Approach to Multisource Clustering »
  • Odile Papini « Possibilistic ASP Base Revision by Certain Input »
  • Odile Papini « Belief Update in the Horn Fragment »
  • François Schwarzentruber « Small undecidable problems in epistemic planning »
  • Romain Wallon «Pseudo-Boolean Constraints from a Knowledge Representation Perspective »

Le programme (jours et horaires des sessions de France@IJCAI) sera disponible dès que possible.

Programme

Lundi 2 juillet

14:00-14:20 Adrian Haret, Hossein Khani, Stefano Moretti, Meltem Ozturk. Ceteris paribus majority for social ranking
14:20-14:40 Erwan Lecarpentier, Guillaume Infantes, Charles Lesire et Emmanuel Rachelson. Open Loop Execution of Tree-Search Algorithms
14:40-15:00 Dong Quan Vu, Patrick Loiseau, Alonso Silva. Efficient computation of approximate equilibria in discrete Colonel Blotto games
17:00-17:20 Miguel Couceiro, Nicolas Hug, Henri Prade, Gilles Richard. Behavior of analogical inference w.r.t. Boolean functions

Mardi 3 juillet

15:30-15:50 Huan Vu, Samir Aknine, Sarvapali Ramchurn. A Decentralised Approach to Intersection Traffic Management
15:50-16:10 Emmanuel Hébrard, George Katsirelos. Conflict Directed Clause Learning for Maximum Weighted Clique Problem
16:10-16:30 Éric Grégoire, Yacine Izza, Jean-Marie Lagniez. Boosting MCS Enumeration
16:30-16:50 Pierre-Alexandre Murena, Jérémie Sublime, Basarab Matei, Antoine Cornuéjols. An Information Theory based Approach to Multisource Clustering
16:50-17:10 Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon. Pseudo-Boolean Constraints from a Knowledge Representation Perspective
17:10-17:30 Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski. DMC: A Distributed Model Counter

Mercredi 4 juillet

10h35-10h55 Khaled Belahcene, Christophe Labreuche, Vincent Mousseau, Wassila Ouerdane, Nicolas Maudet and Yann Chevaleyre. Accountable approval sorting
10h55-11h15 Christophe Labreuche, Simon Fossier. Explaining Multi-Criteria Decision Aiding Models with an Extended Shapley Value
13h40-14h00 Duy Nhat Phan, Hoai Minh Le, Hoai An Le Thi Accelerated Difference of Convex functions Algorithm and its Application to Sparse Binary Logistic Regression
14h00-14h20 Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin. Alternating-time Temporal Logic on Finite Traces
14h20-14h40 Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber. Small undecidable problems in epistemic planning
16h20-16h40 Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan, Eric Würbel. Possibilistic ASP Base Revision by Certain Input
16h40-17h00 Nadia Creignou, Adrian Haret, Odile Papini, Stefan Woltran. Belief Update in the Horn Fragment
17h00-17h20 Julien Lesca, Taiki Todo. Service Exchange Problem

Jeudi 5 juillet

14h30-14h50 Zied Bouraoui, Steven Schockaert. Learning Conceptual Space Representations of Interrelated Concepts

Organisateurs

Pierre Marquis (CRIL-CNRS/Université d'Artois)

Serena Villata (Université Côte d’Azur, CNRS, Inria, I3S)