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
Membres
Permanents
- Christian Bessiere, Directeur de Recherche CNRS
- Clément Carbonnel, Chargé de Recherche CNRS
- Nadjib Lazaar, Maître de Conférences UM
- Michel Liquiere, Maître de Conférences UM
- Gilles Trombettoni, Professeur des Universités UM
Non permanents
- Mohamed Bachir Belaid, Doctorant UM
- Amel Farah Benzeghimi, Doctorant Gouvernement Algérien
- Sebastien Gagne, Doctorant UM
- Joël Quinqueton, Invité longue durée, Professeur Emérite UPV
- Victor Alejandro Reyes Rodriguez, CDD Chercheur UM
- Jean Sallantin, Invité longue durée, Directeur de recherche Emérite CNRS
Collaborateurs réguliers
- Philippe Vismara, Professeur des Universités ENSAM
Publications depuis 2014 - Evaluation 2019
Articles de revues internationales
2020
- Reordering all agents in asynchronous backtracking for distributed constraint satisfaction problemsYounes Mechqrane, Mohamed Wahbi, Christian Bessière, Kenneth BrownArtificial Intelligence, Elsevier, 2020, 278, pp.103169.
2019
- A Generic Interval Branch and Bound Algorithm for Parameter EstimationBertrand Neveu, Martin de la Gorce, Pascal Monasse, Gilles TrombettoniJournal of Global Optimization, Springer Verlag, 2019, 73 (3), pp.515-535.
2018
- Discovering Program Topoi via Hierarchical Agglomerative ClusteringCarlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib LazaarIEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers, 2018, 67 (3), pp.758-770.
2017
- Fault localization using itemset mining under constraintsMehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia LebbahAutomated Software Engineering, Springer Verlag, 2017, 24 (2), pp.341-368.
- Constraint AcquisitionChristian Bessière, Frédéric Koriche, Nadjib Lazaar, Barry O'SullivanArtificial Intelligence, Elsevier, 2017, 244, pp.315-342.
- Triangle-based consistencies for cost function networksHiep Nguyen, Christian Bessière, Simon de Givry, Thomas Schiex
- The Inductive Constraint Programming LoopChristian Bessière, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut SimonisIEEE Intelligent Systems, Institute of Electrical and Electronics Engineers, 2017, 32 (5), pp.44-52.
2016
- Constrained global optimization for wine blendingPhilippe Vismara, Remi Coletta, Gilles TrombettoniConstraints, Springer Verlag, 2016, 21 (4), pp.597-615.
- Tractability-preserving Transformations of Global Cost FunctionsDavid Allouche, Christian Bessière, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Metivier, Thomas Schiex
- Strong Local Consistency Algorithms for Table ConstraintsAnastasia Paparrizou, Kostas StergiouConstraints, Springer Verlag, 2016, 21 (2), pp.163-197.
- Node selection strategies in interval Branch and Bound algorithmsBertrand Neveu, Gilles Trombettoni, Ignacio ArayaJournal of Global Optimization, Springer Verlag, 2016, 64 (2), pp.289-304.
- A Constraint Optimization Method for Large-Scale Distributed View SelectionImene Mami, Zohra Bellahsene, Remi ColettaTransactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2016, LNCS (9620), pp.71-108.
- Computing and Restoring Global Inverse Consistency in Interactive Constraint SatisfactionChristian Bessière, Hélène Fargier, Christophe Lecoutre
2015
- Adaptive constructive interval disjunction: algorithms and experimentsBertrand Neveu, Gilles Trombettoni, Ignacio ArayaConstraints, Springer Verlag, 2015, 20 (7), pp.452-467.
- Efficient algorithms for strong local consistencies and adaptive techniques in constraint satisfaction problemsAnastasia PaparrizouConstraints, Springer Verlag, 2015, 20 (4), pp.484-485.
- LC-mine: a framework for frequent subgraph mining with local consistency techniquesBrahim Douar, Michel Liquière, Chiraz Latiri, Yahya SlimaniKnowledge and Information Systems (KAIS), Springer, 2015, 44 (1), pp.1-25.
2014
- Upper Bounding in Inner Regions for Global Optimization under Inequality ConstraintsIgnacio Araya, Gilles Trombettoni, Bertrand Neveu, Gilles ChabertJournal of Global Optimization, Springer Verlag, 2014, 60 (2), pp.145-164.
- A Projection Bias in Frequent Subgraph Mining Can Make a DifferenceBrahim Douar, Chiraz Latiri, Michel Liquière, Yahya SlimaniInternational Journal on Artificial Intelligence Tools, World Scientific Publishing, 2014, 23 (5), pp.#1450005.
- Interval Methods for Model Qualification: Methodology and Advanced ApplicationJulien Alexandre Dit Sandretto, Gilles Trombettoni, David DaneyMathematics in Computer Science, Springer, 2014, 8 (3-4), pp.479-493.
- Global Constraints in Distributed Constraint Satisfaction and OptimizationChristian Bessière, Ismel Brito, Patricia Gutierrez, Pedro MeseguerThe Computer Journal, Oxford University Press (UK), 2014, 57 (6), pp.906-923.
Communications internationales
2019
- Constraint Programming for Mining Borders of Frequent ItemsetsMohamed-Bachir Belaid, Christian Bessière, Nadjib LazaarIJCAI: International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1064-1070.
- Systematic Conservation Planning for Sustainable Land-use Policies: A Constrained Partitioning Approach to Reserve Selection and Design.Dimitri Justeau-Allaire, Philippe Vismara, Philippe Birnbaum, Xavier LorcaIJCAI 2019 - International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. p.5902-5908. <10.24963/ijcai.2019/818>
- A Multiple Fault Localization Approach based on Multicriteria Analytical Hierarchy ProcessNoureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi MaamarAiTest: Artificial Intelligence Testing, Apr 2019, San Francisco, United States. pp.1-8.
- Constraint Programming for Association RulesMohamed-Bachir Belaid, Christian Bessière, Nadjib LazaarSDM: SIAM International Conference on Data Mining, May 2019, Calgary, Canada. pp.127-135.
- Deploying Smart Program Understanding on a Large Code BaseCarlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib LazaarAiTest: Artificial Intelligence Testing, Apr 2019, San Francisco, United States. pp.73-80.
- Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous TrajectoriesMathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Morten MossigeAiTest: Artificial Intelligence Testing, Apr 2019, San francisco, United States. pp.121-128.
- Point-width and Max-CSPsClément Carbonnel, Miguel Romero, Stanislav ŽivnýLICS: Logic In Computer Science, Jun 2019, Vancouver, Canada.
2018
- Discovering Program Topoi Through ClusteringCarlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib LazaarAAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, United States. <https://aaai.org/Conferences/AAAI-18/iaai-18/>
- A Circuit Constraint for Multiple Tours ProblemsPhilippe Vismara, Nicolas BriotCP: Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.389-402.
- Échantillonnage sous contraintes en viticulture de précisionBaptiste Oger, Bruno Tisseyre, Philippe VismaraJFPC: Journées Francophones de Programmation par Contraintes, Jun 2018, Amiens, France. pp.119-122.
- Sketched Answer Set ProgrammingSergey Paramonov, Christian Bessière, Anton Dries, Luc de RaedtICTAI: International Conference on Tools with Artificial Intelligence, Nov 2018, Volos, Greece. pp.694-701.
- An Interval Branch and Bound Algorithm for Parameter Estimation and Application to StereovisionBertrand Neveu, Martin de la Gorce, Pascal Monasse, Gilles TrombettoniLeGO: Leiden Global Optimization, Sep 2018, Leiden, Netherlands. <https://www.universiteitleiden.nl/en/events/2018/09/lego-workshop-2018>
- Solving Sudoku with Consistency: A Visual and Interactive ApproachIan Howel, Robert J. Woodward, Berthe Y. Choueiry, Christian BessièreIJCAI: International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.5829-5831.
- User's Constraints in Itemset MiningChristian Bessière, Nadjib Lazaar, Mehdi MaamarCP: Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.537-553.
- Time-Bounded Query Generator for Constraint AcquisitionHajar Addi, Christian Bessière, Redouane Ezzahir, Nadjib LazaarCPAIOR: Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Jun 2018, Delft, Netherlands. pp.1-17.
- A Reactive Strategy for High-Level Consistency During SearchRobert J. Woodward, Berthe Y. Choueiry, Christian BessièreIJCAI: International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.1390-1397.
2017
- Constraint Programming for Technician Scheduling in Precision agricultureNicolas Briot, Sébastien Payen, Philippe VismaraEFITA WCCA CONGRESS, Jul 2017, Montpellier, France. pp.#78.
- Cycle-Based Singleton Local ConsistenciesRobert J. Woodward, Berthe Y. Choueiry, Christian BessièreAAAI Conference on Artificial Intelligence, Feb 2017, San Francisco, United States. pp.5005-5006.
2016
- An Interval Filtering Operator for Upper and Lower Bounding in Constrained Global OptimizationOlivier Sans, Remi Coletta, Gilles TrombettoniICTAI: International Conference on Tools with Artificial Intelligence, Nov 2016, San José, CA, United States. pp.218-225.
- Ranking ConstraintsChristian Bessière, Emmanuel Hébrard, George Katsirelos, Toby Walsh, Zeynep Kiziltan
- Compilation de grammaire de propriétés pour l'analyse syntaxique par optimisation de contraintesJean-Philippe Prost, Remi Coletta, Christophe LecoutreTALN: Traitement Automatique des Langues Naturelles, Jul 2016, Paris, France. <https://jep-taln2016.limsi.fr/>
- A Global Constraint for Closed Frequent Pattern MiningNadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessière, Patrice Boizumault
- Constraint Acquisition Using Recommendation QueriesAbderrazak Daoudi, Younes Mechqrane, Christian Bessière, Nadjib Lazaar, El Houssine Bouyakhf
- Multiple Constraint AquisitionRobin Arcangioli, Christian Bessière, Nadjib LazaarIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.698-704.
- An Interval Branch and Bound Algorithm for Parameter EstimationBertrand Neveu, Martin de la Gorce, Gilles TrombettoniGOW: Globla Optimization Workshop, Sep 2016, Braga, Portugal. <http://apolo.dps.uminho.pt/gow16/>
- Complexity Results in Optimistic/Pessimistic Preference ReasoningChristian Bessière, Remi Coletta, Gaelle Hisler, Anastasia PaparrizouICTAI: International Conference on Tools with Artificial Intelligence, Nov 2016, San Jose, CA, United States. pp.930-937.
2015
- Improving a Constraint Programming Approach for Parameter EstimationBertrand Neveu, Martin de la Gorce, Gilles TrombettoniICTAI: International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul mare, Italy. pp.852-859.
- Detecting Types of Variables for Generalization in Constraint AcquisitionAbderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, Christian Bessière, El Houssine BouyakhfICTAI: International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy. pp.413-420.
- Multi-Armed Bandits for Adaptive Constraint PropagationAmine Balafrej, Christian Bessière, Anastasia PaparrizouIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.290-296.
- Towards Geographic Requirements EngineeringMounir Touzani, Anne Laurent, Thérèse Libourel Rouge, Joël QuinquetonKMIKS: Knowledge Management, Information and Knowledge Systems, Apr 2015, Hammamet, Tunisia. <http://2015.kmiks.net>
- Instantiation of meta-models constrained with OCL: A CSP approachAdel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Chateau, Remi Coletta, Clémentine NebutMODELSWARD: Model-Driven Engineering and Software Development, Feb 2015, Angers, France. pp.213-222.
- Strong Bounds Consistencies and Their Application to Linear ConstraintsChristian Bessière, Anastasia Paparrizou, Kostas StergiouAAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States. pp.3717-3724.
- A Constraint-Based Approach to the Differential Harvest ProblemNicolas Briot, Christian Bessière, Philippe VismaraCP: Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. pp.541-556.
- Towards an MDD-based representation of preferencesNoureddine Aribi, Souhila Kaci, Nadjib LazaarCPCR+ITWP@IJCAI, Jul 2015, Buenos Aires, Argentina. pp.34-34.
- Localisation de fautes à l’aide de la fouille de données sous contraintesMehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia LebbahCOSI: Colloque sur l'Optimisation et les Systèmes d'Information, Jun 2015, Oran, Algérie. <http://www.isima.fr/cosi/cosi2015/dates.php>
- Integration of Operational Constraints to Optimize Differential Harvest in ViticultureNicolas Briot, Christian Bessière, Bruno Tisseyre, Philippe VismaraECPA: European Conference on Precision Agriculture, Jul 2015, Tel Aviv, Israel. pp.487-494.
- A General Framework for Reordering Agents Asynchronously in Distributed CSPMohamed Wahbi, Younes Mechqrane, Christian Bessière, Kenneth N. BrownCP: Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. pp.463-479.
- Reasoning about Connectivity ConstraintsChristian Bessière, Emmanuel Hébrard, George Katsirelos, Toby WalshIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2568-2574.
2014
- Reasoning about Constraint ModelsChristian Bessière, Emmanuel Hébrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby WalshPRICAI: Pacific Rim International Conference on Artificial Intelligence, Dec 2014, Gold Coast, Australia. pp.795-808.
- Solve a Constraint Problem without Modeling ItChristian Bessière, Remi Coletta, Nadjib LazaarICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limasso, Cyprus. pp.1-7.
- Maintaining Virtual Arc Consistency Dynamically during SearchHiep Nguyen, Simon de Givry, Thomas Schiex, Christian BessièreICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. pp.8-15.
- Learning Model Transformation Patterns using Graph GeneralizationHajer Saada, Marianne Huchard, Michel Liquière, Clémentine NebutCLA: Concept Lattices and their Applications, Institute of Computer Science, Pavol Jozef Šafárik University in Košice, Ondrej Krídlo, Oct 2014, Košice, Slovakia. pp.11-22.
- The Balance Constraint FamilyChristian Bessière, Emmanuel Hébrard, George Katsirelos, Zeynep Kiziltan, Emilie Picard-Cantin, Claude-Guy Quimper, Toby WalshCP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.174-189.
- Node Selection Heuristics Using the Upper Bound in Interval Branch and BoundBertrand Neveu, Gilles Trombettoni, Ignacio ArayaMAGO-GOW: Global Optimization Workshop, Sep 2014, Malaga, Spain.
- Q-intersection Algorithms for Constraint-Based Robust Parameter EstimationClément Carbonnel, Gilles Trombettoni, Philippe Vismara, Gilles ChabertAAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. pp.2630-2636.
- Buffered Resource Constraint: Algorithms and ComplexityChristian Bessière, Emmanuel Hébrard, Marc-André Ménard, Claude-Guy Quimper, Toby WalshCPAIOR: Integration of AI and OR Techniques in Constraint Programming, May 2014, Cork, Ireland. pp.318-333.
- Boosting Constraint Acquisition via Generalization QueriesChristian Bessière, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, El Houssine BouyakhfECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.099-104.
- Improving Relational Consistency Algorithms Using Dynamic Relation PartitioningAnthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, Christian BessièreCP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.688-704.
- Adaptive Parameterized Consistency for Non-Binary CSPs by Counting SupportsRobert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, Christian BessièreCP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.755-764.
- Adaptive Singleton-based ConsistenciesAmine Balafrej, Christian Bessière, Gilles Trombettoni, El Houssine BouyakhfAAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. pp.2601-2607.
- Acquisition de contraintes par requêtes de généralisationChristian Bessière, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, El Houssine BouyakhfJFPC: Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France.
Dernière mise à jour le 24/06/2019
Département : Informatique
Responsable : Christian BESSIERE
Site de l'équipe : http://www.lirmm.fr/coconut