Martin C. Cooper

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 63

Top Venues

CoRR

IJCAI

Artif. Intell.

Publications

Arnaud Lequen, Martin C. Cooper, Frédéric Maris
Homomorphisms and Embeddings of STRIPS Planning Models. CoRR (2024)
Clément Carbonnel, Martin C. Cooper, João Marques-Silva
Tractable Explaining of Multivariate Decision Trees. KR (2023)
Martin C. Cooper, Arnaud Lequen, Frédéric Maris
Analysis of planning instances without search. JIAF (2023)
Martin C. Cooper, João Miguel da Costa Sousa
Tractability of explaining classifier decisions. Artif. Intell. 316 (2023)
Léo Saulières, Martin C. Cooper, Florence Bannay
Reinforcement Learning Explained via Reinforcement Learning: Towards Explainable Policies through Predictive Explanation. ICAART (2) (2023)
Martin C. Cooper, Leila Amgoud
Abductive Explanations of Classifiers Under Constraints: Complexity and Properties. ECAI (2023)
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
On computing probabilistic abductive explanations. Int. J. Approx. Reason. 159 (2023)
Léo Saulières, Martin C. Cooper, Florence Dupin de Saint-Cyr
Predictive Explanations for and by Reinforcement Learning. ICAART (Revised Selected Paper) (2023)
Christian Bessiere, Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard
Complexity of minimum-size arc-inconsistency explanations. Constraints An Int. J. 28 (3) (2023)
Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
Feature Necessity & Relevancy in ML Classifier Explanations. TACAS (1) (2023)
Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
Feature Necessity & Relevancy in ML Classifier Explanations. CoRR (2022)
Martin C. Cooper, Arnaud Lequen, Frédéric Maris
Isomorphisms Between STRIPS Problems and Sub-Problems. CP (2022)
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva
Tractable Explanations for d-DNNF Classifiers. AAAI (2022)
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
On Computing Probabilistic Abductive Explanations. CoRR (2022)
Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
Provably Precise, Succinct and Efficient Explanations for Decision Trees. CoRR (2022)
Christian Bessiere, Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard
Complexity of Minimum-Size Arc-Inconsistency Explanations. CP (2022)
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva
Efficient Explanations for Knowledge Compilation Languages. CoRR (2021)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier
A lightweight epistemic logic and its application to planning. Artif. Intell. 298 (2021)
Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
Efficient Explanations With Relevant Sets. CoRR (2021)
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
Explanations for Monotonic Classifiers. CoRR (2021)
Martin C. Cooper, João Marques-Silva
On the Tractability of Explaining Decisions of Classifiers. CP (2021)
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
Explanations for Monotonic Classifiers. ICML (2021)
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. CoRR (2020)
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
Galois Connections for Patterns: An Algebra of Labelled Graphs. GKR (2020)
Martin C. Cooper, Simon de Givry, Thomas Schiex
Graphical Models: Queries, Complexity, Algorithms (Tutorial). STACS (2020)
Martin C. Cooper
Strengthening Neighbourhood Substitution. CP (2020)
João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. NeurIPS (2020)
Martin C. Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey
Lightweight Parallel Multi-Agent Epistemic Planning. KR (2020)
Alexey Ignatiev, Martin C. Cooper, Mohamed Siala, Emmanuel Hebrard, João Marques-Silva
Towards Formal Fairness in Machine Learning. CP (2020)
Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux
Variable Elimination in Binary CSPs (Extended Abstract). IJCAI (2020)
David A. Cohen, Martin C. Cooper, Artem Kaznatcheev, Mark Wallace
Steepest ascent can be exponential in bounded treewidth problems. Oper. Res. Lett. 48 (3) (2020)
Martin C. Cooper
Strengthening neighbourhood substitution. CoRR (2020)
Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux
Variable elimination in binary CSPs. CoRR (2019)
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
Binary constraint satisfaction problems defined by excluded topological minors. Inf. Comput. 264 (2019)
Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivný
On Singleton Arc Consistency for CSPs Defined by Monotone Patterns. Algorithmica 81 (4) (2019)
David A. Cohen, Martin C. Cooper, Artem Kaznatcheev, Mark Wallace
Steepest ascent can be exponential in bounded treewidth problems. CoRR (2019)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
The epistemic gossip problem. Discret. Math. 342 (3) (2019)
Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux
Variable Elimination in Binary CSPs. J. Artif. Intell. Res. 66 (2019)
Martin C. Cooper, Andreas Herzig, Frédéric Maris, Julien Vianey
Temporal Epistemic Gossip Problems. EUMAS (2018)
Wafa Jguirim, Wady Naanaa, Martin C. Cooper
A polynomial relational class of binary CSP. Ann. Math. Artif. Intell. 83 (1) (2018)
Martin C. Cooper, Wafa Jguirim, David A. Cohen
Domain Reduction for Valued Constraints by Generalising Methods from CSP. CP (2018)
Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivný
On Singleton Arc Consistency for CSPs Defined by Monotone Patterns. STACS (2018)
Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivný
On Singleton Arc Consistency for Natural CSPs Defined by Forbidden Patterns. CoRR (2017)
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei A. Krokhin, Robert Powell, Stanislav Zivný
Binarisation for Valued Constraint Satisfaction Problems. SIAM J. Discret. Math. 31 (4) (2017)
Martin C. Cooper, Stanislav Zivný
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns. Log. Methods Comput. Sci. 13 (4) (2017)
Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux
Extending Broken Triangles and Enhanced Value-Merging. CP (2016)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
Simple epistemic planning: generalised gossiping. CoRR (2016)
Martin C. 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. Artif. Intell. 234 (2016)
Martin C. Cooper, Stanislav Zivný
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns. LICS (2016)
Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini
On Broken Triangles. IJCAI (2016)
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
Binary Constraint Satisfaction Problems Defined by Excluded Topological Minors. CoRR (2016)
Martin C. Cooper, Stanislav Zivný
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns. CoRR (2016)
Clément Carbonnel, Martin C. Cooper
Tractability in constraint satisfaction problems: a survey. Constraints An Int. J. 21 (2) (2016)
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei A. Krokhin, Robert Powell, Stanislav Zivný
Binarisation for Valued Constraint Satisfaction Problems. CoRR (2016)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
Simple Epistemic Planning: Generalised Gossiping. ECAI (2016)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A Simple Account of Multi-Agent Epistemic Planning. ECAI (2016)
David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
Variable and value elimination in binary constraint satisfaction via forbidden patterns. CoRR (2015)
David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
Variable and value elimination in binary constraint satisfaction via forbidden patterns. J. Comput. Syst. Sci. 81 (7) (2015)
Martin C. Cooper, Aymeric Duchein, Guillaume Escamocher
Broken Triangles Revisited. CP (2015)
Martin C. Cooper, Guillaume Escamocher
Characterising the complexity of constraint satisfaction problems defined by 2-constraint forbidden patterns. Discret. Appl. Math. 184 (2015)
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
Binarisation via Dualisation for Valued Constraints. AAAI (2015)
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
Tractable Classes of Binary CSPs Defined by Excluded Topological Minors. IJCAI (2015)
Martin C. Cooper, Philippe Jégou, Cyril Terrioux
A Microstructure-Based Family of Tractable Classes for CSPs. CP (2015)
Martin C. Cooper, Frederic Maris, Pierre Régnier
Monotone Temporal Planning: Tractability, Extensions and Applications. J. Artif. Intell. Res. 50 (2014)
Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard
On Backdoors to Tractable Constraint Languages. CP (2014)
Martin C. Cooper
Beyond Consistency and Substitutability. CP (2014)
Martin C. Cooper, Frederic Maris, Pierre Régnier
Monotone Temporal Planning: Tractability, Extensions and Applications - (Extended Abstract). CP (2014)
Martin C. Cooper, Stanislav Zivný
Tractable Triangles and Cross-Free Convexity in Discrete Optimisation. CoRR (2014)
Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini
On Broken Triangles. CP (2014)
Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard
On Backdoors To Tractable Constraint Languages. CoRR (2014)
Martin C. Cooper, Frederic Maris, Pierre Régnier
Relaxation of Temporal Planning Problems. TIME (2013)
David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
Variable Elimination in Binary CSP via Forbidden Patterns. IJCAI (2013)
Martin C. Cooper, Frederic Maris, Pierre Régnier
Managing Temporal cycles in Planning Problems Requiring Concurrency. Comput. Intell. 29 (1) (2013)
David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivný
An Algebraic Theory of Complexity for Discrete Optimization. SIAM J. Comput. 42 (5) (2013)
David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivný
An Algebraic Theory of Complexity for Discrete Optimisation CoRR (2012)
Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP. CP (2012)
David A. Cohen, Martin C. Cooper, Páidí Creed, Dániel Marx, András Z. Salamon
The Tractability of CSP Classes Defined by Forbidden Patterns. J. Artif. Intell. Res. 45 (2012)
Martin C. Cooper, Guillaume Escamocher
A Dichotomy for 2-Constraint Forbidden CSP Patterns. AAAI (2012)
Martin C. Cooper, Guillaume Escamocher
A Dichotomy for 2-Constraint Forbidden CSP Patterns CoRR (2012)
Martin C. Cooper, Stanislav Zivný
Tractable Triangles and Cross-Free Convexity in Discrete Optimisation. J. Artif. Intell. Res. 44 (2012)
Martin C. Cooper, Frederic Maris, Pierre Régnier
Tractable Monotone Temporal Planning. ICAPS (2012)
Martin C. Cooper, Marie de Roquemaurel, Pierre Régnier
A weighted CSP approach to cost-optimal planning. AI Commun. 24 (1) (2011)
Martin C. Cooper, Marie de Roquemaurel, Pierre Régnier
Transformation of optimal planning problems. J. Exp. Theor. Artif. Intell. 23 (2) (2011)
Martin C. Cooper, Stanislav Zivný
Hierarchically Nested Convex VCSP. CP (2011)
Martin C. Cooper, Stanislav Zivný
Tractable Triangles. CP (2011)
David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
A Maximal Tractable Class of Soft Constraints CoRR (2011)
Martin C. Cooper, Stanislav Zivný
Hybrid tractability of valued constraint problems. Artif. Intell. 175 (9-10) (2011)
David A. Cohen, Martin C. Cooper, Páidí Creed, András Z. Salamon
The tractability of CSP classes defined by forbidden patterns CoRR (2011)
David A. Cohen, Martin C. Cooper, Martin James Green, Dániel Marx
On Guaranteeing Polynomially Bounded Search Tree Size. CP (2011)
Martin C. Cooper, Frederic Maris, Pierre Régnier
Compilation of a High-level Temporal Planning Language into PDDL 2.1. ICTAI (2) (2010)
Martin C. Cooper, Stanislav Zivný
Hybrid tractability of soft constraint problems CoRR (2010)
Martin C. Cooper, Stanislav Zivný
A New Hybrid Tractable Class of Soft Constraint Problems. CP (2010)
Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki, Tomás Werner
Soft arc consistency revisited. Artif. Intell. 174 (7-8) (2010)
Martin C. Cooper, Frederic Maris, Pierre Régnier
Solving Temporally-Cyclic Planning Problems. TIME (2010)
Martin C. Cooper, Marie de Roquemaurel, Pierre Régnier
Transformation de problèmes de planification optimale. Rev. d'Intelligence Artif. 24 (4) (2010)
Martin C. Cooper, Peter G. Jeavons, András Z. Salamon
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination. Artif. Intell. 174 (9-10) (2010)
Martin C. Cooper, Peter G. Jeavons, András Z. Salamon
Hybrid tractable CSPs which generalize tree structure. ECAI (2008)
Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki
Virtual Arc Consistency for Weighted CSP. AAAI (2008)
Martin C. Cooper
Measuring the Semantic Distance between Languages from a Statistical Analysis of Bilingual Dictionaries. J. Quant. Linguistics 15 (1) (2008)
Martin C. Cooper
Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency. Constraints An Int. J. 13 (4) (2008)

Martin C. Cooper.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin C. Cooper