Programme

La proposition de programme ci-dessous est provisoire. En revanche, l'ensemble (non ordonné dans le temps) des interventions est définitif.

9 h - 10 h : exposé invité PFIA / IAF, Eyke Hüllermeier, "Preferences in Artificial Intelligence and Machine Learning"
10 h 30 - 12 h 30
- Andreas Herzig, Emiliano Lorini and Faustine Maffre. A poor man's epistemic logic based on propositional assignment and higher-order observation
- Nicola Olivetti and Gian Luca Pozzato. A natural sequent calculus for Lewis’ counterfactual logic V
- Bénédicte Legastelois, Marie-Jeanne Lesot and Adrien Revault D'Allonnes. Typologie d'axiomes pour une logique modale pondérée
- Francesco Belardinelli. A Logic of Knowledge and Strategies with Imperfect Information
14 h - 15 h 30
- Quentin Cohen-Solal, Maroua Bouzid and Alexandre Niveau. An algebra of granular temporal relations
- Michael Sioutis, Jean-François Condotta, Yakoub Salhi and Bertrand Mazure. Generalized Qualitative SpatioTemporal Reasoning: Complexity and Tableau Method
- Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frédéric Maris and Maël Valais. La logique facile avec TouIST (formalisez et résolvez facilement des problèmes du monde réel)
16 h - 17 h : prix de thèse AFIA, Jean-Guillaume Fages

9 h - 10 h : exposé invité PFIA / RJCIA, Milad Doueihi
10 h 30 - 12 h : session démos commune IAF/JFSMA/RJCIA ; pour IAF :
- TouIST (TOUlouse Integrated Satisfiability Tool). Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frédéric Maris, Maël Valais
13 h 30 - 15 h 30
- Exposé invité IAF : Eric Duchêne (LIRIS, Lyon)
- Nadia Creignou, Raida Ktari and Odile Papini. Révision de bases de croyances : complexité de la vérification de modèle
- Jean Lieber. Révision des croyances dans une clôture propositionnelle de contraintes linéaires
- Bruno Zanuttini. Sur des propriétés structurelles des formules de Horn
16 h - 17 h 30
- Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly and Pierre Marquis. Forçage d'extension en argumentation abstraite par optimisation booléenne
- Jérôme Delobelle, Sébastien Konieczny and Srdjan Vesic. On the Aggregation of Argumentation Frameworks
- Nicolas Hug, Henri Prade and Gilles Richard. Raisonnement analogique pour la recommandation : premières expérimentations
- Amélie Levray, Salem Benferhat and Karim Tabia. Transformations probabilistes-possibilistes: conditionnement, inférence et modèles graphiques
17 h 30 - 18 h 30 : discussion sur le successeur de Nicolas Maudet, IAF 2016 et 2017, le GDR IA...
20 h : soirée bretonne PFIA

9 h - 10 h : exposé invité PFIA / JFSMA, Jeremy Pitt
10 h 30 - 12 h
- Exposé invité IAF : Vincent Merlin (CREM, Caen)
- Sylvain Bouveret and Michel Lemaître. Séquences de choix sincères et partages de biens indivisibles
- Didier Dubois, Henri Prade and Agnès Rico. Le cube des oppositions - Une structure à la base de nombreux formalismes de représentation des connaissances