Dates importantes

résumés: 27 février
articles: 2 mars
tutoriels: 1 mars
notification: 2 avril
version définitive: 18 avril
Inscription: 4 Mai
JFPC: du 22 au 24 Mai

News

  • Inscription ouverte!
  • Les actes des JFPC sont disponibles.
  • Programme des sessions invitées, tutoriels et contributions acceptées.
  • Le Programme complet des présentations est disponible: (pdf)

 

Programme

Programme des sessions (programme complet au format pdf ou open office)

(cliquer sur l'image pour une version élargie)

Exposé invité JFPC '12 le mardi 22 mai 9h15 - 10h30

Contraintes globales et décompositions
[slides]
Christian Bessiere
LIRMM, U. Montpellier www.lirmm.fr/~bessiere

Résumé:

La propagation de contraintes est un composant essentiel de la programmation par contraintes. Depuis 15 ans, les contraintes globales se sont rendues indispensables parce qu'elles permettent souvent une propagation forte. Il existe plus de 300 contraintes globales. Nous montrerons que beaucoup d'entre elles sont soit NP-difficiles à propager, soit décomposables en contraintes d'arité fixe préservant la propagation. Mais nous montrerons aussi que parmi les contraintes globales polynomiales à propager, il y en a qui n'admettent pas de décomposition de taille polynomiale en contraintes d'arité fixe préservant la propagation. Ce résultat de non-décomposabilité s'applique aussi aux décompositions en SAT : la propagation unitaire sur un nombre polynomial de clauses ne peut pas simuler la propagation de toutes les contraintes globales polynomiales.


Exposé invité JFPC '12 le mercredi 23 mai 9h00 - 10h15

Problèmes d'optimisation sur des séquences
[slides]
Thierry Petit
TASC - Ecole des Mines de Nantes http://www.emn.fr/z-info/ppc/

Résumé:

Dans cet exposé nous nous intéressons aux problèmes d'optimisation impliquant une séquence de variables qui représentent des coûts. Au travers de l'exemple d'un problème d'ordonnancement cumulatif, nous montrons que la programmation par contraintes est une technique bien adaptée à la résolution de ce type de problèmes. Ce constat est particulièrement vrai lorsque des contraintes métier sont posées sur les séquences, indépendamment du ou des critères d'optimisation. Nous présentons plusieurs algorithmes que nous avons développés récemment pour traiter ce type de contraintes.


Exposé invité JFPC/JIAF '12 le jeudi 24 mai 9h00 - 10h15

Programmation Logique Inductive
Christel Vrain1 et Céline Rouveirol2
(1) LIFO, Univ. d'Orléans www.univ-orleans.fr/lifo/Members/vrain
(2) LIPN, Univ. Paris-13 www-lipn.univ-paris13.fr/~rouveirol

Résumé:

L'apprentissage symbolique se définit souvent comme la recherche d'une hypothèse dans un espace de recherche structuré par une relation de généralité. Nous présenterons cette problématique dans le cadre de la Programmation Logique Inductive (appelée aussi apprentissage relationnel) où le langage de représentation des exemples, la théorie du domaine et le langage de concept cible sont des sous-ensembles de la logique du 1er ordre. Le problème certainement le plus étudié est celui de l'apprentissage supervisé (induction prédictive) où étant donnés une théorie du domaine et un ensemble d'exemples (positifs et négatifs), un système de PLI doit induire un programme logique impliquant logiquement tous les exemples positifs et aucun des exemples négatifs. Nous brosserons un très bref panorama des méthodes et résultats fondamentaux en Programmation Logique Inductive, en particulier la propositionnalisation permettant de redécrire un problème relationnel en un problème propositionnel. Nous présenterons aussi l'induction descriptive qui s'intéresse à la découverte de schémas exprimant des régularités dans les données. Enfin, nous aborderons deux domaines de recherche actuels et particulièrement motivants, que ce soit en terme d'applications que de problèmes scientifiques ouverts : l'apprentissage par renforcement relationnel et l'apprentissage statistique relationnel.

Tutoriel JFPC'12 le mercredi 23 mai 14h00 - 15h15

Approches déclaratives pour l'énumération de motifs intéressants
Lhouari Nourine, Jean-Marc Petit, Lakhdar Saïs
CRIL, Université Lille Nord de France, Lens http://www.cril.fr/~sais

Résumé:

Ce cours propose de dresser un tour d'horizon des problèmes de découvertes de motifs intéressants dans des masses de données. Après une brève introduction sur les applications sous-jacentes, nous présenterons leurs principales caractéristiques puis, nous montrerons comment ils peuvent tirer profit de trois champs disciplinaires de l'informatique : l'algorithmique d'énumération, la programmation par contraintes/SAT et les bases de données.

 

Liste des contributions acceptées à JFPC'12

Martin C. Cooper, Frédéric Maris, Pierre Régnier and Florian Franc. Une classe traitable de problèmes de planification temporelle [slides]
Florence Massen, Yves Deville and Pascal Van Hentenryck. Pheromone-based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility [slides]
David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Gutierrez Patricia, Samir Loudni, Jean-Philippe Métivier and Thomas Schiex. Filtering Decomposable Global Cost Function [slides]
Igor Stéphan. Compilation pour les QCSP [slides - missing]
Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean Marie Lagniez and Cédric Piette. Résolution parallèle de SAT : mieux collaborer pour aller plus loin [slides]
Julien Vion. Heuristiques de révision et contraintes hétérogènes [slides]
Martin Cooper and Guillaume Escamocher. Caractérisation de la complexité des classes de CSP définies par des motifs interdits à deux contraintes [slides]
Mathieu Fontaine, Samir Loudni and Boizumault Patrice. Guiding VNS with Tree Decomposition [slides]
Willy Ugarte Rojas, Patrice Boizumault, Samir Loudni and Bruno Cremilleux. Extraction de motifs sous contraintes souples de seuil [slides]
Mohammad Atef and Carmen Gervet. Optimal Allocation of Renewable Energy Parks: A Two-stage Optimization Model [slides]
Jean-Philippe Métivier, Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari and Samir Loudni. Constrained Clustering using SAT [slides]
Christophe Lecoutre, Nicolas Paris, Olivier Roussel and Sebastien Tabary. Propagating Soft Table Constraints [slides]
Philippe Jégou, Achref El Mouelhi, Cyril Terrioux and Bruno Zanuttini. Sur la complexité des algorithmes de backtracking et quelques nouvelles classes polynomiales pour CSP [slides]
Vianney Le Clément de Saint-Marcq, Yves Deville and Christine Solnon. An Efficient Light Solver for Querying the Semantic Web [slides - missing]
Djamel-Eddine Dehani, Christophe Lecoutre and Olivier Roussel. WCSP Integration of Soft Neighborhood Substitutability [slides]
Elise Vareilles, Paul Gaborit, Aldanondo Michel, Sabine Carbonnel and Laurent Steffan. CoFiADe - Constraints Filtering for Aiding Design [slides]
Nadarajen Veerapen, Jorge Maturana and Frédéric Saubion. An Exploration-Exploitation Compromise-Based Adaptive Operator Selection for Local Search [slides]
Emmanuel Hebrard, Marie-José Huguet and Mohamed Siala. Algorithme d'arc-consistance optimal pour une séquence de contraintes AtMost avec cardinalité [slides]
Johan Thapper. The Complexity of Valued Constraint Satisfaction Problems in a Nutshell [slides]
Denys Duchier, Thi-Bich-Hanh Dao and Yannick Parmentier. Analyse Syntaxique par Contraintes pour les Grammaires de Propriétés à Traits [slides]
Nicolas Prcovic. La résolution étendue étroite [slides]
Mehdi Khiari, Arnaud Lallouet and Jérémie Vautard. Extraction de Motifs sous Contraintes Quantifiées [slides]
Mahuna Akplogan, Jerome Dury, Simon De Givry, Gauthier Quesnel, Alexandre Joannon and Fredérick Garcia. Résolution du problème d'allocation de cultures par satisfaction de contraintes pondérées [slides]
Faten Nabli, François Fages, Thierry Martinez and Sylvain Soliman. Boolean Model for Enumerating Minimal Siphons and Traps in Petri-nets [slides]
Cédric Pralet and Gérard Verfaillie. Réseaux temporels simples étendus - Application à la gestion de satellites agiles [slides]
Belaid Benhamou and Pierre Siegel. Towards a new semantics for logic programming [slides]
Belaid Mohammed Said, Claude Michel and Michel Rueher. Boosting local consistency algorithms over floating-point numbers [slides]
Caroline Becker and Hélène Fargier. Maintenance de valeurs alternatives dans les CSP dynamiques: principes et experimentations en configuration de produit [slides]
Cédric Pralet and Gérard Verfaillie. Beyond QCSP for Solving Control Problems [slides]
Philippe Vismara and Remi Coletta. Casser les symétries de variables dans un problème ”presque” injectif [slides]
David Fournier, François Fages and Denis Mulard. Optimisation énergétique de tables horaires de métros: une approche hybride [slides]
Djamal Habet and Donia Toumi. Une recherche locale dirigée par l'analyse de conflits pour la satisfiabilité [slides]
Jean-Charles Régin, Mohamed Rezgui and Arnaud Malapert. Recherche basée sur la substituabilité: une stratégie de recherche efficace pour énumérer toutes les solutions [slides]
Arnaud Malapert and Jean-Charles Regin. Résolution efficace de problèmes simples mais de grande taille [slides]
Jean-Philippe Métivier and Samir Loudni. Agrégations de Among à l’aide de décompositions [slides]
Xavier Dupont, Arnaud Lallouet, Yat Chiu Law, Jimmy H.M. Lee and Charles F. Siu. Programmation par contraintes sur les séquences infinies [slides]
Christian Bessière, Rémi Coletta, Frédéric Koriche, Arnaud Lallouet and Matthieu Lopez. Branch and Learn pour l'acquisition de CSP [slides]
Said Jabbour, Jerry Lonlac and Lakhdar Sais. Extending Resolution by Dynamic Substitution of Boolean Functions [slides]
Said Jabbour, Jerry Lonlac and Lakhdar Sais. Intensification Based Search in Modern SAT Solvers [slides]
Daniel Le Berre, Emmanuel Lonca, Pierre Marquis and Anne Parrain. Calcul de solutions équilibrées pareto optimales : application au problème de gestion des dépendances logicielles [slides]
Alexandre Niveau, Helene Fargier and Cédric Pralet. Set-Labeled Diagrams for CSP Compilation [slides]

 

 

isae, logo emac, logo afpc, logo cnrs, logo enac, logo cosytec, logo insa, logo inria, logo midi pyrenees, logo inra, logo prometil, logo acp, logo ups, logo mairie, logo laas, logo irit, logo