Martin C. Cooper
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
55
Venues
14
Active years
2003–2026
Best venue rank
A*
Where they publish
Papers
55 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CP | Fairness of Classifiers in the Presence of Constraints Between Features. | Martin C. Cooper, Imane Bousdira |
| 2026 | FASE | Formally Correct Search for Interpretable DNFs. | Imane Bousdira, Martin C. Cooper, Aurlie Hurault |
| 2025 | IJCAI | Interpretable DNFs. | Martin C. Cooper, Imane Bousdira, Clment Carbonnel |
| 2024 | ECAI | Axiomatic Characterisations of Sample-based Explainers. | Leila Amgoud, Martin C. Cooper, Salim Debbaoui |
| 2024 | ECAI | Backward Explanations via Redefinition of Predicates. | Lo Saulires, Martin C. Cooper, Florence Dupin de Saint-Cyr |
| 2023 | ECAI | Abductive Explanations of Classifiers Under Constraints: Complexity and Properties. | Martin C. Cooper, Leila Amgoud |
| 2023 | ICAART | Reinforcement Learning Explained via Reinforcement Learning: Towards Explainable Policies through Predictive Explanation. | Lo Saulires, Martin C. Cooper, Florence Bannay |
| 2023 | ICAART | Predictive Explanations for and by Reinforcement Learning. | Lo Saulires, Martin C. Cooper, Florence Dupin de Saint-Cyr |
| 2023 | KR | Tractable Explaining of Multivariate Decision Trees. | Clment Carbonnel, Martin C. Cooper, Joo Marques-Silva |
| 2023 | TACAS | Feature Necessity & Relevancy in ML Classifier Explanations. | Xuanxiang Huang, Martin C. Cooper, Antnio Morgado, Jordi Planes, Joo Marques-Silva |
| 2022 | AAAI | Tractable Explanations for d-DNNF Classifiers. | Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, Joo Marques-Silva |
| 2022 | CP | Complexity of Minimum-Size Arc-Inconsistency Explanations. | Christian Bessiere, Clment Carbonnel, Martin C. Cooper, Emmanuel Hebrard |
| 2022 | CP | Isomorphisms Between STRIPS Problems and Sub-Problems. | Martin C. Cooper, Arnaud Lequen, Frdric Maris |
| 2021 | CP | On the Tractability of Explaining Decisions of Classifiers. | Martin C. Cooper, Joo Marques-Silva |
| 2021 | ICML | Explanations for Monotonic Classifiers. | Joo Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska |
| 2020 | CP | Strengthening Neighbourhood Substitution. | Martin C. Cooper |
| 2020 | CP | Towards Formal Fairness in Machine Learning. | Alexey Ignatiev, Martin C. Cooper, Mohamed Siala, Emmanuel Hebrard, Joo Marques-Silva |
| 2020 | IJCAI | Variable Elimination in Binary CSPs (Extended Abstract). | Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux |
| 2020 | KR | Lightweight Parallel Multi-Agent Epistemic Planning. | Martin C. Cooper, Andreas Herzig, Frdric Maris, Elise Perrotin, Julien Vianey |
| 2020 | STACS | Graphical Models: Queries, Complexity, Algorithms (Tutorial). | Martin C. Cooper, Simon de Givry, Thomas Schiex |
| 2018 | CP | Domain Reduction for Valued Constraints by Generalising Methods from CSP. | Martin C. Cooper, Wafa Jguirim, David A. Cohen |
| 2018 | EUMAS | Temporal Epistemic Gossip Problems. | Martin C. Cooper, Andreas Herzig, Frdric Maris, Julien Vianey |
| 2018 | STACS | On Singleton Arc Consistency for CSPs Defined by Monotone Patterns. | Clment Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivn |
| 2016 | CP | Extending Broken Triangles and Enhanced Value-Merging. | Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux |
| 2016 | ECAI | A Simple Account of Multi-Agent Epistemic Planning. | Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frdric Maris, Pierre Rgnier |
| 2016 | ECAI | Simple Epistemic Planning: Generalised Gossiping. | Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frdric Maris, Pierre Rgnier |
| 2016 | IJCAI | On Broken Triangles. | Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini |
| 2016 | LICS | The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns. | Martin C. Cooper, Stanislav Zivn |
| 2015 | AAAI | Binarisation via Dualisation for Valued Constraints. | David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivn |
| 2015 | CP | Broken Triangles Revisited. | Martin C. Cooper, Aymeric Duchein, Guillaume Escamocher |
| 2015 | CP | A Microstructure-Based Family of Tractable Classes for CSPs. | Martin C. Cooper, Philippe Jgou, Cyril Terrioux |
| 2015 | IJCAI | Tractable Classes of Binary CSPs Defined by Excluded Topological Minors. | David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivn |
| 2014 | CP | On Backdoors to Tractable Constraint Languages. | Clment Carbonnel, Martin C. Cooper, Emmanuel Hebrard |
| 2014 | CP | Beyond Consistency and Substitutability. | Martin C. Cooper |
| 2014 | CP | Monotone Temporal Planning: Tractability, Extensions and Applications - (Extended Abstract). | Martin C. Cooper, Frederic Maris, Pierre Rgnier |
| 2014 | CP | On Broken Triangles. | Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini |
| 2013 | IJCAI | Variable Elimination in Binary CSP via Forbidden Patterns. | David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivn |
| 2013 | TIME | Relaxation of Temporal Planning Problems. | Martin C. Cooper, Frederic Maris, Pierre Rgnier |
| 2012 | AAAI | A Dichotomy for 2-Constraint Forbidden CSP Patterns. | Martin C. Cooper, Guillaume Escamocher |
| 2012 | CP | A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP. | Martin C. Cooper, Guillaume Escamocher, Stanislav Zivn |
| 2011 | CP | On Guaranteeing Polynomially Bounded Search Tree Size. | David A. Cohen, Martin C. Cooper, Martin James Green, Dniel Marx |
| 2011 | CP | Hierarchically Nested Convex VCSP. | Martin C. Cooper, Stanislav Zivn |
| 2011 | CP | Tractable Triangles. | Martin C. Cooper, Stanislav Zivn |
| 2010 | CP | A New Hybrid Tractable Class of Soft Constraint Problems. | Martin C. Cooper, Stanislav Zivn |
| 2010 | ICTAI | Compilation of a High-level Temporal Planning Language into PDDL 2.1. | Martin C. Cooper, Frederic Maris, Pierre Rgnier |
| 2010 | TIME | Solving Temporally-Cyclic Planning Problems. | Martin C. Cooper, Frederic Maris, Pierre Rgnier |
| 2008 | AAAI | Virtual Arc Consistency for Weighted CSP. | Martin C. Cooper, Simon de Givry, Mart Snchez-Fibla, Thomas Schiex, Matthias Zytnicki |
| 2008 | ECAI | Hybrid tractable CSPs which generalize tree structure. | Martin C. Cooper, Peter G. Jeavons, Andrs Z. Salamon |
| 2007 | IJCAI | Optimal Soft Arc Consistency. | Martin C. Cooper, Simon de Givry, Thomas Schiex |
| 2006 | CP | An Algebraic Characterisation of Complexity for Valued Constraint. | David A. Cohen, Martin C. Cooper, Peter Jeavons |
| 2006 | CP | Soft Arc Consistency Applied to Optimal Planning. | Martin C. Cooper, Sylvain Cussat-Blanc, Marie de Roquemaurel, Pierre Rgnier |
| 2004 | CP | A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. | David A. Cohen, Martin C. Cooper, Peter Jeavons |
| 2004 | STACS | Identifying Efficiently Solvable Cases of Max CSP. | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
| 2003 | CP | Soft Constraints: Complexity and Multimorphisms. | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
| 2003 | IJCAI | A Maximal Tractable Class of Soft Constraints. | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |