COCONUT: Agents, Apprentissage, Contraintes

The COCONUT team‘s research activities center on Constraint Programming, with a special focus on constraint propagation, global constraints, constraint
acquisition, data mining, validation, and interval/ continuous constraint programming. The team is also interested in applications in precision agriculture.

Members

Staff

Associates & Students

Team web site (News, Presentation, Publications, Seminars ...) : http://www.lirmm.fr/coconut

Publications 2014 - 2019: Evaluation period

International Journals

2018

  1. Discovering Program Topoi via Hierarchical Agglomerative Clustering
    Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
    IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers, 2018, 67 (3), pp.758-770. ⟨10.1109/TR.2018.2828135⟩. ⟨lirmm-02088786⟩.
  2. A Generic Interval Branch and Bound Algorithm for Parameter Estimation
    Bertrand Neveu, Martin De La Gorce, Pascal Monasse, Gilles Trombettoni
    Journal of Global Optimization, Springer Verlag, In press. <10.1007/s10898-018-0721-3>

2017

  1. Fault localization using itemset mining under constraints
    Mehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia Lebbah
    Automated Software Engineering, Springer Verlag, 2017, 24 (2), pp.341-368.
  2. Constraint Acquisition
    Christian Bessière, Frédéric Koriche, Nadjib Lazaar, Barry O'Sullivan
    Artificial Intelligence, Elsevier, 2017, 244, pp.315-342. &#x27E8;10.1016/j.artint.2015.08.001&#x27E9;. &#x27E8;lirmm-01276188&#x27E9;.
  3. The Inductive Constraint Programming Loop
    Christian Bessière, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis
    IEEE Intelligent Systems, Institute of Electrical and Electronics Engineers, 2017, 32 (5), pp.44-52. &#x27E8;10.1109/MIS.2017.3711637&#x27E9;. &#x27E8;lirmm-01276193&#x27E9;.
  4. Triangle-based consistencies for cost function networks
    Hiep Nguyen, Christian Bessière, Simon De Givry, Thomas Schiex

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. A Constraint Optimization Method for Large-Scale Distributed View Selection
    Imene Mami, Zohra Bellahsene, Remi Coletta
    Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2016, LNCS (9620), pp.71-108.
  6. Computing and Restoring Global Inverse Consistency in Interactive Constraint Satisfaction
    Christian Bessière, Hélène Fargier, Christophe Lecoutre

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. &#x27E8;http://link.springer.com/journal/10115&#x27E9;. &#x27E8;10.1007/s10115-014-0769-4&#x27E9;. &#x27E8;lirmm-01275709&#x27E9;.

2014

  1. 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), &#x27E8;http://www.worldscientific.com/worldscinet/ijait&#x27E9;. &#x27E8;10.1142/S0218213014500055&#x27E9;. &#x27E8;lirmm-01275714&#x27E9;. <10.1142/S0218213014500055>
  2. 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.
  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. &#x27E8;10.1007/s11786-014-0210-0&#x27E9;. &#x27E8;hal-01057364&#x27E9;.
  4. 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.

International Communications

2019

  1. Point-width and Max-CSPs
    Clément Carbonnel, Miguel Romero, Stanislav Živný
    LICS: Logic In Computer Science, Jun 2019, Vancouver, Canada. 34th ACM/IEEE Symposium on Logic In Computer Science, 2019.
  2. Constraint Programming for Association Rules
    Mohamed-Bachir Belaid, Christian Bessière, Nadjib Lazaar
    SIAM International Conference on Data Mining (SDM19), May 2019, Calgary, Canada.
  3. A Multiple Fault Localization Approach based on Multicriteria Analytical Hierarchy Process
    Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar
    AiTest: Artificial Intelligence Testing, Apr 2019, San Francisco, United States. 1st IEEE International Conference on Artificial Intelligence Testing, 2019. <http://www.ieeeaitests.com>
  4. Deploying Smart Program Understanding on a Large Code Base
    Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
    AiTest: Artificial Intelligence Testing, Apr 2019, San Francisco, United States. 1st IEEE International Conference on Artificial Intelligence Testing, 2019. <http://www.ieeeaitests.com>
  5. Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories
    Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Morten Mossige
    AiTest: Artificial Intelligence Testing, Apr 2019, San francisco, United States. IEEE International Conference on Artificial Intelligence Testing, 2019. <http://www.ieeeaitests.com>

2018

  1. An Interval Branch and Bound Algorithm for Parameter Estimation and Application to Stereovision
    Bertrand Neveu, Martin De La Gorce, Pascal Monasse, Gilles Trombettoni
    LeGO: Leiden Global Optimization, Sep 2018, Leiden, Netherlands. 14th International Workshop on Global Optimization, 2018. <https://www.universiteitleiden.nl/en/events/2018/09/lego-workshop-2018>
  2. A Circuit Constraint for Multiple Tours Problems
    Philippe Vismara, Nicolas Briot
    CP: Constraint Programming, Aug 2018, Lille, France. 24th International Conference on Principles and Practice of Constraint Programming, pp.389-402, 2018.
  3. User's Constraints in Itemset Mining
    Christian Bessière, Nadjib Lazaar, Mehdi Maamar
    CP: Principles and Practice of Constraint Programming, Aug 2018, Lille, France. 24th International Conference of Principles and Practice of Constraint Programming, 2018. <10.1007/978-3-319-98334-9_35>
  4. Solving Sudoku with Consistency: A Visual and Interactive Approach
    Ian Howel, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessière
    IJCAI: International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. 27th International Joint Conference on Artificial Intelligence, pp.5829-5831, 2018.
  5. A Reactive Strategy for High-Level Consistency During Search
    Robert J. Woodward, Berthe Y. Choueiry, Christian Bessière
    IJCAI: International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. 27th International Joint Conference on Artificial Intelligence, pp.1390-1397, 2018.
  6. Time-Bounded Query Generator for Constraint Acquisition
    Hajar Addi, Christian Bessière, Redouane Ezzahir, Nadjib Lazaar
    CPAIOR: Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Jun 2018, Delft, Netherlands. 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, LNCS (10848), pp.1-17, 2018.
  7. Échantillonnage sous contraintes en viticulture de précision
    Baptiste Oger, Bruno Tisseyre, Philippe Vismara
    JFPC: Journées Francophones de Programmation par Contraintes, Jun 2018, Amiens, France. 14e Journées Francophones de Programmation par Contraintes, 2018. <https://home.mis.u-picardie.fr/~evenement/JFPC2018/>
  8. Discovering Program Topoi Through Clustering
    Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
    IAAI: Innovative Applications of Artificial Intelligence, Feb 2018, New Orleans, Louisiana, United States. 13th Annual Conference on Innovative Applications of Artificial Intelligence collocated with the 32nd Conference on Artificial Intelligence, 2018. <https://aaai.org/Conferences/AAAI-18/iaai-18/>

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, pp.5005-5006, 2017.

2016

  1. Complexity Results in Optimistic/Pessimistic Preference Reasoning
    Christian Bessière, Remi Coletta, Gaelle Hisler, Anastasia Paparrizou
    ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2016, San Jose, CA, United States. pp.930-937, &#x27E8;10.1109/ICTAI.2016.0144&#x27E9;. &#x27E8;lirmm-01987872&#x27E9;.
  2. 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. 28th IEEE International Conference on Tools with Artificial Intelligence, pp.218-225, 2017.
  3. A global constraint for closed itemset mining
    Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessière, Patrice Boizumault
    CP: Constraint Programming, Sep 2016, Toulouse, France. &#x27E8;hal-02088792&#x27E9;. <http://cp2016.a4cp.org>
  4. A Global Constraint for Closed Frequent Pattern Mining
    Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessière, Patrice Boizumault
  5. An Interval Branch and Bound Algorithm for Parameter Estimation
    Bertrand Neveu, Martin De La Gorce, Gilles Trombettoni
    GOW: Globla Optimization Workshop, Sep 2016, Braga, Portugal. 13th Globla Optimization Workshop, 2016. <http://apolo.dps.uminho.pt/gow16/>
  6. Ranking Constraints
    Christian Bessière, Emmanuel Hébrard, George Katsirelos, Toby Walsh, Zeynep Kiziltan
  7. Constraint Acquisition Using Recommendation Queries
    Abderrazak Daoudi, Younes Mechqrane, Christian Bessière, Nadjib Lazaar, El Houssine Bouyakhf
  8. 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.
  9. 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. 23e Conférence sur le Traitement Automatique des Langues Naturelles, 2016. <https://jep-taln2016.limsi.fr/>

2015

  1. Improving a Constraint Programming Approach for Parameter Estimation
    Bertrand Neveu, Martin De La Gorce, Gilles Trombettoni
    ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul mare, Italy. 27th IEEE International Conference on Tools with Artificial Intelligence, pp.852-859, 2016.
  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. 27th International Conference on Tools with Artificial Intelligence, pp.413-420, 2016.
  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, Aug 2015, Cork, Ireland. 21st International Conference on Principles and Practice of Constraint Programming, pp.463-479, 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, pp.541-556, 2015.
  5. Towards an MDD-based representation of preferences
    Noureddine Aribi, Souhila Kaci, Nadjib Lazaar
    IJCAI Joint Workshop, Jul 2015, Buenos Aires, Argentina. CEUR-WS.org, 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), CEUR Workshop Proceedings (1440), 2015.
  6. Reasoning about Connectivity Constraints
    Christian Bessière, Emmanuel Hébrard, George Katsirelos, Toby Walsh
    IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. AAAI Press, 24th International Conference on Artificial Intelligence, pp.2568-2574, 2015.
  7. Multi-Armed Bandits for Adaptive Constraint Propagation
    Amine Balafrej, Christian Bessière, Anastasia Paparrizou
    IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. 24th International Conference on Artificial Intelligence, pp.290-296, IJCAI 2015.
  8. 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, Jul 2015, Tel Aviv, Israel. 10th European Conference on Precision Agriculture, 2015.
  9. 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>
  10. 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>
  11. Instantiation of meta-models constrained with OCL: A CSP approach
    Adel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Chateau, 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.
  12. 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.

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, IEEE 26th International Conference on Tools with Artificial Intelligence, pp.1-7, 2014.
  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, IEEE 26th International Conference on Tools with Artificial Intelligence, pp.8-15, 2014.
  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, LNCS (8656), pp.174-189, 2014.
  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: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. 21st European Conference on Artificial Intelligence, pp.099-104, 2014, Frontiers in Artificial Intelligence and Applications.
  10. 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.
  11. 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. 28th Conference on Artificial Intelligence, pp.2630-2636, 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.

Tags

Constraint Propagation, Global Constraints, Symmetries, Cost Function Networks, Adaptive Solving, Continuous Constraints, Applications of Constraint Programming, Constraint Acquisition, Clustering, Sequence mining, Galois lattices, Distributed constraint reasoning

Last update on 30/01/2019