Journées d’Intelligence Artificielle Fondamentale (JIAF)

Articles acceptés

  • Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev et Mojtaba Mojtahedi. "A gentle introduction to unification in non-classical logics"
  • Sihem Belabbes, Salem Benferhat et Jan Chomicki. "Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies"
  • Aline Hufschmitt, Jean-Noël Vittaut et Nicolas Jouandeau. "Recherche Monte Carlo multi-arbres pour l’exploitation des jeux décomposés"
  • Yannis Dimopoulos, Jean-Guy Mailly et Pavlos Moraitis. "Argumentation-based Negotiation with Incomplete Opponent Profiles"
  • Federico Gobbo et Jean Wagemans. "Adpositional Argumentation (AdArg): A new method for representing linguistic and pragmatic information about argumentative discourse"
  • Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny et Nicolas Maudet. "Combining Extension-based Semantics and Ranking-based Semantics for Abstract Argumentation"
  • Parham Shams, Aurélie Beynier, Sylvain Bouveret et Nicolas Maudet. "Minimizing and balancing envy among agents using Ordered Weighted Average"
  • Arianna Novaro, Umberto Grandi, Dominique Longin et Emiliano Lorini. "Manipulation in Majoritarian Goal-based Voting"
  • David Vigouroux et Sylvain Picard. "FUNN: Flexible Unsupervised Neural Network"
  • Véronique Delcroix et Pierre-Henri Wuillemin. "An early guidance system for a general knowledge-based aiding framework using probabilistic interventions"
  • Valentin Bouziat, Xavier Pucel, Stéphanie Roussel et Louise Travé-Massuyès. "Estimabilité à état unique des systèmes à évènements discrets"
  • Laurent Miclet, Nelly Barbot et Henri Prade. "Une distance dans un ensemble fini ordonné et le cas du treillis de concepts"
  • Philippe Besnard et Vincent Risch. "Consistency Measures, Inconsistency Measures, and Mix Measures (Preliminary Report)"
  • Jean Marie Lagniez, Daniel Le Berre, Tiago de Lima et Valentin Montmirail. "Une approche SAT sensible à la mémoire pour les logiques modales PSPACE"
  • Francesco Belardinelli, Alessio Lomuscio et Vadim Malvone. "An Abstraction-based Method for Verifying Strategic Properties in Multi-agent Systems with Imperfect Information"
  • Thomas Guyet. "Semantic(s) of negative sequential patterns"
  • Jean Lieber, Emmanuel Nauer et Henri Prade. "Exploiter la compétence de couples de cas pour améliorer le raisonnement à partir de cas par analogie"
  • Martin Cooper. "Strengthening Neighbourhood Substitutability"
  • Jérémy Lhez, Chan Le Duc, Thinh Dong et Myriam Lamolle. "Decentralized Reasoning on a Network of Aligned Ontologies with Link Keys"
  • Elise Perrotin, Andreas Herzig, Martin Cooper, Frédéric Maris, Faustine Maffre et Pierre Régnier. "When `knowing whether' is better than `knowing that'"