• Présidents du Comité de Programme : Nicolas Maudet (LIP6) et Bruno Zanuttini (GREYC)
• Actes complets : PDF

Articles

• Francesco Belardinelli
  A Logic of Knowledge and Strategies with Imperfect Information
• Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frédéric Maris, Maël Valais
  La logique facile avec TouIST (formalisez et résolvez facilement des problèmes du monde réel)
• Sylvain Bouveret, Michel Lemaître
  Séquences de choix sincères et partages équitables de biens indivisibles
• Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau
  Une algèbre des relations temporelles granulaires pour le raisonnement qualitatif
• Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
  Forçage d'extension en argumentation abstraite par optimisation booléenne
• Nadia Creignou, Raida Ktari, Odile Papini
  Révision de bases de croyances : complexité de la vérification de modèle
• Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic
  Agrégation de systèmes d'argumentation
• Didier Dubois, Henri Prade, Agnès Rico
  Le cube des oppositions - Une structure à la base de nombreux formalismes de représentation des connaissances
• Andreas Herzig, Emiliano Lorini, Faustine Maffre
  Une logique épistémique modeste basée sur les observations d'ordre supérieur
• Nicolas Hug, Henri Prade, Gilles Richard
  Raisonnement analogique pour la recommandation : premières expérimentations
• Bénédicte Legastelois, Marie-Jeanne Lesot, Adrien Revault D'Allonnes
  Typologie d'axiomes pour une logique modale pondérée
• Amélie Levray, Salem Benferhat, Karim Tabia
  Transformations probabilistes-possibilistes : conditionnement, inférence et modèles graphiques
• Jean Lieber
  Révision des croyances dans une clôture propositionnelle de contraintes linéaires
• Nicola Olivetti, Gian Luca Pozzato
  A natural sequent calculus for Lewis' counterfactual logic V
• Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure
  Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method
• Bruno Zanuttini
  Sur des propriétés structurelles des formules de Horn

Exemple de citation

Un Pr\'enom Un Nom, Un Coauteur, and Un Autre Coauteur. Le titre d'un article. In Actes des 9es Journées d'Intelligence Artificielle Fondamentale (IAF 2015), 2015.

BibTeX

@InProceedings{UnNom.IAF.2015,
  author =       {{Un Pr\'enom} {Un Nom} and Un Coauteur and Un {Autre Coauteur}},
  title =        {Le titre d'un article},
  booktitle =    {Actes des 9es Journ\'ees d'Intelligence Artificielle Fondamentale (IAF~2015)},
  year =         {2015}
}