COCONUT: Agents, Apprentissage, Contraintes

Coconut est une équipe de recherche dont le but est de proposer et combiner des modèles et algorithmes en Contraintes, Apprentissage et Agents.

Site de l'équipe (Actualités, Présentation, Publications, Séminaires ...) : http://www.lirmm.fr/coconut

Publications depuis 2013 - Evaluation 2019

Articles de revues internationales

2017

  1. Constraint Acquisition
    Christian Bessière, Frédéric Koriche, Nadjib Lazaar, Barry O'Sullivan
    Artificial Intelligence, Elsevier, 2017, 244, pp.315-342.

2016

  1. Triangle-based consistencies for cost function networks
    Hiep Nguyen, Christian Bessière, Simon De Givry, Thomas Schiex
    <10.1007/s10601-016-9250-1>
  2. Computing and Restoring Global Inverse Consistency in Interactive Constraint Satisfaction
    Christian Bessière, Hélène Fargier, Christophe Lecoutre

2014

  1. Global Constraints in Distributed Constraint Satisfaction and Optimization
    Christian Bessière, Ismel Brito, Patricia Gutierrez, Pedro Meseguer
    The Computer Journal, Oxford University Press (UK), 2014, 57 (6), pp.906-923.

2012

  1. Corrigendum to ''Min-domain retroactive ordering for Asynchronous Backtracking
    Younes Mechqrane, Mohamed Wahbi, Christian Bessière, El Houssine Bouyakhf, Amnon Meisels, Roie Zivan
    . Constraints, Springer Verlag, 2012, 17, pp.348-355.

2011

  1. Efficient Algorithms for Singleton Arc Consistency
    Christian Bessière, Stephane Cardon, Romuald Debruyne, Christophe Lecoutre
    Constraints, Springer Verlag, 2011, 16, pp.25-53.
  2. Crossroads in Constraint Programming
    Marius Silaghi, Christian Bessière
    IEEE Intelligent Informatics Bulletin, IEEE, 2011, 12 (1), pp.4-5.

2009

  1. Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints
    Christian Bessière, Emmanuel Hébrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
    Artificial Intelligence, Elsevier, 2009, 173, pp.850-875.

2008

  1. Fast Global Filtering for Eternity II
    Eric Bourreau, Thierry Benoist
    Constraint Programming Letters (CPL), CLS, 2008, 3, pp.036-049.
  2. Human Discovery and Machine Learning
    Christopher Dartnell, Eric Martin, Hélène Hagège, Jean Sallantin
    International Journal of Cognitive Informatics and Natural Intelligence, IGI Global, 2008, 2 (4), pp.55-69.

2007

  1. The Complexity of Reasoning with Global Constraints
    Christian Bessière, Emmanuel Hébrard, Brahim Hnich, Toby Walsh
    Constraints, Springer Verlag, 2007, 12 (2), pp.239-259.

2005

  1. Statistical Regimes Across Constrainedness Regions
    C.P. Gomes, C. Fernandez, B. Selman, Christian Bessière
    Constraints, Springer Verlag, 2005, 11 (4), pp.271-293.
  2. Asynchronous Backtracking Without Adding Links: A New Member in the ABT Family
    Christian Bessière, I. Brito, A. Maestre, P. Meseguer
    Artificial Intelligence, Elsevier, 2005, 161, pp.7-24.
  3. An Optimal Coarse-Grained Arc Consistency Algorithm
    Christian Bessière, J.C. Regin, R.H.C. Yap, Y. Zhang
    Artificial Intelligence, Elsevier, 2005, N/A (165), pp.165-185.

2004

  1. A Contradiction-Driven Approach to Theory Formation: Conceptual Issues, Pragmatics in Human Learning, Potentialities
    Germana Da Nóbrega, Stefano A. Cerri, Jean Sallantin
    Journal of the Brazilian Computer Society, Springer Verlag, 2004, 2 (9), pp.37-56.

2003

  1. GAsRULE for Knowledge Discovery
    Nik Nailah Binti Abdullah, Michel Liquière, Stefano A. Cerri
    Applied Artificial Intelligence, Taylor & Francis, 2003, 17 (5-6), pp. 399-417.
  2. Introduction Concept lattice-based theory, methods and tools for knowledge discovery in databases: Application
    Engelbert Mephu Nguifo, Vincent Duquenne, Michel Liquière
    Applied Artificial Intelligence, Taylor & Francis, 2003, 17 (3), pp.177-180.

