JIAF 2013

Programme version pdf

Vue globale

Mercredi 12 juin 2013 Jeudi 13 juin 2013 Vendredi 14 juin 2013
08:00 08:00-08:45 Accueil
08:45-09:00 Ouverture des journées
09:00 09:00-10:00 Exposé de synthèse 09:00-10:00 Exposé de synthèse 09:00-10:00 Exposé de synthèse
10:00 10:00-10:30 Pause café 10:00-10:30 Pause café 10:00-10:30 Pause café
10:30-12:30 Session 1 : Argumentation et ontologies 10:30-12:30 Session 3 : Belief change, belief merging, revision 10:30-12:30 Compilation, contraintes, SAT, QBF
11:00
12:00
12:30-14:00 Repas 12:30-14:00 Repas 12:30-14:00 Repas
13:00
14:00 14:00-15:00 Exposé de synthèse 14:00-15:00 Exposé de synthèse 14:00-15:00 Exposé de synthèse
15:00 15:00-16:00 Session 2 : Raisonnement analogique, proximité, défauts 15:00-15:30 Session 4. Modèles graphiques 15:00-16:30 Discussion ouverte : Positionnement de l'IA
15:30-15:45 Pause café
15:45-17:00 Session 4. Modèles graphiques
16:00 16:00-16:30 Pause café
16:30-17:30 Session 2 : Raisonnement analogique, proximité, défauts
17:00
17:30-18:30 Assemblée Générale IAF
17:45-19:00 Visite guidée d'Aix
18:00
19:00 19:00-20:00 Réception 19:00-23:00 Repas de Gala
20:00
21:00
22:00

Programme détaillé

Mercredi 12 juin 2013

08:00-08:45 Accueil - Salle du conseil

08:45-09:00 Ouverture des journées - Amphi Est

09:00-10:00 Exposé de synthèse - Amphi Est

Les indicateurs bibliométriques permettent-ils d'évaluer la qualité de la recherche ?

Denis Bouyssou

10:00-10:30 Pause café - Hall

10:30-12:30 Session 1 : Argumentation et ontologies - Amphi Est

  • A Conditional Logic-Based Argumentation Framework

    Philippe Besnard, Eric Grégoire et Badran Raddaoui

    Article
  • Using rewriting rules to compute successful modifications of an argumentation system

    Dionysios Kontarinis, Alan Perotti, Elise Bonzon, Nicolas Maudet, Leon van der Torre et Serena Villata

    Article
  • Révision de systèmes d'argumentation : changement minimal du statut des arguments

    Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly et Pierre Marquis

    Article
  • Arguments using causal and ontological knowledge (papier court)

    Philippe Besnard, Marie-Odile Cordier et Yves Moinard

    Article
  • Using pattern structures for analyzing ontology-based annotations of biomedical data (papier court)

    Adrien Coulet, Florent Domenach, Mehdi Kaytoue et Amedeo Napoli

    Article

12:30-14:00 Repas - RU des Fenouillères

14:00-15:00 Exposé de synthèse - Amphi Est

Comment adapter un cas ?

Jean Lieber

15:00-16:00 Session 2 : Raisonnement analogique, proximité, défauts - Amphi Est

  • Reasoning about negligibility and proximity

    Philippe Balbiani

    Article
  • Proportions analogiques et factorisation de l'information dans les treillis distributifs

    Nelly Barbot, Laurent Miclet et Henri Prade

    Article

16:00-16:30 Pause café - Hall

16:30-17:30 Session 2 : Raisonnement analogique, proximité, défauts - Amphi Est

  • Chercher l'intrus - Un problème de proportions logiques

    Henri Prade et Gilles Richard

    Article
  • Rational Closure for Description Logics of Typicality

    Laura Giordano, Valentina Gliozzi, Nicola Olivetti et Gian Luca Pozzato

    Article

17:30-18:30 Assemblée Générale IAF - Amphi Est

19:00-20:00 Réception - Pavillon Vendôme

Réception au Pavillon Vendôme (32 Rue Célony 13100 Aix-en-Provence, voir la carte dans la rubrique Infos pratiques).

Jeudi 13 juin 2013

09:00-10:00 Exposé de synthèse - Amphi Est

Awareness and knowledge

Hans van Ditmarsch

10:00-10:30 Pause café - Hall

