Filter your results
- 54
- 8
- 42
- 16
- 2
- 2
- 62
- 4
- 1
- 4
- 3
- 10
- 7
- 4
- 3
- 8
- 10
- 5
- 3
- 3
- 1
- 53
- 9
- 62
- 8
- 7
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 62
- 14
- 11
- 10
- 8
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay2020
Preprints, Working Papers, ...
hal-02950823v1
|
||
|
On Singleton Arc Consistency for CSPs Defined by Monotone PatternsInternational Symposium on Theoretical Aspects of Computer Science (STACS 2018), Feb 2018, Caen, France. pp.19 - 20, ⟨10.4230/LIPIcs.STACS.2018.19⟩
Conference papers
hal-02930099v1
|
||
|
On Broken Triangles (IJCAI 2016)Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016), International Joint Conferences on Artificial Intelligence (IJCAI); Association for the Advancement of Artificial Intelligence, Jul 2016, New York City, United States. pp.4135-4139
Conference papers
hal-01356058v1
|
||
|
Extending Broken Triangles and Enhanced Value-Merging22nd International Conference on Principles and Practice of Constraint Programming (CP 2016), Sep 2016, Toulouse, France. pp. 173-188
Conference papers
hal-01475026v1
|
||
|
An Algebraic Theory of Complexity for Discrete OptimizationSIAM Journal on Computing, 2013, vol. 42 (n° 5), pp. 1915-1939. ⟨10.1137/130906398⟩
Journal articles
hal-01122748v1
|
||
|
The power of arc consistency for CSPs defined by partially-ordered forbidden patternsLogical Methods in Computer Science, 2017, 13 (4:26), pp.1-32. ⟨10.23638/LMCS-13(4:26)2017⟩
Journal articles
hal-02640799v1
|
||
|
Autour des Triangles Cassés11es Journées Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. pp.57-58
Conference papers
hal-01356093v1
|
||
|
Tractability in Constraint Satisfaction Problems: A SurveyConstraints, 2016, 21 (2), pp.115-144. ⟨10.1007/s10601-015-9198-6⟩
Journal articles
hal-01230685v1
|
||
|
Compilation d'un langage de planification temporelle de haut niveau en PDDL2.1RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Conference papers
hal-00656490v1
|
||
|
Cohérence d'arc virtuelle pour les CSP pondérésJFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.237-246
Conference papers
inria-00292640v1
|
||
|
Variable and Value Elimination in Binary Constraint Satisfaction via Forbidden PatternsJournal of Computer and System Sciences, 2015, 81 (7), pp.1127-1143. ⟨10.1016/j.jcss.2015.02.001⟩
Journal articles
hal-01280349v1
|
||
|
Temporal Epistemic Gossip Problems16th European Conference on Multi-Agent Systems (EUMAS 2018), Dec 2018, Bergen, Norway. pp.1-14
Conference papers
hal-02378391v1
|
||
Abductive Explanations of Classifiers under Constraints: Complexity and Properties26th European Conference on Artificial Intelligence (ECAI 2023), European Association for Artificial Intelligence (EurAI); Polish Artificial Intelligence Society (PSSI), Sep 2023, Krakow, Poland. à paraître
Conference papers
hal-04210428v1
|
|||
|
Variable Elimination in Binary CSPs (Extended Abstract)Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}, Jul 2020, Yokohama, France. pp.5035-5039, ⟨10.24963/ijcai.2020/702⟩
Conference papers
hal-02897892v1
|
||
|
Caractérisation de la complexité des classes de CSP définies par des motifs interdits à deux contraintes.JFPC - Journées Francophones de Programmation par Contraintes - 2012, May 2012, Toulouse, France
Conference papers
hal-00811871v1
|
||
|
Monotone Temporal Planning : tractability, extensions and applications (Extended abstract)20th International Conference on Principles and Practice of Constraint Programming (CP), Sep 2014, Lyon, France. pp. 928-932
Conference papers
hal-01153605v1
|
||
|
Tractable Explanations for d-DNNF Classifiers36th AAAI Conference on Artificial Intelligence (AAAI 2022), AAAI: American Association for Artificial Intelligence, Feb 2022, Seattle (virtual), United States. pp.5719-5728, ⟨10.1609/aaai.v36i5.20514⟩
Conference papers
hal-03873826v1
|
||
|
Lightweight Parallel Multi-Agent Epistemic Planning17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020, Sep 2020, Rhodes, Greece
Conference papers
hal-03015803v1
|
||
Valued Constraint Satisfaction ProblemsA Guided Tour of Artificial Intelligence Research, 2, Springer International Publishing, pp.185-207, 2020, AI Algorithms, 978-3-030-06167-8. ⟨10.1007/978-3-030-06167-8_7⟩
Book sections
hal-02942366v1
|
|||
|
Broken Triangles Revisited21st International Conference on Principles and Practice of Constraint Programming (CP 2015), Aug 2015, Cork, Ireland. pp. 58-73
Conference papers
hal-01343049v1
|
||
|
Simple epistemic planning: generalised gossiping22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1563-1564
Conference papers
hal-01500520v1
|
||
|
Isomorphismes entre instances et sous-instances STRIPSJournées Francophones de Programmation par Contraintes, Association Française pour l’Intelligence Artificielle (AFIA), Jun 2022, Saint-Etienne, France. pp.35-42
Conference papers
hal-03819065v1
|
||
|
Beyond Consistency and SubstitutabilityInternational Conference on Principles and Practice of Constraint Programming - CP 2014, Sep 2014, Lyon, France. pp. 256-271
Conference papers
hal-01141435v1
|
||
|
Tractable Classes of Binary CSPs Defined by Excluded Topological Minors24th International Joint Conference on Artificial Intelligence (IJCAI 2015), International Joint Conferences on Artificial Intelligence (IJCAI), Jul 2015, Buenos Aires, Argentina. pp.1945-1951
Conference papers
hal-04079418v1
|
||
|
Binarisation via Dualisation for Valued Constraints29th AAAI Conference on Artificial Intelligence (AAAI 2015), Association for the Advancement of Artificial Intelligence (AAAI), Jan 2015, Austin, Texas, United States. pp.3731-3723, ⟨10.1609/aaai.v29i1.9749⟩
Conference papers
hal-04079582v1
|
||
|
Strengthening Neighbourhood SubstitutionInternational Conference on Principles and Practice of Constraint Programming 2020, 2020, Louvain, Belgium. pp.126-142, ⟨10.1007/978-3-030-58475-7_8⟩
Conference papers
hal-02950838v1
|
||
|
Domain Reduction for Valued Constraints by Generalising Methods from CSP24th International Conference on Principles and Practice of Constraint Programming (CP 2018), Aug 2018, Lille, France. pp.64-80
Conference papers
hal-02283157v1
|
||
|
Tractable Explanations for d-DNNF Classifiers36th AAAI Conference on Artificial Intelligence (AAAI 2022), AAAI: Association for the Advancement of Artificial Intelligence, Feb 2022, virtual, Canada. pp.5719-5728, ⟨10.1609/aaai.v36i5.20514⟩
Conference papers
hal-03859857v1
|
||
|
Binary constraint satisfaction problems defined by excluded topological minorsInformation and Computation, 2019, 264, pp.12-31. ⟨10.1016/j.ic.2018.09.013⟩
Journal articles
hal-03311390v1
|
||
|
Variable elimination in binary CSPs2019
Preprints, Working Papers, ...
hal-02142769v1
|