2002

  1. On Forward Checking for Non-Binary Constraint Satisfaction
    Christian Bessière, P. Meseguer, Eugene C. Freuder, J. Larrosa Bondia
    Artificial Intelligence, Elsevier, 2002, 141, pp.205-224.
  2. Approximate Coherence-Based Reasoning
    Frédéric Koriche
    Journal of Applied Non-Classical Logics, Editions Hermes, 2002, 12 (2), pp.239-258.
  3. 2016

    1. Constrained global optimization for wine blending
      Philippe Vismara, Remi Coletta, Gilles Trombettoni
      Constraints, Springer Verlag, 2016, 21 (4), pp.597-615.
    2. Tractability-preserving Transformations of Global Cost Functions
      David Allouche, Christian Bessière, Patrice Boizumault, Simon De Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Metivier, Thomas Schiex
    3. Strong Local Consistency Algorithms for Table Constraints
      Anastasia Paparrizou, Kostas Stergiou
      Constraints, Springer Verlag, 2016, 21 (2), pp.163-197.
    4. Node selection strategies in interval Branch and Bound algorithms
      Bertrand Neveu, Gilles Trombettoni, Ignacio Araya
      Journal of Global Optimization, Springer Verlag, 2016, 64 (2), pp.289-304.
    5. Fault localization using itemset mining under constraints
      Mehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia Lebbah
      Automated Software Engineering, Springer Verlag, 2016. <10.1007/s10515-015-0189-z>

    2015

    1. Adaptive constructive interval disjunction: algorithms and experiments
      Bertrand Neveu, Gilles Trombettoni, Ignacio Araya
      Constraints, Springer Verlag, 2015, 20 (7), pp.452-467.
    2. Efficient algorithms for strong local consistencies and adaptive techniques in constraint satisfaction problems
      Anastasia Paparrizou
      Constraints, Springer Verlag, 2015, 20 (4), pp.484-485.
    3. LC-mine: a framework for frequent subgraph mining with local consistency techniques
      Brahim Douar, Michel Liquière, Chiraz Latiri, Yahya Slimani
      Knowledge and Information Systems (KAIS), Springer, 2015, 44 (1), pp.1-25.

    2014

    1. Upper Bounding in Inner Regions for Global Optimization under Inequality Constraints
      Ignacio Araya, Gilles Trombettoni, Bertrand Neveu, Gilles Chabert
      Journal of Global Optimization, Springer Verlag, 2014, 60 (2), pp.145-164.
    2. A Projection Bias in Frequent Subgraph Mining Can Make a Difference
      Brahim Douar, Chiraz Latiri, Michel Liquière, Yahya Slimani
      International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2014, 23 (5). <10.1142/S0218213014500055>
    3. Interval Methods for Model Qualification: Methodology and Advanced Application
      Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
      Mathematics in Computer Science, Springer, 2014, 8 (3-4), pp.479-493.

    2013

    1. Special issue on maintenance scheduling: theory and applications
      Ender Ozcan, Christian Artigues, Eric Bourreau, Hasan-Murat Afsar
      Journal of Scheduling, Springer Verlag, 2013, 16 (6), pp.549-550.
    2. A Declarative Approach to View Selection Modeling
      Imene Mami, Zohra Bellahsene, Remi Coletta
      Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2013, Part X - Special Issue on Database- and Expert-Systems Applications, LNCS (8220), pp.115-145.
    3. Nogood-Based Asynchronous Forward Checking Algorithms
      Mohamed Wahbi, Redouane Ezzahir, Christian Bessière, El Houssine Bouyakhf
      Constraints, Springer Verlag, 2013, 18 (3), pp.404-433.

Communications internationales

2015

  1. Strong Bounds Consistencies and Their Application to Linear Constraints
    Christian Bessière, Anastasia Paparrizou, Kostas Stergiou
    AAAI Conference on Artificial Intelligence, 2015, Austin, Texas, United States. Twenty-Ninth AAAI Conference on Artificial Intelligence, pp.3717-3724, 2015.
  2. Integration of Operational Constraints to Optimize Differential Harvest in Viticulture
    Nicolas Briot, Christian Bessière, Bruno Tisseyre, Philippe Vismara
    ECPA: European Conference on Precision Agriculture, 2015, Tel Aviv, Israel. Proceedings of 10th European Conference on Precision Agriculture (ECPA 2015), 2015.

