
CB
Christian Bessiere
177
Documents
Présentation
Publications
8
4
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
32
31
20
17
17
16
15
14
13
10
10
10
9
9
9
8
8
8
7
7
6
6
6
6
6
6
6
6
5
5
5
5
5
5
5
5
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
12
8
1
1
1
1
1
1
3
1
1
6
3
5
7
12
8
14
14
11
7
4
6
10
7
9
13
10
12
4
3
2
1
1
1
1
4
3
2
1
1
1
8
2
1
162
5
5
3
1
Publications
|
Using Large Language Models to Improve Query-based Constraint AcquisitionIJCAI 2024 - 33rd International Joint Conference on Artificial Intelligence, Aug 2024, Jeju, South Korea. pp.1916-1925, ⟨10.24963/ijcai.2024/212⟩
Communication dans un congrès
hal-04740486
v1
|
|
Learning Constraint Networks over Unknown Constraint LanguagesIJCAI 2023 - 32nd International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, Aug 2023, Macao, China. pp.1876-1883, ⟨10.24963/IJCAI.2023/208⟩
Communication dans un congrès
hal-04264711
v1
|
|
Complexity of Minimum-Size Arc-Inconsistency ExplanationsCP 2022 - 28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. pp.9:1 - 9:14, ⟨10.4230/LIPIcs.CP.2022.9⟩
Communication dans un congrès
lirmm-03833388
v1
|
|
Omissions in Constraint AcquisitionCP 2020 - 26th International Conference on Principles and Practice of Constraint Programming, Sep 2020, Louvain-la-Neuve, Belgium. pp.935-951, ⟨10.1007/978-3-030-58475-7_54⟩
Communication dans un congrès
lirmm-03036103
v1
|
|
Chain Length and CSPs Learnable with Few QueriesAAAI 2020 - 34th AAAI Conference on Artificial Intelligence, Feb 2020, New York, United States. pp.1420-1427, ⟨10.1609/aaai.v34i02.5499⟩
Communication dans un congrès
hal-02414056
v1
|
|
Constraint Programming for Association RulesSDM 2019 - 19th SIAM International Conference on Data Mining, May 2019, Calgary, AB, Canada. pp.127-135, ⟨10.1137/1.9781611975673.15⟩
Communication dans un congrès
lirmm-02089719
v1
|
|
Constraint Programming for Mining Borders of Frequent ItemsetsIJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1064-1070, ⟨10.24963/ijcai.2019/149⟩
Communication dans un congrès
lirmm-02310629
v1
|
|
Structure-Driven Multiple Constraint AcquisitionCP 2019 - 25th International Conference on Principles and Practice of Constraint Programming, Sep 2019, Stamford, CT, United States. pp.709-725, ⟨10.1007/978-3-030-30048-7_41⟩
Communication dans un congrès
lirmm-03557516
v1
|
|
Sketched Answer Set ProgrammingICTAI: International Conference on Tools with Artificial Intelligence, Nov 2018, Volos, Greece. pp.694-701, ⟨10.1109/ICTAI.2018.00110⟩
Communication dans un congrès
lirmm-02310677
v1
|
|
A Reactive Strategy for High-Level Consistency During SearchIJCAI: International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.1390-1397, ⟨10.24963/ijcai.2018/193⟩
Communication dans un congrès
lirmm-01897930
v1
|
|
User's Constraints in Itemset MiningCP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.537-553, ⟨10.1007/978-3-319-98334-9_35⟩
Communication dans un congrès
lirmm-01896872
v1
|
|
Solving Sudoku with Consistency: A Visual and Interactive ApproachIJCAI: International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.5829-5831, ⟨10.24963/ijcai.2018/852⟩
Communication dans un congrès
lirmm-01897933
v1
|
|
Time-Bounded Query Generator for Constraint AcquisitionCPAIOR: Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Jun 2018, Delft, Netherlands. pp.1-17, ⟨10.1007/978-3-319-93031-2_1⟩
Communication dans un congrès
lirmm-01897928
v1
|
|
Cycle-Based Singleton Local ConsistenciesAAAI Conference on Artificial Intelligence, Feb 2017, San Francisco, United States. pp.5005-5006
Communication dans un congrès
lirmm-01711585
v1
|
|
Closed-Pattern : Une contrainte globale pour l’extraction de motifs fréquents fermésJFPC 2017 - 13es Journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Communication dans un congrès
hal-02088910
v1
|
|
Contraintes de ClassementJFPC 2017 - 13es Journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil-sur-mer, France. pp.89-90
Communication dans un congrès
lirmm-02059660
v1
|
|
Une contrainte de circuit adaptée aux tournées multiplesJFPC 2017 - 13es Journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil-sur-Mer, France. pp.137-144
Communication dans un congrès
lirmm-01711547
v1
|
|
Constraint Acquisition Using Recommendation QueriesIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.720-726
Communication dans un congrès
lirmm-01374716
v1
|
|
Complexity Results in Optimistic/Pessimistic Preference ReasoningICTAI: International Conference on Tools with Artificial Intelligence, Nov 2016, San Jose, CA, United States. pp.930-937, ⟨10.1109/ICTAI.2016.0144⟩
Communication dans un congrès
lirmm-01987872
v1
|
|
Ranking ConstraintsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.705-711
Communication dans un congrès
lirmm-01374715
v1
|
|
Detecting Types of Variables for Generalization in Constraint AcquisitionICTAI: International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy. pp.413-420, ⟨10.1109/ICTAI.2015.69⟩
Communication dans un congrès
lirmm-01276187
v1
|
|
A Global Constraint for Closed Frequent Pattern MiningCP 2016 - 22nd International Conference on Principles and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.333-349, ⟨10.1007/978-3-319-44953-1_22⟩
Communication dans un congrès
lirmm-01374719
v1
|
|
Multiple Constraint AquisitionIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.698-704
Communication dans un congrès
lirmm-01374712
v1
|
|
A General Framework for Reordering Agents Asynchronously in Distributed CSPCP 2015 - 21st International Conference on Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. pp.463-479, ⟨10.1007/978-3-319-23219-5_33⟩
Communication dans un congrès
lirmm-01276190
v1
|
|
Reasoning about Connectivity ConstraintsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2568-2574
Communication dans un congrès
hal-01606489
v1
|
|
Strong Bounds Consistencies and Their Application to Linear ConstraintsAAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States. pp.3717-3724
Communication dans un congrès
lirmm-01276177
v1
|
|
Programmation par contraintes pour la vendange sélective11èmes Journées Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. pp.51-56
Communication dans un congrès
hal-02738913
v1
|
|
A constraint-based approach to the differential harvest problem21. International Conference on Principles and Practice of Constraint Programming (CP 2015), University College Cork (UCC). IRL., Aug 2015, Cork, Ireland. ⟨10.1007/978-3-319-23219-5_38⟩
Communication dans un congrès
hal-02743031
v1
|
|
Integration of Operational Constraints to Optimize Differential Harvest in ViticultureECPA: European Conference on Precision Agriculture, Jul 2015, Tel Aviv, Israel. pp.487-494, ⟨10.3920/978-90-8686-814-8_60⟩
Communication dans un congrès
lirmm-01275568
v1
|
|
A Constraint-Based Approach to the Differential Harvest ProblemCP 2015 - 21st International Conference on Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. pp.541-556, ⟨10.1007/978-3-319-23219-5_38⟩
Communication dans un congrès
lirmm-01275591
v1
|
|
Multi-Armed Bandits for Adaptive Constraint PropagationIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.290-296
Communication dans un congrès
hal-01234361
v1
|
|
Acquisition de contraintes par requêtes de généralisationJFPC 2014 - 10es Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France
Communication dans un congrès
lirmm-01229548
v1
|
|
The Balance Constraint FamilyCP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.174-189, ⟨10.1007/978-3-319-10428-7_15⟩
Communication dans un congrès
lirmm-01067459
v1
|
|
Acquisition de contraintes avec des requêtes partiellesJFPC 2014 - 10es Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France
Communication dans un congrès
lirmm-01229549
v1
|
|
Maintaining Virtual Arc Consistency Dynamically during SearchICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. pp.8-15, ⟨10.1109/ICTAI.2014.13⟩
Communication dans un congrès
lirmm-01228369
v1
|
|
Reasoning about Constraint ModelsPRICAI: Pacific Rim International Conference on Artificial Intelligence, Dec 2014, Gold Coast, Australia. pp.795-808, ⟨10.1007/978-3-319-13560-1_63⟩
Communication dans un congrès
hal-02742999
v2
|
|
Boosting Constraint Acquisition via Generalization QueriesECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.099-104, ⟨10.3233/978-1-61499-419-0-99⟩
Communication dans un congrès
lirmm-01067472
v1
|
Maintaining Virtual Arc Consistency Dynamically During SearchICTAI 2014 - 26th IEEE International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus
Communication dans un congrès
hal-02743901
v1
|
|
|
Solve a Constraint Problem without Modeling ItICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limasso, Cyprus. pp.1-7, ⟨10.1109/ICTAI.2014.12⟩
Communication dans un congrès
lirmm-01228368
v1
|
|
Adaptive Singleton-based ConsistenciesAAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. pp.2601-2607
Communication dans un congrès
lirmm-01067213
v1
|
The balance constraint familyCP 2014 - 20th International Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France
Communication dans un congrès
hal-02743284
v1
|
|
|
Improving Relational Consistency Algorithms Using Dynamic Relation PartitioningCP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.688-704, ⟨10.1007/978-3-319-10428-7_50⟩
Communication dans un congrès
lirmm-01067437
v1
|
|
Adaptive Parameterized Consistency for Non-Binary CSPs by Counting SupportsCP: Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.755-764, ⟨10.1007/978-3-319-10428-7_54⟩
Communication dans un congrès
lirmm-01067342
v1
|
|
Buffered Resource Constraint: Algorithms and ComplexityCPAIOR: Integration of AI and OR Techniques in Constraint Programming, May 2014, Cork, Ireland. pp.318-333, ⟨10.1007/978-3-319-07046-9_23⟩
Communication dans un congrès
hal-01023267
v1
|
|
Adaptive Parameterized ConsistencyCP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. pp.143-158, ⟨10.1007/978-3-642-40627-0_14⟩
Communication dans un congrès
lirmm-00839025
v1
|
|
Dynamic virtual arc consistency28th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.6, ⟨10.1145/2480362.2480384⟩
Communication dans un congrès
hal-02745649
v1
|
|
Maintaining Arc Consistency Asynchronously in Synchronous Distributed SearchICTAI: International Conference on Tools with Artificial Intelligence, Nov 2012, Athens, Greece. pp.33-40, ⟨10.1109/ICTAI.2012.14⟩
Communication dans un congrès
lirmm-00748195
v1
|
|
Detecting and Exploiting Subproblem TractabilityIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.468-474
Communication dans un congrès
lirmm-00830330
v1
|
|
Constraint Acquisition via Partial QueriesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.475-481
Communication dans un congrès
lirmm-00830325
v1
|
|
Cohérences Locales ParamétréesJFPC 2013 - 9es Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France
Communication dans un congrès
lirmm-00830410
v1
|
|
Asynchronous Forward Bounding RevisitedCP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. pp.708-723, ⟨10.1007/978-3-642-40627-0_52⟩
Communication dans un congrès
lirmm-00839024
v1
|
A Framework for Combining Set Variable RepresentationsSARA: Symposium of Abstraction, Reformulation, and Approximation, Jul 2012, Leavenworth, WA, United States
Communication dans un congrès
lirmm-01067263
v1
|
|
|
Cohérence d'arc virtuelle dynamiqueJFPC 2013 - 9es Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.249-258
Communication dans un congrès
lirmm-00830411
v1
|
|
Cohérence d'arc virtuelle dynamiqueJFPC 2013 - Neuvièmes Journées Francophones de Programmation par Contraintes, Association Française pour la Programmation par Contraintes (AFPC). FRA., Jun 2013, Aix-en -Provence, France
Communication dans un congrès
hal-02749182
v1
|
|
Global Inverse Consistency for Interactive Constraint SatisfactionCP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. pp.159-174
Communication dans un congrès
hal-01147298
v1
|
|
Maintien asynchrone de la consistance d'arc dans la recherche distribuée synchroneJFPC 2013 - 9es Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France
Communication dans un congrès
lirmm-00830408
v1
|
|
Dynamic Virtual Arc ConsistencySAC: Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.098-103
Communication dans un congrès
lirmm-00830307
v1
|
Filtering decomposable global cost functionsTwenty-Sixth Conference on Artificial Intelligence, Jul 2012, Toronto, Canada. pp.7
Communication dans un congrès
hal-02747813
v1
|
|
|
Contraintes globales et décompositionsJFPC 2012 - 8es Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France
Communication dans un congrès
hal-00830336
v1
|
|
Including Soft Global Constraints in DCOPsCP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec City, Canada. pp.175-190, ⟨10.1007/978-3-642-33558-7_15⟩
Communication dans un congrès
lirmm-00748177
v1
|
|
Filtrage de fonctions de coût globales décomposablesHuitièmes Journées Francophones de Programmation par Contraintes (JFPC), Association Française de Programmation par Contraintes (AFPC). FRA., May 2012, Toulouse, France. pp.358
Communication dans un congrès
hal-02747133
v1
|
|
Filtrage de fonctions de coût globales décomposablesJFPC 2012 - 8es Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France
Communication dans un congrès
hal-00809789
v1
|
|
Branch and Learn pour l'acquisition de CSPJFPC 2012 - 8es Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France. pp.64-73
Communication dans un congrès
lirmm-00752314
v1
|
|
Revisiting Neighborhood Inverse Consistency on Binary CSPsCP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec City, Canada. pp.688-703, ⟨10.1007/978-3-642-33558-7_50⟩
Communication dans un congrès
lirmm-00748179
v1
|
|
Filtering Decomposable Global Cost FunctionsAAAI Conference on Artificial Intelligence, Jul 2012, Toronto, ON, Canada
Communication dans un congrès
lirmm-00748187
v1
|
|
Solving Difficult CSPs with Relational Neighborhood ConsistencyAAAI Conference on Artificial Intelligence, Aug 2011, San Francisco, CA, United States. pp.112-119
Communication dans un congrès
lirmm-00748656
v1
|
|
The Alldifferent Constraint with PrecedencesCPAIOR'11: International Conference on Integration of Artificial Intelligence and Operations Research techniques in Constraint Programming, Berlin, Germany. pp.36-52
Communication dans un congrès
lirmm-00748652
v1
|
|
Decomposing Global Cost Functions11th Workshop on Preferences and Soft Constraints (Soft'11) in 17th Int. Conf. on Principles and Practice of Constraint Programming, Sep 2011, Perugia, Italy. pp.16-30
Communication dans un congrès
hal-01017977
v1
|
|
Decomposing global cost functions11th Workshop on Preferences and Soft Contraints (Soft), Labo/service de l'auteur, Ville service, Pays service., Sep 2011, Perugia, Italy
Communication dans un congrès
hal-02747863
v1
|
|
A First Practical Algorithm for High Levels of Relational ConsistencyAAAI Conference on Artificial Intelligence, Jul 2010, Atlanta, GA, United States. pp.101-107
Communication dans un congrès
lirmm-00558132
v1
|
Relational Consistency by Constraint FilteringSAC: Symposium on Applied Computing, Mar 2010, Sierre, Switzerland. pp.2073-2074
Communication dans un congrès
lirmm-00558309
v1
|
|
|
Decomposition of the NValue ConstraintCP: Principles and Practice of Constraint Programming, Sep 2010, St. Andrews, Scotland, United Kingdom. pp.114-128, ⟨10.1007/978-3-642-15396-9_12⟩
Communication dans un congrès
lirmm-00558048
v1
|
|
Propagating Conjuctions of ALLDIFFERENT ConstraintsAAAI Conference on Artificial Intelligence, Jul 2010, Atlanta, GA, United States. pp.27-32
Communication dans un congrès
lirmm-00558126
v1
|
Decompositions of All Different, Global Cardinality and Related ConstraintsIJCAI'09: 21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.419-424
Communication dans un congrès
lirmm-00382607
v1
|
|
Circuit Complexity and Decompositions of Global ConstraintsIJCAI'09: 21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.412-418
Communication dans un congrès
lirmm-00382608
v1
|
|
|
Asynchronous Inter-Level Forward-Checking for DisCSPsCP: Principles and Practice of Constraint Programming, Sep 2009, Lisbon, Portugal. pp.304-318, ⟨10.1007/978-3-642-04244-7_25⟩
Communication dans un congrès
istex
lirmm-00545541
v1
|
|
Minimising Decision Tree Size as Combinatorial OptimisationCP: Principles and Practice of Constraint Programming, Sep 2009, Lisbon, Portugal. pp.173-187, ⟨10.1007/978-3-642-04244-7_16⟩
Communication dans un congrès
istex
lirmm-00545531
v1
|
|
Making Bound Consistency as Effective as Arc ConsistencyIJCAI'09: 21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.425-430
Communication dans un congrès
lirmm-00382609
v1
|
|
The Parameterized Complexity of Global ConstraintsAAAI Conference on Artificial Intelligence, Jul 2008, Chicago, IL, United States. pp.235-240
Communication dans un congrès
lirmm-00272791
v1
|
|
Guiding Search in QCSP+ with Back-PropagationCP: Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.175-189, ⟨10.1007/978-3-540-85958-1_12⟩
Communication dans un congrès
lirmm-00329894
v1
|
|
Réordonnancement de domaines dans les réseaux de contraintesJFPC 2008 - 4es Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.133-142
Communication dans un congrès
inria-00291550
v1
|
Automated Constraint ModellingModelling with Constraints: Theory and Practice ACP Summer School, Jul 2008, United Kingdom
Communication dans un congrès
lirmm-00329868
v1
|
|
|
Automatic Design of Robot Behaviors through Constraint Networks AcquisitionICTAI 2008 - 20th IEEE International Conference on Tools with Artificial Intelligence, Nov 2008, Dayton, OH, United States. pp.275-282, ⟨10.1109/ICTAI.2008.83⟩
Communication dans un congrès
lirmm-00349025
v1
|
|
SLIDE: A Useful Special Case of the CARDPATH ConstraintECAI: European Conference on Artificial Intelligence, Jul 2008, Patras, Greece. pp.475-479
Communication dans un congrès
lirmm-00329876
v1
|
Dynamic Backtracking for Distributed Constraint OptimizationECAI'08: Eighteenth European Conference on Artificial Intelligence, Patras, Greece. pp.901-902
Communication dans un congrès
lirmm-00329883
v1
|
|
Utiliser les contraintes sans rien y comprendreRFIA: Reconnaissance des Formes et Intelligence Artificielle, Jan 2008, Amiens, France
Communication dans un congrès
lirmm-00329857
v1
|
|
|
Query-Driven Constraint AcquisitionIJCAI 2007 - 20th International Joint Conference on Artificial Intelligence, Jan 2007, Hyderabad, India. pp.44-49
Communication dans un congrès
lirmm-00195905
v1
|
|
Reformulating Global Constraints: The SLIDE and REGULAR ConstraintsSARA: Symposium on Abstraction, Reformulation, and Approximation, Jun 2007, Whistler, Canada. pp.80-92
Communication dans un congrès
lirmm-00195913
v1
|
Learning Implied Global ConstraintsIJCAI'07: International Joint Conference on Artificial Intelligence, 2007, Hyderabad, India. pp.50-55
Communication dans un congrès
lirmm-00195896
v1
|
|
DisChoco: A platform for distributed constraint programmingDCR'07: Eighth International Workshop on Distributed Constraint Reasoning - In conjunction with IJCAI'07, Jan 2007, Hyderabad, India, pp.16-21
Communication dans un congrès
lirmm-00189778
v1
|
|
An Agent for Constraint Acquisition and EmergenceSYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2007, Timisoara, Romania. pp.229-234, ⟨10.1109/SYNASC.2007.80⟩
Communication dans un congrès
lirmm-00370442
v1
|
|
|
Acquiring Constraint Networks using a SAT-based Version Space AlgorithmAAAI Conference on Artificial Intelligence, Jul 2006, Boston, MA, United States. pp.1565-1568
Communication dans un congrès
lirmm-00135484
v1
|
|
The ROOTS ConstraintCP: Principles and Practice of Constraint Programming, Sep 2006, Nantes, France. pp.75-90, ⟨10.1007/11889205_8⟩
Communication dans un congrès
istex
lirmm-00135537
v1
|
|
Blocksolve: A bottom-up approach for solving quantified CSPsCP: Principles and Practice of Constraint Programming, Sep 2006, Nantes, France. pp.635-649, ⟨10.1007/11889205_45⟩
Communication dans un congrès
lirmm-00135534
v1
|
|
Strategic Constraint Satisfaction ProblemsModRef 2006 - 5th International Workshop on Constraint Modelling and Reformulation, Sep 2006, Nantes, France. pp.17-29
Communication dans un congrès
lirmm-00134937
v1
|
|
The Range Constraint: Algorithms and ImplementationCPAIOR'06: International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Apr 2006, Cork, Ireland, pp.59-73
Communication dans un congrès
lirmm-00135217
v1
|
|
BlockSolve : une approche bottom-up des QCSPJFPC 2006 - 2e Journées Francophones de Programmation par Contraintes, Jun 2006, Nîmes, France
Communication dans un congrès
inria-00085794
v1
|
|
Mining Historical Data to Build Constraint ViewpointsModRef: Constraint Modelling and Reformulation, Sep 2006, Nantes, France
Communication dans un congrès
lirmm-00134936
v1
|
|
A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction ProblemsECML 2005 - 16th European Conference on Machine Learning, Oct 2005, Porto, Portugal. pp.23-34, ⟨10.1007/11564096_8⟩
Communication dans un congrès
lirmm-00106044
v1
|
Filtering Algorithms for the NValue ConstraintCPAIOR, May 2005, Prague, Czech Republic. pp.79-93, ⟨10.1007/11493853_8⟩
Communication dans un congrès
istex
lirmm-00106098
v1
|
|
|
Apprentissage de Contraintes Globales ImplicitesJFPC 2005 - 1res Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.249-258
Communication dans un congrès
inria-00000069
v1
|
|
Algorithmes Optimaux et Sous-optimaux de Singleton Consistance d'ArcJFPC 2005 - 1res Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.277-286
Communication dans un congrès
lirmm-00378944
v1
|
Optimal and Suboptimal Singleton Arc Consistency AlgorithmsIJCAI: International Joint Conference on Artificial Intelligence, 2005, Edinburgh, United Kingdom. pp.54-59
Communication dans un congrès
lirmm-00106097
v1
|
|
Among, Common and Disjoint ConstraintsProceedings CSCLP: Revised Selected and Invited Papers, Uppsala, Sweden, pp.29-43
Communication dans un congrès
lirmm-00378928
v1
|
|
|
Acquiring Parameters of Implied Global ConstraintsCP: Principles and Practice of Constraint Programming, Oct 2005, Sitges, Spain. pp.747-751, ⟨10.1007/11564751_57⟩
Communication dans un congrès
istex
lirmm-00106045
v1
|
The Range and Roots Constraints: Specifying Counting and Occurrence ProblemsIJCAI: International Joint Conference on Artificial Intelligence, 2005, Edinburgh, British Virgin Islands. pp.60-65
Communication dans un congrès
lirmm-00106096
v1
|
|
Disjoint, Partition and Intersection Constraints for Set and Multiset VariablesCP: Principles and Practice of Constraint Programming, Sep 2004, Toronto, Canada. pp.138-152
Communication dans un congrès
lirmm-00108915
v1
|
|
|
Theoretical Analysis of Singleton Arc ConsistencyWorkshop on Modelling and Solving Problems with Constraints, Aug 2004, Valencia, Spain. pp.20-29
Communication dans un congrès
lirmm-00108866
v1
|
|
The Tractability of Global ConstraintsCP: Principles and Practice of Constraint Programming, Sep 2004, Toronto, Canada. pp.716-720, ⟨10.1007/978-3-540-30201-8_53⟩
Communication dans un congrès
lirmm-00108916
v1
|
|
Statistical Regimes Across Constrainedness RegionsCP: Principles and Practice of Constraint Programming, Sep 2004, Toronto, Canada. pp.32-46, ⟨10.1007/978-3-540-30201-8_6⟩
Communication dans un congrès
lirmm-00108914
v1
|
|
Leveraging the Learning Power of Examples in Automated Constraint AcquisitionCP: Principles and Practice of Constraint Programming, Sep 2004, Toronto, Canada. pp.123-137, ⟨10.1007/978-3-540-30201-8_12⟩
Communication dans un congrès
lirmm-00108774
v1
|
|
Improving Asynchronous Backtracking for Dealing with Complex Local ProblemsECAI: Europeen Conference on Artificial Intelligence, Aug 2004, Valencia, Spain. pp.206-210
Communication dans un congrès
lirmm-00108867
v1
|
|
Local Consistencies in SATSAT: Theory and Applications of Satisfiability Testing, May 2003, Santa Margherita Ligure, Italy. pp.299-314, ⟨10.1007/978-3-540-24605-3_23⟩
Communication dans un congrès
istex
lirmm-00109164
v1
|
Measuring Search TreesWorkshop on Modelling and Solving Problems with Constraints - ECAI'2004, 2004, Valencia, Spain. pp.31-40
Communication dans un congrès
lirmm-00108865
v1
|
|
|
The Complexity of Global ConstraintsAAAI Conference on Artificial Intelligence, Jul 2004, San Jose, CA, United States. pp.112-117
Communication dans un congrès
lirmm-00108868
v1
|
|
Semi-Automatic Modeling by Constraint AcquisitionCP: Principles and Practice of Constraint Programming, Sep 2003, Kinsale, Ireland. pp.812-816, ⟨10.1007/978-3-540-45193-8_58⟩
Communication dans un congrès
istex
lirmm-00269537
v1
|
|
To Be or not To Be.. a Global ConstraintCP: Principles and Practice of Constraint Programming, Sep 2003, Kinsale, Ireland. pp.789-794, ⟨10.1007/978-3-540-45193-8_54⟩
Communication dans un congrès
lirmm-00269643
v1
|
|
A General Conflict-Set Based Framework for Partial Constraint SatisfactionSoft Constraints, 2003, Cork, Ireland
Communication dans un congrès
lirmm-00269780
v1
|
|
Pareto-Like Distributions in Random Binary CSPACIA, 2003, Palma de Majorqua, Spain
Communication dans un congrès
lirmm-00269777
v1
|
|
Constraint Acquisition as Semi-Automatic ModelingIA: Artificial Intelligence, 2003, Cambridge, United Kingdom. pp.111-124
Communication dans un congrès
lirmm-00191968
v1
|
|
Propagate the Right Thing: How Preferences Can Speed-Up Constraint SolvingIJCAI: International Joint Conference on Artificial Intelligence, Aug 2003, Acapulco, Mexico. pp.191-196
Communication dans un congrès
lirmm-00269564
v1
|
|
Local Consistencies in SATSAT: Theory and Applications of Satisfiability Testing, May 2003, Santa Margherita Ligure, Italy. pp.400-407
Communication dans un congrès
lirmm-00269776
v1
|
|
Détection de Conflits pour la Résolution de Problèmes Sur-ContraintsJNPC: Journées Nationales sur la Résolution Pratique des Problèmes NP-Complets, Jun 2003, Amiens, France. pp.293-307
Communication dans un congrès
lirmm-00269779
v1
|
|
Modélisation Semi-Automatique par Acquisition de ContraintesRJCIA: Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, 2003, Laval, France. pp.97-110
Communication dans un congrès
lirmm-00191969
v1
|
Etre ou ne pas Etre, une Contrainte GlobaleJNPC: Journées Nationales sur la Résolution Pratique des Problèmes NP-Complets, 2003, Amiens, France. pp.67-81
Communication dans un congrès
lirmm-00269778
v1
|
|
|
Modélisation Semi-Automatique par Acquisition de ContraintesJNPC: Journées Nationales sur la Résolution Pratique des Problèmes NP-Complets, Jun 2003, Amiens, France. pp.129-143
Communication dans un congrès
lirmm-00191967
v1
|
Range-Based Algorithm for Max-CSPECAI: Workshop on Modelling and Solving Problems with Constraints, Jul 2002, Lyon, France
Communication dans un congrès
lirmm-00269318
v1
|
|
|
La Famille ABTJNPC: Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, Jun 2002, Nice, France. pp.57-67
Communication dans un congrès
lirmm-00268451
v1
|
|
Range-Based Algorithm for Max-CSPCP: Principles and Practice of Constraint Programming, Sep 2002, Ithaca, NY, United States. pp.280-294, ⟨10.1007/3-540-46135-3_19⟩
Communication dans un congrès
istex
lirmm-00268450
v1
|
|
Hypermédias et cartes de concepts pour apprendre avec des métaphoresCinquième colloque Hypermédias et apprentissages, Apr 2001, Grenoble, France. pp.267-275
Communication dans un congrès
edutice-00000467
v1
|
|
Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem7th International Conference on Principles and Practice of Constraint Programming (CP 2001), Nov 2001, Paphos, Cyprus. pp.565-569, ⟨10.1007/3-540-45578-7_40⟩
Communication dans un congrès
istex
hal-03300268
v1
|
Heuristiques multi-niveaux pour ordonner les variables dans les CSPActes des 7ème journées Nationales sur la résolution Pratique des problèmes NP-Complets (JNPC'2001), 2001, Toulouse-France, Région indéterminée. pp.49-60
Communication dans un congrès
hal-03300278
v1
|
|
|
Raisonnement spatial et temporel6e journées nationales PRC-GDR intelligence artificielle, Mar 1997, Grenoble, France. pp.77-88
Communication dans un congrès
hal-01401180
v1
|
|
Application of Constraint Networks Filtering Techniques to Truth Maintenance SystemsCAIA: Conference on Artificial Intelligence for Applications, Mar 1993, Orlando, FL, United States. pp.41-47
Communication dans un congrès
lirmm-02310598
v1
|
|
Arc-Consistency for Non-Binary Dynamic CSPsECAI 1992 - 10th European Conference on Artificial Intelligence, Aug 1992, Vienna, Austria. pp.23-27, ⟨10.5555/145448.145487⟩
Communication dans un congrès
lirmm-02310588
v1
|
|
Arc-Consistency in Dynamic Constraint Satisfaction ProblemsAAAI Conference on Artificial Intelligence, Jul 1991, Anaheim, CA, United States. pp.221-226
Communication dans un congrès
lirmm-02310575
v1
|
|
Global Constraints in Distributed Constraint SatisfactionAAMAS'12: International Conference on Autonomous Agents (AA) and Multiagent Systems (MAS), Jun 2012, Valencia, Spain. , pp.2, 2012
Poster de conférence
lirmm-00748192
v1
|
Artificial Intelligence. What is it, exactly?Sébastien Konieczny; Henri Prade. College Publication, 2021, 9781848903388
Ouvrages
hal-04270168
v1
|
|
|
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, 2020, 978-0-9992411-6-5
Ouvrages
lirmm-03379779
v1
|
L’intelligence Artificielle: De quoi s’agit-il vraiment ?Sébastien Konieczny; Henri Prade. Cepadues, 2020, 9782364938502
Ouvrages
hal-04270163
v1
|
|
|
Data Mining and Constraint ProgrammingChristian Bessiere; Luc De Raedt; Lars Kotthoff; Siegfried Nijssen; Barry O'Sullivan; Dino Pedreschi. Springer, LNCS (10101), 2016, 978-3-319-50136-9. ⟨10.1007/978-3-319-50137-6⟩
Ouvrages
hal-01711594
v1
|
Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings Springer Lecture Notes in Computer Science volume 4741Springer, 4741, pp.001-900, 2007, Lecture Notes in Computer Science
Ouvrages
lirmm-00204133
v1
|
|
Constraint ReasoningPierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, Springer, Cham, pp.153-183, 2020, 978-3-030-06166-1. ⟨10.1007/978-3-030-06167-8_6⟩
Chapitre d'ouvrage
lirmm-02995451
v1
|
|
Adapting Consistency in Constraint SolvingChristian Bessiere; Luc De Raedt; Lars Kotthoff; Siegfried Nijssen; Barry O'Sullivan; Dino Pedreschi. Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, 10101, Springer, pp.226-253, 2016, Lecture Notes in Computer Science, 978-3-319-50136-9. ⟨10.1007/978-3-319-50137-6_9⟩
Chapitre d'ouvrage
hal-01711595
v1
|
|
New Approaches to Constraint AcquisitionData Mining and Constraint Programming, 10101 (Chapter 3), Springer International Publishing AG, pp.51-76, 2016, Lecture Notes in Computer Science, 978-3-319-50136-9. ⟨10.1007/978-3-319-50137-6_3⟩
Chapitre d'ouvrage
hal-01606245
v1
|
|
The Inductive Constraint Programming LoopChristian Bessiere; Luc De Raedt; Lars Kotthoff; Siegfried Nijssen; Barry O'Sullivan; Dino Pedreschi. Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, LNCS (10101), Springer, pp.303-309, 2016, 978-3-319-50136-9. ⟨10.1007/978-3-319-50137-6_12⟩
Chapitre d'ouvrage
hal-02310649
v1
|
Constraint PropagationJ. Hendler, H. Kitano, B. Nebel. Handbook of Constraint Programming, Elsevier, pp.29-83, 2006, 0-444-52726-5
Chapitre d'ouvrage
lirmm-00117128
v1
|
|
Pareto-Like Distributions in Random Binary CSPArtificial Intelligence Research and Development, 100, IOS Press, pp.451-461, 2003, Frontiers in Artificial Intelligence and Applications, 978-1-58603-378-1
Chapitre d'ouvrage
lirmm-00269781
v1
|
|
Nogood-Based Asynchronous Forward-Checking Algorithms[Research Report] RR-12013, Lirmm. 2012, pp.29
Rapport
(rapport de recherche)
lirmm-00691197
v1
|
|
Agile Asynchronous Backtracking for Distributed Constraint Satisfaction ProblemsRR-11017, 2011, pp.01-20
Rapport
lirmm-00595688
v2
|
Characterizing Decomposable and Global Constraints[Research Report] 05053, LIRMM. 2005, pp.12
Rapport
(rapport de recherche)
lirmm-00106652
v1
|
|
|
Complexity of the Cardpath Constraint05036, 2005, 4 p
Rapport
lirmm-00106686
v1
|
Chargement...
Chargement...