Publications de Martin COOPER
Patrice Abry, Benjamin Cooper Boniece, Gustavo Didier, Herwig Wendt
Wavelet eigenvalue regression in high dimensions
Statistical Inference for Stochastic Processes, 2022, pp.1-33. ⟨10.1007/s11203-022-09279-3⟩
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Régnier Pierre
A Lightweight Epistemic Logic and its Application to Planning
Artificial Intelligence, 2021, Special issue: SI: Ethics for Autonomous Systems, 298, pp.103437. ⟨10.1016/j.artint.2020.103437⟩
David Cohen, Martin Cooper, Artem Kaznatcheev, Mark Wallace
Steepest ascent can be exponential in bounded treewidth problems
Operations Research Letters, 2020, 48 (3), pp.217-224. ⟨10.1016/j.orl.2020.02.010⟩
Martin Cooper, Simon de Givry, Thomas Schiex
Graphical Models: Queries, Complexity, Algorithms
Leibniz International Proceedings in Informatics , 2020, 154, pp.4:1–4:22. ⟨10.4230/LIPIcs.STACS.2020.4⟩
Clément Carbonnel, David Cohen, Martin Cooper, Stanislav Živný
On Singleton Arc Consistency for CSPs Defined by Monotone Patterns
Algorithmica, 2019, 81 (4), pp.1699-1727. ⟨10.1007/s00453-018-0498-2⟩
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
The epistemic gossip problem
Discrete Mathematics, 2019, 342 (3), pp.654-663. ⟨10.1016/j.disc.2018.10.041⟩
David Cohen, Martin Cooper, Peter Jeavons, Stanislav Živný
Binary constraint satisfaction problems defined by excluded topological minors
Information and Computation, 2019, 264, pp.12-31. ⟨10.1016/j.ic.2018.09.013⟩
Martin Cooper, Achref El Mouelhi, Cyril Terrioux
Variable Elimination in Binary CSPs
Journal of Artificial Intelligence Research, 2019, 66, pp.589 – 624. ⟨10.1613/jair.1.11295⟩
Wafa Jguirim, Wady Naanaa, Martin Cooper
A polynomial relational class of binary CSP
Annals of Mathematics and Artificial Intelligence, 2018, 83 (1), pp.1-20. ⟨10.1007/s10472-017-9566-6⟩
Martin Cooper, Stanislav Živný
The power of arc consistency for CSPs defined by partially-ordered forbidden patterns
Logical Methods in Computer Science, 2017, 13 (4:26), pp.1-32. ⟨10.23638/LMCS-13(4:26)2017⟩
David A. Cohen, Martin Cooper, Peter G. Jeavons, Andrei Krokhin, Robert Powell, Stanislav Živný
Binarisation for valued constraint satisfaction problems
SIAM Journal on Discrete Mathematics, 2017, vol. 31 (n° 4), pp. 2279-2300. ⟨10.1137/16M1088107⟩
Martin Cooper, Aymeric Duchein, Achref El Mouelhi, Guillaume Escamocher, Cyril Terrioux, Bruno Zanuttini
Broken Triangles: From Value Merging to a Tractable Class of General-Arity Constraint Satisfaction Problems
Dans : Artificial Intelligence, Elsevier, Vol. 234, p. 196-218, 2016.
Clément Carbonnel, Martin Cooper
Tractability in constraint satisfaction problems: a survey
Dans : Constraints, Springer, Vol. 21 N. 1, p. 115-144, 2016.
David Cohen, Martin Cooper, Guillaume Escamocher, Stanislav Zivny
Variable and Value Elimination in Binary Constraint Satisfaction via Forbidden Patterns
Dans : Journal of Computer and System Sciences (JCSS), Elsevier, Vol. 81 N. 7, p. 1127-1143, 2015.
Martin Cooper, Guillaume Escamocher
Characterising the Complexity of Constraint Satisfaction Problems Defined by 2-Constraint Forbidden Patterns
Dans : Discrete Applied Mathematics, Elsevier, Vol. 184, p. 89-113, 2015.
Martin Cooper, Frédéric Maris, Pierre Régnier
Monotone Temporal Planning: Tractability, Extensions and Applications
Dans : Journal of Artificial Intelligence Research (JAIR), AAAI Press, Vol. 50, p. 447-485, 2014.
Résumé Accès : http://www.irit.fr/publis/ADRIA/MonotoneJAIR.pdf – https://oatao.univ-toulouse.fr/13037/
BibTeXDavid Cohen, Martin Cooper, Paidi Creed, Peter Jeavons, Stanislav Zivny
An Algebraic Theory of Complexity for Discrete Optimization
Dans : SIAM Journal on Computing, Society for Industrial and Applied Mathematics (SIAM), USA, Vol. 42 N. 5, p. 1915-1939, 2013.
Martin Cooper, Frédéric Maris, Pierre Régnier
Managing temporal cycles in planning problems requiring concurrency
Dans : Computational Intelligence, Wiley-Blackwell, USA, Vol. 29 N. 1, p. 111-128, 2013.
Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/Cycles_Temporels_final.pdf – https://oatao.univ-toulouse.fr/12314/
BibTeXDavid Cohen, Martin Cooper, Paidi Creed, Daniel Marx, Andras Salamon
The Tractability of CSP Classes Defined by Forbidden Patterns
Dans : Journal of Artificial Intelligence Research (JAIR), AAAI Press, Vol. 45, p. 47-78, 2012.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/pivot-jair-final.pdf
BibTeXMartin Cooper, Stanislav Zivny
Tractable Triangles and Cross-Free Convexity in Discrete Optimisation
Dans : Journal of Artificial Intelligence Research (JAIR), AAAI Press, Vol. 44, p. 455-490, 2012.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/cross-free-final.pdf
BibTeXMartin Cooper, Stanislav Zivny
Hybrid tractability of valued constraint problems
Dans : Artificial Intelligence, Elsevier, Vol. 175 N. 9-10, p. 1555-1569, 2011.
Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/cz10aij-submission3.pdf
BibTeXMartin Cooper, Marie de Roquemaurel, Pierre Régnier
Transformation of optimal planning problems
Dans : Journal of Experimental & Theoretical Artificial Intelligence, Taylor & Francis Group, Vol. 23 N. 2, p. 181-199, juin 2011.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/JETAIplanningtheory.pdf
BibTeXMartin Cooper, Marie de Roquemaurel, Pierre Régnier
A weighted CSP approach to cost-optimal planning
Dans : AI Communications, IOS Press, Vol. 24 N. 1, p. 1-29, 2011.
Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/optimal_planning.pdf
BibTeXMartin Cooper, Simon De Givry, Marti Sanchez, Thomas Schiex, Matthias Zytnicki, Tomas Werner
Soft arc consistency revisited
Dans : Artificial Intelligence, Elsevier, Vol. 174, p. 449-478, 2010.
Résumé Accès : http://www.irit.fr/publis/ADRIA/VAC_OSAC_final.pdf
BibTeXMartin Cooper, Peter Jeavons, Andras Salamon
Generalizing constraint satisfaction on trees: hybrid tractability and variable elimination
Dans : Artificial Intelligence, Elsevier, Vol. 174, p. 570-584, 2010.
Résumé Accès : http://www.irit.fr/publis/ADRIA/BTP_final.pdf
BibTeXMartin Cooper, Marie de Roquemaurel, Pierre Régnier
Transformation de problèmes de planification optimale
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 24, N. 4, p. 465-484, 2010.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/RIA_planification.pdf
BibTeXA rich discrete lableing scheme for line drawings of curved objects
Dans : IEEE Transactions on Pattern Analysis and Machine Intelligence, IEEE : Institute of Electrical and Electronics Engineers, Vol. 30 N. 4, p. 741-745, 2008.
Résumé Accès : http://www.irit.fr/publis/ADRIA/rich_short3.pdf
BibTeXMinimization of locally-defined submodular functions by optimal soft arc consistency
Dans : Constraints, Springer, Vol. 13 N. 4, p. 437-458, 2008.
Résumé Accès : http://www.irit.fr/publis/ADRIA/SFM.pdf
BibTeXMeasuring the semantic distance between languages from a statistical analysis of bilingual dictionaries
Dans : Journal of Quantitative Linguistics, Taylor & Francis Group, Vol. 15 N. 1, p. 1-33, 2008.
Résumé Accès : http://www.irit.fr/publis/ADRIA/hs2.pdf
BibTeXDavid Cohen, Martin Cooper, Peter Jeavons
Generalising submodularity and Horn clauses: tractable optimization problems defined by tournament pair multimorphisms
Dans : Theoretical Computer Science, Elsevier, Vol. 401 N. 1-3, p. 36-51, 2008.
Constraints between distant lines in the labelling of line drawings of polyhedral scenes
Dans : International Journal of Computer Vision (IJCV), Springer-Verlag, Heidelberg, Allemagne, Vol. 73 N. 2, p. 195-212, 2007.
Accès : http://www.irit.fr/publis/ADRIA/IJCV_lddl_final.pdf
BibTeXDavid Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
The complexity of soft constraint satisfaction
Dans : Artificial Intelligence, Elsevier, Vol. 170 N. 11, p. 983-1016, 2006.
Accès : http://www.irit.fr/publis/ADRIA/AIJ_complexity_soft_constraint_satisfaction.pdf
BibTeXHigh-order consistency in valued constraint satisfaction
Dans : Constraints, Springer, Vol. 10, p. 283-305, 2005.
Wireframe projections: physical realisability of curved objects and unambiguous reconstruction of simple polyhedra
Dans : International Journal of Computer Vision (IJCV), Springer-Verlag, Heidelberg, Allemagne, Vol. 64, p. 69-88, 2005.
A mathematical model of historical semantics and the grouping of word-meanings into concepts
Dans : Computational Linguistics, The MIT Press, Vol. 31 N. 2, p. 227-248, 2005.
David Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
Supermodular functions and the complexity of MAX CSP
Dans : Discrete Applied Mathematics, Elsevier, Vol. 149 N. 1-3, p. 53-72, 2005.
David Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
A maximal tractable class of soft constraints
Dans : Journal of Artificial Intelligence Research (JAIR), AAAI Press, Vol. 22, p. 1-22, 2004.
Accès : http://www.irit.fr/publis/ADRIA/JAIRversion.pdf
BibTeXArc consistency for soft constraints
Dans : Artificial Intelligence, Elsevier, Vol. 154 N. 1-2, p. 199-227, 2004.
Cyclic consistency: A local reduction operation for binary valued constraints
Dans : Artificial Intelligence, Elsevier, Vol. 155 N. 1-2, p. 69-92, 2004.
Accès : http://www.irit.fr/publis/ADRIA/CyclicConsistency_final.pdf
BibTeXReduction operations in fuzzy or valued constraint satisfaction
Dans : Fuzzy Sets and Systems, Elsevier, Vol. 134 N. 3, p. 311-342, 2003.
The interpretation of line drawings with contrast failure and shadows
Dans : International Journal of Computer Vision (IJCV), Springer-Verlag, Heidelberg, Allemagne, Vol. 43, p. 75-97, 2001.
Semantic distance measures
Dans : Computational Intelligence, Blckwell, Vol. 16, p. 79-94, 2000.
Linear constraints for the interpretation of line drawings of curved objects
Dans : Artificial Intelligence, Elsevier, Vol. 119, p. 235-258, 2000.
Résumé Accès : http://www.irit.fr/publis/ADRIA/ld4.pdf
BibTeXLinear-time algorithms for testing the realisability of line drawings of curved objects
Dans : Artificial Intelligence, Elsevier, Vol. 108, p. 31-67, 1999.
Peter Jeavons, David Cohen, Martin Cooper
Constraints, consistency and closure
Dans : Artificial Intelligence, Elsevier, Vol. 101, p. 251-265, 1998.
The tractability of segmentation and scene analysis
Dans : International Journal of Computer Vision (IJCV), Springer-Verlag, Heidelberg, Allemagne, Vol. 30, p. 27-42, 1998.
Accès : http://www.irit.fr/publis/ADRIA/IJCV_segn.pdf
BibTeXInterpreting line drawings of curved objects with tangential edges and surfaces
Dans : Image and Vision Computing, Elsevier Science, Vol. 15 N. 2, p. 263-276, février 1997.
Fundamental properties of neighbourhood substitution in constraint satisfaction problems
Dans : Artificial Intelligence, Elsevier, Vol. 90 N. 1-2, p. 1-24, février 1997.
Tractable constraints on ordered domains
Dans : Artificial Intelligence, Elsevier, Vol. 79 N. 2, p. 327-339, février 1995.
Accès : http://www.irit.fr/publis/ADRIA/max-closed.pdf
BibTeXInterpretation of the line drawings of complex objects
Dans : Image and Vision Computing, Elsevier Science, Vol. 11 N. 2, p. 82-90, 1993.
Abductive Explanations of Classifiers under Constraints: Complexity and Properties
26th European Conference on Artificial Intelligence (ECAI 2023), European Association for Artificial Intelligence (EurAI); Polish Artificial Intelligence Society (PSSI), Sep 2023, Krakow, Poland. à paraître
Léo Saulières, Martin C Cooper, Florence Dupin de Saint-Cyr
Predicate-based explanation of a Reinforcement Learning agent via action importance evaluation
4th workshop on Advances in Interpretable Machine Learning and Artificial Intelligence (AIMLAI 2023) @ ECML/PKDD conference, Sep 2023, Turin, Italy. à paraître
Léo Saulières, Martin C Cooper, Florence Dupin de Saint-Cyr
Reinforcement Learning Explained via Reinforcement Learning: Towards Explainable Policies through Predictive Explanation
15th International Conference on Agents and Artificial Intelligence (ICAART 2023), Feb 2023, Lisbon, Portugal. pp.35-44, ⟨10.5220/0011619600003393⟩
Christian Bessiere, Clement Carbonnel, Martin Cooper, Emmanuel Hébrard
Complexity of Minimum-Size Arc-Inconsistency Explanations
CP 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⟩
Martin C Cooper, Arnaud Lequen, Frédéric Maris
Isomorphisms Between STRIPS Problems and Sub-Problems
28th International Conference on Principles and Practice of Constraint Programming (CP 2022), Association for Constraint Programming, Jul 2022, Haïfa, Israel. pp.13:1–13:16, ⟨10.4230/LIPIcs.CP.2022.13⟩
Martin Cooper, Arnaud Lequen, Frédéric Maris
Isomorphismes entre instances et sous-instances STRIPS
Journées Francophones de Programmation par Contraintes, Association Française pour l’Intelligence Artificielle (AFIA), Jun 2022, Saint-Etienne, France. pp.35-42
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin Cooper, Nicholas Asher, Joao Marques-Silva
Tractable Explanations for d-DNNF Classifiers
36th 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⟩
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin Cooper, Nicholas Asher, Joao Marques-Silva
Tractable Explanations for d-DNNF Classifiers
36th 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⟩
Martin Cooper, João Marques Silva
On the Tractability of Explaining Decisions of Classifiers
27th International Conference on Principles and Practice of Constraint Programming (CP 2021), Oct 2021, Montpellier (en ligne), France. pp.21:1-21:18, ⟨10.4230/LIPIcs.CP.2021.21⟩
João Marques Silva, Thomas Gerspacher, Martin Cooper, Alexey Ignatiev, Nina Narodytska
Explanations for Monotonic Classifiers
38th International Conference on Machine Learning (ICML 2021), 2021, virtual, Austria
Martin Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey
Lightweight Parallel Multi-Agent Epistemic Planning
17th International Conference on Principles of Knowledge Representation and Reasoning – KR 2020, Sep 2020, Rhodes, Greece
Alexey Ignatiev, Martin Cooper, Mohamed Siala, Emmanuel Hébrard, João Marques Silva
Towards Formal Fairness in Machine Learning
26th International Conference on Principles and Practice of Constraint Programming (CP 2020), Sep 2020, Louvain (online), Belgium. pp.846-867, ⟨10.1007/978-3-030-58475-7_49⟩
David A Cohen, Martin Cooper, Peter G Jeavons, Stanislav Živný
Galois Connections for Patterns: An Algebra of Labelled Graphs
6th International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2020), Sep 2020, en ligne, France. pp.125 – 150, ⟨10.1007/978-3-030-72308-8_9⟩
Martin Cooper, Achref El Mouelhi, Cyril Terrioux
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⟩
Strengthening Neighbourhood Substitution
International Conference on Principles and Practice of Constraint Programming 2020, 2020, Louvain, Belgium. pp.126-142, ⟨10.1007/978-3-030-58475-7_8⟩
João Marques Silva, Thomas Gerspacher, Martin Cooper, Alexey Ignatiev, Nina Narodytska
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
34th Conference on Neural Information Processing Systems (NeurIPS 2020), 2020, Vancouver (virtual), Canada. pp.1-11
B Cooper Boniece, Herwig Wendt, Gustavo Didier, Patrice Abry
Wavelet-Based Detection and Estimation of Fractional Lévy Signals in High Dimensions
IEEE 8th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP 2019), IEEE, Dec 2019, Guadeloupe, France. ⟨10.1109/CAMSAP45676.2019.9022442⟩
B Cooper Boniece, Gustavo Didier, Herwig Wendt, Patrice Abry
ON MULTIVARIATE NON-GAUSSIAN SCALE INVARIANCE: FRACTIONAL LÉVY PROCESSES AND WAVELET ESTIMATION
European Signal Processing Conference (EUSIPCO), Sep 2019, A Coruna, Spain
Strengthening Neighbourhood Substitutability
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Martin Cooper, Andreas Herzig, Faustine Maffre, F Maris, Elise Perrotin, Pierre Régnier
When ‘knowing whether’ is better than ‘knowing that
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Martin Cooper, Andreas Herzig, Frédéric Maris, Julien Vianey
Temporal Epistemic Gossip Problems
16th European Conference on Multi-Agent Systems (EUMAS 2018), Dec 2018, Bergen, Norway. pp.1-14
Martin Cooper, Wafa Jguirim, David Cohen
Domain Reduction for Valued Constraints by Generalising Methods from CSP
24th International Conference on Principles and Practice of Constraint Programming (CP 2018), Aug 2018, Lille, France. pp.64-80
Clément Carbonnel, David Cohen, Martin Cooper, Stanislav Živný
On Singleton Arc Consistency for CSPs Defined by Monotone Patterns
International Symposium on Theoretical Aspects of Computer Science (STACS 2018), Feb 2018, Caen, France. pp.19 – 20, ⟨10.4230/LIPIcs.STACS.2018.19⟩
Martin Cooper, Achref El Mouelhi, Cyril Terrioux
Extending Broken Triangles and Enhanced Value-Merging (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2016), Toulouse, 05/09/16-09/09/16, Springer, LNCS 9892, p. 173-188, 2016.
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
Simple epistemic planning: generalised gossiping (short paper)
Dans : European Conference on Artificial Intelligence (ECAI 2016), The Hague, NL, 29/08/16-02/09/16, IOS Press, p. 1563-1564, 2016.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecai16.html – https://oatao.univ-toulouse.fr/17046/
BibTeXMartin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A simple account of multi-agent epistemic planning (regular paper)
Dans : European Conference on Artificial Intelligence (ECAI 2016), The Hague, NL, 29/08/16-02/09/16, IOS Press, p. 193-201, août 2016.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecai16.html – https://oatao.univ-toulouse.fr/17045/
BibTeXMartin Cooper, Achref El Mouelhi, Cyril Terrioux
Les triangles cassés, encore et encore (regular paper)
Dans : Journées Francophones de Programmation par Contraintes (JFPC 2016), Montpellier, 15/06/16-17/06/16, Montpellier SupAgro, (support électronique), 2016.
Martin Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini
On Broken Triangles (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2016), New York City, 09/07/16-15/07/16, Aalto University Strategic Usability Research Group, p. 4135-4139, 2016.
Martin Cooper, Stanislav Zivny
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns (regular paper)
Dans : Logic in Computer Science (LICS 2016), New York City, 05/07/16-08/07/16, ACM : Association for Computing Machinery, p. 652-661, 2016.
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A simple account of multiagent epistemic planning (regular paper)
Dans : Journées Francophones sur la Planification, la Décision et l’Apprentissage (JFPDA 2015), Rennes, 01/05/15-03/07/15, Frédéric Maris (Eds.), AFIA : Association Francaise d’Intelligence Artificielle, (en ligne), juillet 2015.
Résumé Accès : http://pfia2015.inria.fr/actes/index.php?procpage=jfpda – https://oatao.univ-toulouse.fr/15451/
BibTeXMartin Cooper, Philippe Jégou, Cyril Terrioux
A Microstructure-based Family of Tractable Classes for CSPs (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2015), Cork, 31/08/15-04/09/15, Springer, LNCS 9255, p. 74-88, 2015.
Martin Cooper, Aymeric Duchein, Guillaume Escamocher
Broken Triangles Revisited (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2015), Cork, 31/08/15-04/09/15, Springer, LNCS 9255, p. 58-73, 2015.
Wafa Jguirim, Wady Naanaa, Martin Cooper
Sur une classe polynomiale relationnelle pour les CSP binaires (regular paper)
Dans : Journées Francophones de Programmation par Contraintes (JFPC 2015), Bordeaux, 22/06/15-24/06/15, LABRI, p. 130-139, 2015.
Résumé Accès : http://jfpc2015.labri.fr/downloads/actes-jfpc2015.pdf – https://oatao.univ-toulouse.fr/15302/
BibTeXMartin Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini
Autour des Triangles Cassés (short paper)
Dans : Journées Francophones de Programmation par Contraintes (JFPC 2015), Bordeaux, 22/06/15-24/06/15, LABRI, p. 57-58, 2015.
Résumé Accès : http://jfpc2015.labri.fr/downloads/actes-jfpc2015.pdf – https://oatao.univ-toulouse.fr/15301/
BibTeXMartin Cooper, Philippe Jégou, Cyril Terrioux
Une famille de classes polynomiales de CSP basée sur la microstructure (regular paper)
Dans : Journées Francophones de Programmation par Contraintes (JFPC 2015), Bordeaux, 22/06/15-24/06/15, LABRI, p. 59-68, 2015.
Résumé Accès : http://jfpc2015.labri.fr/downloads/actes-jfpc2015.pdf – https://oatao.univ-toulouse.fr/15300/
BibTeXDavid Cohen, Martin Cooper, Peter Jeavons, Stanislav Zivny
Tractable Classes of Binary CSPs Defined by Excluded Topological Minors (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, 25/07/15-31/07/15, AAAI Press, p. 1945-1951, 2015.
David Cohen, Martin Cooper, Peter Jeavons, Stanislav Zivny
Binarisation via Dualisation for Valued Constraints (regular paper)
Dans : American Conference on Artificial Intelligence (AAAI 2015), Austin, Texas, USA, 25/01/15-30/01/15, AAAI Press, p. 3717-3723, 2015.
Martin Cooper, Frédéric Maris, Pierre Régnier
Monotone Temporal Planning: Tractability, Extensions and Applications (Extended Abstract) (short paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2014), Lyon, 08/09/14-12/09/14, Springer, p. 928-932, 2014.
Clément Carbonnel, Martin Cooper, Emmanuel Hébrard
On Backdoors To Tractable Constraint Languages (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2014), Lyon, 08/09/14-12/09/14, Springer, p. 224-239, 2014.
Martin Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini
On Broken Triangles (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2014), Lyon, 08/09/14-12/09/14, Springer, p. 9-24, 2014 (Best Paper).
Beyond Consistency and Substitutability (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2014), Lyon, 08/09/14-12/09/14, Springer, p. 256-271, 2014.
David Cohen, Martin Cooper, Guillaume Escamocher, Stanislav Zivny
Variable Elimination in Binary CSP via Forbidden Patterns (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, 03/08/13-09/08/13, International Joint Conference on Artificial Intelligence (IJCAI), p. 517-523, 2013.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/ccez13ve-final.pdf – https://oatao.univ-toulouse.fr/12549/
BibTeXMartin Cooper, Frédéric Maris, Pierre Régnier
Relaxation of Temporal Planning Problems (regular paper)
Dans : International Symposium on Temporal Representation and Reasoning (TIME 2013), Pensacola, FL, USA, 26/10/13-28/10/13, CPS (Conference Publishing Services), p. 37-44, 2013.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/Time2013-VersionEditeur.pdf – https://oatao.univ-toulouse.fr/12548/
BibTeXMartin Cooper, Guillaume Escamocher, Stanislav Zivny
A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2012), Quebec City, 08/10/12-12/10/12, Michela Milano (Eds.), Springer-Verlag, LNCS 7514, p. 265-273, 2012.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/cez12cp-v5.pdf
BibTeXMartin Cooper, Frédéric Maris, Pierre Régnier, Florian Franc
Une classe traitable de problèmes de planification temporelle (regular paper)
Dans : Journées Francophones de Programmation par Contraintes (JFPC 2012), Toulouse, 22/05/12-24/05/12, AFIA : Association Francaise d’Intelligence Artificielle, (en ligne), 2012.
Martin Cooper, Guillaume Escamocher
Caractérisation de la complexité des classes de CSP définies par des motifs interdits à deux contraintes (regular paper)
Dans : Journées Francophones de Programmation par Contraintes (JFPC 2012), Toulouse, 22/05/12-24/05/12, AFIA : Association Francaise d’Intelligence Artificielle, (en ligne), 2012.
Martin Cooper, Guillaume Escamocher
A Dichotomy for 2-Constraint Forbidden CSP Patterns (regular paper)
Dans : Conference on Artificial Intelligence (AAAI 2012), Toronto, Canada, 22/07/12-26/07/12, AAAI Press, p. 464-470, 2012.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/aaai-2constraint-v6.pdf
BibTeXMartin Cooper, Frédéric Maris, Pierre Régnier
Tractable Monotone Temporal Planning (regular paper)
Dans : International Conference on Automated Planning and Scheduling (ICAPS 2012), Sao Paulo, Brazil, 25/06/12-29/06/12, AAAI Press, p. 20-28, 2012.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/ICAPS-2012-Final.pdf
BibTeXMartin Cooper, Stanislav Zivny
Tractable Triangles (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2011), Perugia, 12/09/11-16/09/11, Vol. 6876, Jimmy Lee (Eds.), Springer, p. 195-209, 2011.
Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/cz11cp-trian-crc2.pdf
BibTeXMartin Cooper, Stanislav Zivny
Hierarchically Nested Convex VCSP (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2011), Perugia, 12/09/11-16/09/11, Vol. 6876, Jimmy Lee (Eds.), Springer, p. 187-194, 2011.
Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/cz11convex-crc1.pdf
BibTeXDavid Cohen, Martin Cooper, Martin Green, Daniel Marx
On Guaranteeing Polynomially Bounded Search Tree Size (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2011), Perugia, 12/09/11-16/09/11, Vol. 6876, Jimmy Lee (Eds.), Springer, p. 160-171, 2011.
Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/poly_bounded_search_final.pdf
BibTeXMartin Cooper, Stanislav Zivny
A new hybrid tractable class of soft constraint problems (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2010), St. Andrews, Scotland, 06/09/10-10/09/10, Springer-Verlag, LNCS 6308, p. 152-166, 2010.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/JWPcp2010.pdf
BibTeXMartin Cooper, Frédéric Maris, Pierre Régnier
Solving Temporally-Cyclic Planning Problems (regular paper)
Dans : International Symposium on Temporal Representation and Reasoning (TIME 2010), Paris, 06/09/10-08/09/10, IEEE : Institute of Electrical and Electronics Engineers, p. 113-120, septembre 2010.
Martin Cooper, Frédéric Maris, Pierre Régnier
Complétude des algorithmes de planification temporellement expressive (regular paper)
Dans : RFIA, workshop, Caen, 19/01/10-19/01/10, AFIA : Association Francaise d’Intelligence Artificielle, (support électronique), janvier 2010.
Martin Cooper, Frédéric Maris, Pierre Régnier
Compilation of a high-level temporal planning language into PDDL 2.1 (regular paper)
Dans : IEEE International Conference on Tools with Artificial Intelligence, Arras, 27/10/10-29/10/10, IEEE : Institute of Electrical and Electronics Engineers, p. 181-188, octobre 2010.
Martin Cooper, Marie de Roquemaurel, Pierre Régnier
Transformation de problèmes de planification optimaux. (regular paper)
Dans : Journées Francophones sur la Planification, la Décision et l’Apprentissage (JFPDA 2009), Paris, 02/06/09-03/06/09, AFIA : Association Francaise d’Intelligence Artificielle, (support électronique), juin 2009.
Martin Cooper, Marie de Roquemaurel, Pierre Régnier
Un algorithme pour la résolution optimale de problèmes de planification valués
Dans : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2008), Amiens, 22/01/08-25/01/08, AFIA : Association Francaise d’Intelligence Artificielle, p. 102-112, 2008.
Martin Cooper, Peter Jeavons, Andras Salamon
Hybrid tractable CSPs which generalize tree structure (regular paper)
Dans : European Conference on Artificial Intelligence (ECAI 2008), Patras, 21/07/08-25/07/08, Vol. 178, M Ghallab, C Spyropoulos, N Fakotakis, N Avouris (Eds.), IOS Press, Frontiers in Artificial Intelligence and Applications, p. 530-534, 2008 (Best Paper).
Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/btpECAI.pdf
BibTeXMartin Cooper, Simon De Givry, Marti Sanchez, Thomas Schiex, Matthias Zytnicki
Virtual arc consistency for Weighted CSP (regular paper)
Dans : Conference on Artificial Intelligence (AAAI 2008), Chicago, 01/07/08, AAAI Press, p. 253-258, 2008.
Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/vac.pdf
BibTeXMartin Cooper, Marie de Roquemaurel, Pierre Régnier
Un algorithme pour la résolution optimale de problèmes de planification valués
Dans : Journées d’Intelligence Artificielle Fondamentale (JIAF 2007), Grenoble, 02/07/07-03/07/07, CNRS – GDR I3, (en ligne), juillet 2007.
Accès : http://gdri3iaf.info.univ-angers.fr/IMG/pdf/deRoquemaurel-versionfinale.pdf
BibTeXMartin Cooper, Marie de Roquemaurel, Pierre Régnier
Recherche dune solution optimale dans des graphes de planification avec actions valuées
Dans : Journées Francophones sur la Planification, la Décision et l’Apprentissage (JFPDA 2007), Grenoble, 04/07/07-06/07/07, Cépaduès Editions, p. 1-12, juillet 2007.
Martin Cooper, Simon De Givry, Thomas Schiex
Optimal soft arc consistency
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, 06/01/07-12/01/07, International Joint Conference on Artificial Intelligence (IJCAI), p. 68-73, 2007.
Martin Cooper, Sylvain Cussat-Blanc, Marie de Roquemaurel, Pierre Régnier
Résolution optimale d’un graphe de planification numérique à l’aide de CSP pondérés
Dans : Journées Francophones sur la Planification, la Décision et l’Apprentissage (JFPDA 2006), Toulouse, 10/05/06-12/05/06, Frédérick Garcia, Gérard Verfaillie (Eds.), INRA – ONERA, p. 10-18, 2006.
Martin Cooper, Sylvain Cussat-Blanc, Marie de Roquemaurel, Pierre Régnier
Soft arc consistency applied to optimal planning
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2006), Nantes, 01/09/06, Springer, LNCS 4204, p. 680-684, 2006.
Accès : http://www.irit.fr/publis/ADRIA/plan_CP06.pdf
BibTeXDavid Cohen, Martin Cooper, Peter Jeavons
An algebraic characterisation of complexity for valued constraints
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2006), Nantes, 01/09/06, Springer, LNCS 4204, p. 680-684, 2006.
David Cohen, Martin Cooper, Peter Jeavons
A complete characterization of complexity for boolean constraint optimization problems (regular paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2004), Toronto, 27/09/04-01/10/04, Springer-Verlag, LNCS 3258, p. 212-226, octobre 2004.
David Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
Identifying Efficiently Solvable Cases of Max CSP
Dans : STACS, Montpellier, France, 25/03/04-27/03/04, Volker Diekert, Michel Habib (Eds.), LNCS 2996, Springer, p. 152-163, mars 2004.
David Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
A Maximal Tractable Class of Soft Constraints
Dans : IJCAI-03, 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, 09/08/03-15/08/03, Georg Gottlob, Toby Walsh (Eds.), Morgan Kaufmann, p. 209-214, août 2003.
David Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
Soft Constraints: Complexity and Multimorphisms
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2003), Kinsale, Ireland, 29/09/03-03/10/03, Francesca Rossi (Eds.), Springer, LNCS 2833, p. 244-258, septembre 2003.
Peter Jeavons, David Cohen, Martin Cooper
When constraints are easy to satisfy
Dans : Proc. IMA Conference on Applications of Combinational Mathematics, –, Oxford University Press, England, janvier 1995.
Martin Cooper, Simon de Givry, Thomas Schiex
Valued Constraint Satisfaction Problems
A 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⟩
Martin Cooper, Stanislav Zivny
Hybrid Tractable Classes of Constraint Problems
Krokhin, Andrei; Zivny, Stanislav. The Constraint Satisfaction Problem: Complexity and Approximability, 7 (Chapter 4), Schloss Dagstuhl Leibniz-Zentrum fur Informatik, pp.113–135, 2017, 978-3-95977-003-3. ⟨10.4230/DFU.Vol7.15301.113⟩
Martin Cooper, Simon De Givry, Thomas Schiex
Réseaux de contraintes valués
Dans : Algorithmes pour l’intelligence artificielle. Pierre Marquis, Odile Papini, Henri Prade (Eds.) , Cépaduès, 7, p. 701-719, Vol. 2, Panorama de l’Intelligence Artificielle, 2014.
Line Drawing Interpretation, Springer, 2008.
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C Cooper, Nicholas Asher, João Marques Silva
Efficient Explanations for Knowledge Compilation Languages
2021
João Marques Silva, Thomas Gerspacher, Martin Cooper, Alexey Ignatiev, Nina Narodytska
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
2020
Martin Cooper, Achref El Mouelhi, Cyril Terrioux
Variable elimination in binary CSPs
2019