2013

  1. Detecting and Exploiting Subproblem Tractability
    Christian Bessière, Clément Carbonnel, Emmanuel Hébrard, George Katsirelos, Toby Walsh
    IJCAI'2013: 23rd International Joint Conference on Artificial Intelligence, 2013, Beijing, China. pp.7, 2013.

2010

  1. A Box-Consistency Contractor Based on Extremal Functions
    Gilles Trombettoni, Yves Papegay, Gilles Chabert, Odile Pourtallier
    CP'10 - 16th International Conference on Principles and Practice of Constraint Programming, 2010, St Andrews, United Kingdom. 2010. <10.1007/978-3-642-15396-9_39>

2008

  1. Apprentissage de réseaux de préférences ceteris paribus
    Frédéric Koriche, Bruno Zanuttini
    Laurence Cholvy and Sébastien Konieczny. Journées d'Intelligence Artificielle Fondamentale (IAF 2008), 2008, France. pp.8, 2008.

2007

  1. Learning Implied Global Constraints
    Christian Bessière, Remi Coletta, Thierry Petit
    IJCAI'07: International Joint Conference on Artificial Intelligence, 2007, Hyderabad, India. pp.50-55, 2007.
  2. Query-Driven Constraint Acquisition
    Christian Bessière, Remi Coletta, Barry O'Sullivan, Mathias Paulin
    IJCAI'07: International Joint Conference on Artificial Intelligence, 2007, Hyderabad, India. pp.44-49, 2007.

2005

  1. Optimal and Suboptimal Singleton Arc Consistency Algorithms
    Christian Bessière, Romuald Debruyne
    IJCAI'05: 10th International Joint Conference on Artificial Intelligence, 2005, Edinburgh (Scotland), pp.54-59, 2005.
  2. Filtering Algorithms for the NValue Constraint
    Christian Bessière, Emmanuel Hébrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
    CPAIOR: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005, Prague, Czech Republic. Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005, pp.79-93, 2005.
  3. The Range and Roots Constraints: Specifying Counting and Occurrence Problems
    Christian Bessière, Emmanuel Hébrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
    IJCAI: International Joint Conference on Artificial Intelligence, 2005, Edinburgh, British Virgin Islands. IJCAI'05: 10th International Joint Conference on Artificial Intelligence, pp.60-65, 2005.

2004

  1. Theoretical Analysis of Singleton Arc Consistency
    Christian Bessière, Romuald Debruyne
    Hnich B.;Walsh T. Workshop on Modelling and Solving Problems with Constraints, 2004, Valencia (Spain), pp.20-29, 2004.
  2. Measuring Search Trees
    Christian Bessière, Bruno Zanuttini, Cèsar Fernàndez
    Hnich B. and Walsh T. Workshop on Modelling and Solving Problems with Constraints - ECAI'2004, 2004, Valencia, Spain. Hnich B., pp.31-40, 2004.

2003

  1. A General Conflict-Set Based Framework for Partial Constraint Satisfaction
    Thierry Petit, Christian Bessière, Jean-Charles Régin
    S. Bistarelli; J. Larrosa; T. Schiex. Soft Constraints, 2003, Cork, Ireland. 5th International Workshop on Soft Constraints held in conjunction with 9th International Conference on Principles and Practice of Constraint Programming, CP2003, 2003.
  2. Local Consistencies in SAT
    Christian Bessière, Emmanuel Hébrard, Toby Walsh
    SAT: Theory and Applications of Satisfiability Testing, 2003, Portofino, Italy. 2003.
  3. Constraint Acquisition as Semi-Automatic Modeling
    Joël Quinqueton, Remi Coletta, Christian Bessière, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell
    Springer. IA: Artificial Intelligence, 2003, Cambridge, United Kingdom. pp.111-124, 2003.
  4. Pareto-Like Distributions in Random Binary CSP
    Christian Bessière, Cèsar Fernàndez, Carla Gomez, Magda Valls
    ACIA, 2003, Palma de Majorqua, Spain. 2003, Proceedings of ACIA 2003.

