Journées d'Intelligence Artificielle Fondamentale 2008 (IAF'08)

21-23 Novembre 2008 - Paris Dauphine

Actes électroniques

Ces journées sont la principale animation du thème Intelligence Artificielle Fondamentale (thème 1) du GDR Information-Interaction-Intelligence.

Les journées étaient composées d'exposés de synthèse et de contributions sélectionnées.

Comité de Programme

Laurence Cholvy (ONERA, Toulouse)
Marie-Odile Cordier (IRISA, Rennes)
Philippe Dague (LRI, Paris)
Didier Dubois (IRIT, Toulouse)
Laurent Garcia (LERIA, Angers)
Robert Jeansoulin (IGM, Marne la Vallée)
Daniel Kayser (LIPN, Paris)
Sébastien Konieczny (CRIL, Lens)
Jérôme Lang (LAMSADE, Paris)
Pierre Marquis (CRIL, Lens)
Nicolas Maudet (LAMSADE, Paris)
Marie Laure Mugnier (LIRMM, Montpellier)
Amedeo Napoli (LORIA, Nancy)
Pascal Nicolas (LERIA, Angers)
Odile Papini (LSIS, Marseille)
Henri Prade (IRIT, Toulouse)
Marie Christine Rousset (LIG, Grenoble)
Lakhdar Sais (CRIL, Lens)
Thomas Schiex (INRA, Toulouse)
Michèle Sebag (LRI, Paris)
Pierre Siegel (LSIS, Marseille)
Laurent Simon (LRI, Paris)

Comité d'Organisation

Nicolas Maudet (Président)
Fabien Badeig
Flavien Balbo
Gauvain Bourgne
Tristan Cazenave
Yann Chevaleyre
Wassila Ouerdane
Guillaume Ravilly-Abadie

Exposés de synthèse

Intelligence Artificielle et Sciences Cognitives (PDF)
Catherine Garbay, Daniel Kayser, Jean Lorenceau, Sabine Ploux
Compilation de connaissances (PDF)
Hélène Fargier, Pierre Marquis
Causalité : comparons les approches (PDF)
Leila Amgoud, Salem Benferhat, Philippe Besnard, Jean-François Bonnefon, Philippe Chassy, Marie-Odile Cordier, Robert Demolombe, Didier Dubois, Florence Dupin de Saint-Cyr, Denis Hilton, Daniel Kayser, François Levy, Yves Moinard, Rui Da Silva Neves, Farid Nouioua, Sara Nouioua-Boutouhami, Henri Prade, Salma Smaoui, Camilla Schwind
Diagnostic, diagnosticabilité et réparabilité (PDF)
Marie Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, Thierry Vidal
Raisonnement distribué en pair à pair pour le Web sémantique (PDF)
Marie Christine Rousset
Apprentissage : nouvelles frontières
Michèle Sebag

Contributions sélectionnées

Vers une pertinence orientée agent des informations (PDF - 169.5 ko)
Stéphanie Roussel, Laurence Cholvy
Logique de la mise à jour des croyances objectives (PDF - 94.2 ko)
Philippe Balbiani, Pablo Seban
Apprentissage de réseaux de préférences ceteris paribus (PDF - 190.7 ko)
Frédéric Koriche, Bruno Zanuttini
Pondérations et collisions en logique des pénalités (PDF - 192 ko)
Nathalie Chetcuti-Sperandio, Sylvain Lagrue
De la déduction dans le fragment {E, &, ¬a} de la logique du premier ordre à SAT (PDF - 188.7 ko)
Khalil Ben Mohamed, Michel Leclère, Marie Laure Mugnier
An axiomatization and a tableau calculus for the logic of comparative concept similarity (PDF - 118.9 ko)
Regis Alenda, Nicolas Olivetti, Camilla Schwind
Extraire et modéliser des préférences à partir d'un dialogue (PDF - 80.4 ko)
Nicholas Asher, Elise Bonzon
Une mise sous forme prénexe préservant les résultats intermédiaires pour les formules booléennes quantifiées (PDF - 185 ko)
Benoit Da Mota, Igor Stéphan, Pascal Nicolas
Redondance dans les CNF : laissons le solveur agir (PDF - 100.8 ko)
Cédric Piette
La méthode RSF : une mise en oeuvre indépendante du solveur (PDF - 185.5 ko)
Julien Hué, Odile Papini, Eric Wurbel
Traiter les exceptions en ASP à partir d'une représentation compacte des informations (PDF - 178.4 ko)
Stéphane Ngoma, Laurent Garcia, Pascal Nicolas
Contrepartie sémantique de la révision locale de croyances par le modèle C-structure (PDF - 169.5 ko)
Omar Doukari
Preuve Dialectique dans les Systèmes d’Argumentation à Contrainte (PDF - 163.1 ko)
Caroline Devred, Sylvie Doutre
Une inférence lexicographique à partir de bases de croyances partiellement pré-ordonnées (PDF - 212 ko)
Safa Yahi, Salem Benferhat, Sylvain Lagrue, Mariette Sérayet, Odile Papini
Fouille de méta-données pour la découverte de mappings entre taxonomies : une approche combinant logique et probabilités (PDF - 170.2 ko)
Rémi Tournaire, Marie Christine Rousset

Téléchargements

Actes imprimables (ensemble des contributions sélectionnées) (PDF)
Archive contenant l'intégralité des actes (ZIP)
Programme détaillé des journées (HTML)
Affiche (PDF)