10:30-12:30 Session 3 : Belief change, belief merging, revision - Amphi Est

  • Logiques pour le changement de croyance : une histoire de tout ou presque

    Andreas Herzig

    Article
  • Sur la fusion de croyances égalitaire

    Patricia Everaere, Sébastien Konieczny et Pierre Marquis

    Article
  • Contraction en logique propositionnelle finie

    Thomas Caridroit, Sébastien Konieczny et Pierre Marquis

    Article
  • Révisor : un ensemble de moteurs d'adaptation de cas par révision des croyances (papier court)

    Julien Cojan, Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber, Emmanuel Nauer et Gabin Personeni

    Article
  • Measuring Inconsistency Through Minimal Proofs (papier court)

    Said Jabbour et Badran Raddaoui

    Article

12:30-14:00 Repas - RU des Fenouillères

14:00-15:00 Exposé de synthèse - Amphi Est

Graphes de terrain : panorama de problèmes et zoom sur la recommandation de lien

Clémence Magnien

15:00-15:30 Session 4. Modèles graphiques - Amphi Est

  • Cartes cognitives probabilistes (papier court)

    Aymeric Le Dorze, Beatrice Duval, Laurent Garcia, David Genest, Philippe Leray et Stephane Loiseau

    Article
  • Observations incertaines et observations probabilistes dans un réseau bayésien (papier court)

    Véronique Delcroix et Ali Ben Mrad

    Article

15:30-15:45 Pause café - Hall

15:45-17:00 Session 4. Modèles graphiques - Amphi Est

  • Réseaux de préférences conditionnelles et logique possibiliste

    Didier Dubois, Henri Prade et Fayçal Touazi

    Article
  • Probabilistic Conditional Preference Networks

    Damien Bigot, Hélène Fargier, Jérôme Mengin et Bruno Zanuttini

    Article
  • An Abstraction Technique for the Verification of Artifact-Centric Systems (papier court)

    Francesco Belardinelli, Alessio Lomuscio et Fabio Patrizi

    Article Transparents

17:45-19:00 Visite guidée d'Aix

Le point départ de la visite guidée est l'Office du Tourisme d'Aix-en-Provence (300 Avenue Giuseppe Verdi 13100 Aix-en-Provence, voir la carte dans la rubrique Infos pratiques).

19:00-23:00 Repas de Gala - Hôtel Aquabella

Repas de Gala à l'hôtel Aquabella (2 Rue des étuves 13100 Aix-en-Provence, voir la carte dans la rubrique Infos pratiques).

Vendredi 14 juin 2013

09:00-10:00 Exposé de synthèse (présidé par Charlotte Truchet) - Amphi Ouest

Vers des algorithmes plus autonomes

Frédéric Saubion

10:00-10:30 Pause café - Hall

10:30-12:30 Compilation, contraintes, SAT, QBF - Amphi Est

  • Sémantique fonctionnelle pour les QBF non prénexes

    Igor Stéphan

    Article Transparents
  • Arbres de décision affine pour le comptage de modèles

    Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis et Samuel Thomas

    Article Transparents
  • Vers une carte de compilation pour des langages de représentation hétérogènes

    Hélène Fargier, Pierre Marquis et Alexandre Niveau

    Article Transparents
  • Caractérisation des schémas de partage garantissant la compilation distribuée des modèles d'un système (papier court)

    Vincent Armant

    Article
  • Problèmes de contraintes hybrides pour l'ordonnancement d'activités (papier court)

    Jean-François Condotta, Issam Nouaouri, Hamid Allaoui et Gilles Goncalves

    Article

12:30-14:00 Repas - RU des Fenouillères

14:00-15:00 Exposé de synthèse - Amphi Est

Problématiques du projet ASPIQ : Techniques ASP pour l'interrogation d'informations web hétérogènes multisources à grande échelle

Odile Papini

Dates importantes

News

Association Française pour la Programmation par Contraintes GDR I3 - Intelligence Artificielle Fondamentale Institut National de Recherche en Informatique et en Automatique Aix-Marseille Université Fédération de Recherche en Informatique et Interaction d'Aix-Marseille Laboratoire des Sciences de l'Information et des Systèmes Laboratoire d'Informatique Fondamentale de Marseille Conseil Général des Bouches du Rhône Communauté du Pays d'Aix COSYTEC Index Education Prologia