2002

  1. A Computational Framework to Interactive (De) Ontology Building
    Jean Sallantin, Jacques Divol, Germana Da Nóbrega, Eduardo Jose Ribeiro De Castro, Patrice Duroux, Edilson Ferneda
    First Seminar on Advanced Research in Electronical Business, 2002, Rio de Janeiro, Brazil. 2002.
  2. 2018

    1. Discovering Program Topoi Through Clustering
      Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
      32nd AAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, Louisiana, United States. 2018.

    2017

    1. Constraint Programming for Technician Scheduling in Precision agriculture
      Nicolas Briot, Sébastien Payen, Philippe Vismara
      EFITA WCCA CONGRESS, Jul 2017, Montpellier, France. 11th European conference dedicated to the future use of ICT in the agri-food sector, bioresource and biomass sector, pp.#78, 2017.
    2. Cycle-Based Singleton Local Consistencies
      Robert J. Woodward, Berthe Y. Choueiry, Christian Bessière
      AAAI Conference on Artificial Intelligence, Feb 2017, San Francisco, United States. 31st AAAI Conference on Artificial Intelligence (AAAI-17), pp.5005-5006, 2017.

    2016

    1. An Interval Filtering Operator for Upper and Lower Bounding in Constrained Global Optimization
      Olivier Sans, Remi Coletta, Gilles Trombettoni
      ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2016, San José, CA, United States. IEEE, 28th IEEE International Conference on Tools with Artificial Intelligence, pp.218-225, 2016.
    2. A Global Constraint for Closed Frequent Pattern Mining
      Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessière, Patrice Boizumault
    3. An Interval Branch and Bound Algorithm for Parameter Estimation
      Bertrand Neveu, Martin De La Gorce, Gilles Trombettoni
      GOW'16 XIII Globla Optimization Workshop, Sep 2016, Braga, Portugal.
    4. Multiple Constraint Aquisition
      Robin Arcangioli, Christian Bessière, Nadjib Lazaar
      IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. 25th International Joint Conference on Artificial Intelligence, pp.698-704, 2016.
    5. Constraint Acquisition Using Recommendation Queries
      Abderrazak Daoudi, Younes Mechqrane, Christian Bessière, Nadjib Lazaar, El Houssine Bouyakhf
    6. Ranking Constraints
      Christian Bessière, Emmanuel Hébrard, George Katsirelos, Toby Walsh, Zeynep Kiziltan
    7. Compilation de grammaire de propriétés pour l'analyse syntaxique par optimisation de contraintes
      Jean-Philippe Prost, Remi Coletta, Christophe Lecoutre
      TALN: Traitement Automatique des Langues Naturelles, Jul 2016, Paris, France. 23ème Conférence sur le Traitement Automatique des Langues Naturelles, 2016. <https://jep-taln2016.limsi.fr/>
    8. Améliorations d'une approche de programmation par contraintes pour l'estimation de paramètres
      Bertrand Neveu, Martin De La Gorce, Gilles Trombettoni
      Journées Francophones de Programmation par Contraintes 2016, Jun 2016, Montpellier, France.

    2015

    1. Improving a Constraint Programming Approach for Parameter Estimation
      Bertrand Neveu, Martin De La Gorce, Gilles Trombettoni
      IEEE International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul mare, Italy. IEEE International Conference on Tools with Artificial Intelligence.
    2. Detecting Types of Variables for Generalization in Constraint Acquisition
      Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, Christian Bessière, El Houssine Bouyakhf
      ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy. ICTAI 2015 Proceedings, 2015, ICTAI 2015 Proceedings.
    3. A General Framework for Reordering Agents Asynchronously in Distributed CSP
      Mohamed Wahbi, Younes Mechqrane, Christian Bessière, Kenneth N. Brown
      CP: Principles and Practice of Constraint Programming, Sep 2015, Cork, Ireland. 21st International Conference on Principles and Practice of Constraint Programming 2015.
    4. A Constraint-Based Approach to the Differential Harvest Problem
      Nicolas Briot, Christian Bessière, Philippe Vismara
      CP: Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. 21st International Conference on Principles and Practice of Constraint Programming, 2015.
    5. Reasoning about Connectivity Constraints
      Christian Bessière, Emmanuel Hébrard, George Katsirelos, Toby Walsh
      Qiang Yang. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2568-2574, 2015.
    6. Multi-Armed Bandits for Adaptive Constraint Propagation
      Amine Balafrej, Christian Bessière, Anastasia Paparrizou
      The Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015., Jul 2015, Buenos Aires, Argentina. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015.
    7. Towards an MDD-based representation of preferences
      Noureddine Aribi, Souhila Kaci, Nadjib Lazaar
      IP: IJCAI Workshop on Intelligent Personalization, Jul 2015, Buenos Aires, Argentina. Proceedings of the IJCAI 2015 Joint Workshop on Constraints and Preferences for Configuration and Recommendation and Intelligent Techniques for Web Personalization co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015.
    8. Localisation de fautes à l’aide de la fouille de données sous contraintes
      Mehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia Lebbah
      COSI: Colloque sur l'Optimisation et les Systèmes d'Information, Jun 2015, Oran, Algérie. Colloque sur l'Optimisation et les Systèmes d'Information COSI'2015, 1-3 Juin 2015, Oran, Algérie Université Oran 1, Ahmed Ben Bella, 2015. <http://www.isima.fr/cosi/cosi2015/dates.php>
    9. Towards Geographic Requirements Engineering
      Mounir Touzani, Anne Laurent, Thérèse Libourel Rouge, Joël Quinqueton
      KMIKS: Knowledge Management, Information and Knowledge Systems, Apr 2015, Hammamet, Tunisia. 2nd International Conference on Knowledge Management, Information and Knowledge Systems, 2015. <http://2015.kmiks.net>
    10. Instantiation of meta-models constrained with OCL: A CSP approach
      Adel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Château, Remi Coletta, Clémentine Nebut
      MODELSWARD: Model-Driven Engineering and Software Development, Feb 2015, Angers, France. Proceedings of the third International Conference on Model Driven Engineering and Software Development, pp.213-222, 2015.

    2014

    1. Reasoning about Constraint Models
      Christian Bessière, Emmanuel Hébrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh
      PRICAI: Pacific Rim International Conference on Artificial Intelligence, Dec 2014, Gold Coast, Australia. 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings Pages pp 795-808, LNCS (8862), pp.795-808, 2014, PRICAI 2014: Trends in Artificial Intelligence.
    2. Solve a Constraint Problem without Modeling It
      Christian Bessière, Remi Coletta, Nadjib Lazaar
      ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limasso, Cyprus. IEEE, Proceedings IEEE-ICTAI’14, pp.1-7, 2014, Tools with Artificial Intelligence (ICTAI), 2014 IEEE 26th International Conference on.
    3. Maintaining Virtual Arc Consistency Dynamically during Search
      Hiep Nguyen, Simon De Givry, Thomas Schiex, Christian Bessière
      ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. IEEE, pp.8-15, 2014, Tools with Artificial Intelligence (ICTAI), 2014 IEEE 26th International Conference on.
    4. Learning Model Transformation Patterns using Graph Generalization
      Hajer Saada, Marianne Huchard, Michel Liquière, Clémentine Nebut
      Karell Bertet; Sebastian Rudolph. CLA: Concept Lattices and their Applications, Oct 2014, Košice, Slovakia. 11th International Conference on Concept Lattices and Their Applications, 1252, pp.11-22, 2014.
    5. Adaptive Parameterized Consistency for Non-Binary CSPs by Counting Supports
      Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, Christian Bessière
      CP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. 20th International Conference on Principles and Practice of Constraint Programming, LNCS (8656), pp.755-764, 2014.
    6. Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning
      Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessière
      CP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. 20th International Conference on Principles and Practice of Constraint Programming, LNCS (8656), pp.688-704, 2014.
    7. The Balance Constraint Family
      Christian Bessière, Emmanuel Hébrard, George Katsirelos, Zeynep Kiziltan, Emilie Picard-Cantin, Claude-Guy Quimper, Toby Walsh
      CP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. 20th International Conference on Principles and Practice of Constraint Programming, pp.174-189, 2014, LNCS.
    8. Node Selection Heuristics Using the Upper Bound in Interval Branch and Bound
      Bertrand Neveu, Gilles Trombettoni, Ignacio Araya
      MAGO-GOW: Global Optimization Workshop, Sep 2014, Malaga, Spain. 2014, XII Global Optimization Workshop Mathematical Applied Global Optimization. MAGO 2014.
    9. Boosting Constraint Acquisition via Generalization Queries
      Christian Bessière, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, El Houssine Bouyakhf
      ECAI'14: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.099-104, 2014, Frontiers in Artificial Intelligence and Applications.
    10. Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation
      Clément Carbonnel, Gilles Trombettoni, Philippe Vismara, Gilles Chabert
      AAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. pp.2630-2636, 2014, AAAI'14 - Twenty-Eighth Conference on Artificial Intelligence.
    11. Adaptive Singleton-based Consistencies
      Amine Balafrej, Christian Bessière, Gilles Trombettoni, El Houssine Bouyakhf
      AAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14), pp.2601-2607, 2014.
    12. Buffered Resource Constraint: Algorithms and Complexity
      Christian Bessière, Emmanuel Hébrard, Marc-André Ménard, Claude-Guy Quimper, Toby Walsh
      CPAIOR: Integration of AI and OR Techniques in Constraint Programming, May 2014, Cork, Ireland. Springer, LNCS (8451), pp.318-333, 2014, Integration of AI and OR Techniques in Constraint Programming.

    2013

    1. A CSP Approach for Metamodel Instantiation
      Adel Ferdjoukh, Anne-Elisabeth Baert, Annie Château, Remi Coletta, Clémentine Nebut
      ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2013, Washington, United States. 25th IEEE International Conference on Tools with Artificial Intelligence, pp.1044-1051, 2013.
    2. Adaptive Constructive Interval Disjunction
      Bertrand Neveu, Gilles Trombettoni
      ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2013, Washington, DC, United States. 25th International Conference on Tools with Artificial Intelligence, pp.900-906, 2013.
    3. Asynchronous Forward Bounding Revisited
      Mohamed Wahbi, Redouane Ezzahir, Christian Bessière
      CP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. 19th International Conference on Principles and Practice of Constraint Programming, pp.708-723, 2013.
    4. Global Inverse Consistency for Interactive Constraint Satisfaction
      Christian Bessière, Hélène Fargier, Christophe Lecoutre
      Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. 19th International Conference on Principles and Practice of Constraint Programming, 8124, pp.159-174, 2013, Lecture notes in computer science.
    5. Constrained Wine Blending
      Philippe Vismara, Remi Coletta, Gilles Trombettoni
      CP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. 19th International Conference on Principles and Practice of Constraint Programming, 2013.
    6. Adaptive Parameterized Consistency
      Amine Balafrej, Christian Bessière, Remi Coletta, El Houssine Bouyakhf
      CP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. 19th International Conference on Principles and Practice of Constraint Programming, LNCS (8124), pp.143-158, 2013.
    7. FIMO: Framework for Intrinsic Motivation
      Fabien Hervouet, Eric Bourreau
      ECAL: European Conference on Artificial Life, Sep 2013, University of Catania, Italy. pp.997-1004, 2013, ECAL'2013: 12th European Conference on Artificial Life.
    8. Automatic Approach for Comparison of Study Programmes
      Alla Anohina-Naumeca, Ilze Andersone, Zohra Bellahsene, Remi Coletta, Vita Graudina, Janis Grundspenkis, Duyhoa Ngo
      CAiSE: Conference on Advanced Information Systems Engineering, Jun 2013, Valencia, Spain. 25th International Conference on Advanced Information Systems Engineering, pp.41-48, 2013.
    9. Constraint Acquisition via Partial Queries
      Christian Bessière, Remi Coletta, Emmanuel Hébrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
      IJCAI'2013: 23rd International Joint Conference on Artificial Intelligence, Beijing, China. pp.7, 2013.
    10. WebSmatch: a tool for Open Data
      Emmanuel Castanier, Remi Coletta, Patrick Valduriez, Christian Frisch
      WOD: Workshop on Open Data, Jun 2013, Paris, France. 2nd International Workshop on Open Data, pp.#10, 2013.
    11. Dynamic Virtual Arc Consistency
      Christian Bessière, Thomas Schiex, Hiep Nguyen
      SAC'2013: 28th Symposium On Applied Computing, Mar 2013, Coimbra, Portugal. pp.098-103, 2013.

Membres

Permanents

Non permanents

Mots-clés

Propagation de Contraintes, Contraintes Globales, Symétries, Réseaux de Fonctions de Coût, Résolution Adaptative, Contraintes Continues, Applications de la Programmation par Contraintes, Acquisition de Contraintes, Classification Automatique, Fouille de Séquences, Treillis de Galois

Dernière mise à jour le 29/03/2018

Département : Informatique

Responsable : Christian BESSIERE

Site de l'équipe : http://www.lirmm.fr/coconut