Accelerated analysis of occlusion. - Martin C. Cooper (Image Vis. Comput., 1988)

Efficient systematic analysis of occlusion. - Martin C. Cooper (Pattern Recognit. Lett., 1988)

An Optimal k-Consistency Algorithm. - Martin C. Cooper (Artif. Intell., 1989)

Formal Hierarchical Object Models for Fast Template Matching. - Martin C. Cooper (Comput. J., 1989)

Interpretation of line drawings of complex objects. - Martin C. Cooper (Image Vis. Comput., 1993)

A Substitution Operation for Constraints. - Peter Jeavons 001; David A. Cohen; Martin C. Cooper (PPCP, 1994)

Characterising Tractable Constraints. - Martin C. Cooper; David A. Cohen; Peter Jeavons 001 (Artif. Intell., 1994)

Tractable Constraints on Ordered Domains. - Peter Jeavons 001; Martin C. Cooper (Artif. Intell., 1995)

Fundamental Properties of Neighbourhood Substitution in Constraint Satisfaction Problems. - Martin C. Cooper (Artif. Intell., 1997)

Interpreting line drawings of curved objects with tangential edges and surfaces. - Martin C. Cooper (Image Vis. Comput., 1997)

Constraints, Consistency and Closure. - Peter Jeavons 001; David A. Cohen; Martin C. Cooper (Artif. Intell., 1998)

The Tractability of Segmentation and Scene Analysis. - Martin C. Cooper (Int. J. Comput. Vis., 1998)

Linear-Time Algorithms for Testing the Realisability of Line Drawings of Curved Objects. - Martin C. Cooper (Artif. Intell., 1999)

Linear constraints for the interpretation of line drawings of curved objects. - Martin C. Cooper (Artif. Intell., 2000)

Semantic Distance Measures. - Martin C. Cooper (Comput. Intell., 2000)

The Interpretation of Line Drawings with Contrast Failure and Shadows. - Martin C. Cooper (Int. J. Comput. Vis., 2001)

Soft Constraints: Complexity and Multimorphisms. - David A. Cohen; Martin C. Cooper; Peter Jeavons 001; Andrei A. Krokhin (CP, 2003)

Reduction operations in fuzzy or valued constraint satisfaction. - Martin C. Cooper (Fuzzy Sets Syst., 2003)

A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. - David A. Cohen; Martin C. Cooper; Peter Jeavons 001 (CP, 2004)

Identifying Efficiently Solvable Cases of Max CSP. - David A. Cohen; Martin C. Cooper; Peter Jeavons 001; Andrei A. Krokhin (STACS, 2004)

Cyclic consistency: A local reduction operation for binary valued constraints. - Martin C. Cooper (Artif. Intell., 2004)

Arc consistency for soft constraints. - Martin C. Cooper; Thomas Schiex (Artif. Intell., 2004)

A Maximal Tractable Class of Soft Constraints. - David A. Cohen; Martin C. Cooper; Peter Jeavons 001; Andrei A. Krokhin (J. Artif. Intell. Res., 2004)

A Mathematical Model of Historical Semantics and the Grouping of Word Meanings into Concepts. - Martin C. Cooper (Comput. Linguistics, 2005)

High-Order Consistency in Valued Constraint Satisfaction. - Martin C. Cooper (Constraints An Int. J., 2005)

Supermodular functions and the complexity of MAX CSP. - David A. Cohen; Martin C. Cooper; Peter Jeavons 001; Andrei A. Krokhin (Discret. Appl. Math., 2005)

Wireframe Projections: Physical Realisability of Curved Objects and Unambiguous Reconstruction of Simple Polyhedra. - Martin C. Cooper (Int. J. Comput. Vis., 2005)

An Algebraic Characterisation of Complexity for Valued Constraint. - David A. Cohen; Martin C. Cooper; Peter Jeavons 001 (CP, 2006)

Soft Arc Consistency Applied to Optimal Planning. - Martin C. Cooper; Sylvain Cussat-Blanc; Marie de Roquemaurel; Pierre Régnier (CP, 2006)

The complexity of soft constraint satisfaction. - David A. Cohen; Martin C. Cooper; Peter Jeavons 001; Andrei A. Krokhin (Artif. Intell., 2006)

Optimal Soft Arc Consistency. - Martin C. Cooper; Simon de Givry; Thomas Schiex (IJCAI, 2007)

Constraints Between Distant Lines in the Labelling of Line Drawings of Polyhedral Scenes. - Martin C. Cooper (Int. J. Comput. Vis., 2007)

Line Drawing Interpretation. - Martin C. Cooper (Springer, 2008)

Virtual Arc Consistency for Weighted CSP. - Martin C. Cooper; Simon de Givry; Martí Sánchez-Fibla; Thomas Schiex; Matthias Zytnicki (AAAI, 2008)

Hybrid tractable CSPs which generalize tree structure. - Martin C. Cooper; Peter G. Jeavons; András Z. Salamon (ECAI, 2008)

Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency. - Martin C. Cooper (Constraints An Int. J., 2008)

Measuring the Semantic Distance between Languages from a Statistical Analysis of Bilingual Dictionaries. - Martin C. Cooper (J. Quant. Linguistics, 2008)

A Rich Discrete Labeling Scheme for Line Drawings of Curved Objects. - Martin C. Cooper (IEEE Trans. Pattern Anal. Mach. Intell., 2008)

Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphisms. - David A. Cohen; Martin C. Cooper; Peter Jeavons 001 (Theor. Comput. Sci., 2008)

A New Hybrid Tractable Class of Soft Constraint Problems. - Martin C. Cooper; Stanislav Zivný (CP, 2010)

Compilation of a High-level Temporal Planning Language into PDDL 2.1. - Martin C. Cooper; Frederic Maris; Pierre Régnier (ICTAI (2), 2010)

Solving Temporally-Cyclic Planning Problems. - Martin C. Cooper; Frederic Maris; Pierre Régnier (TIME, 2010)

Soft arc consistency revisited. - Martin C. Cooper; Simon de Givry; Martí Sánchez-Fibla; Thomas Schiex; Matthias Zytnicki; Tomás Werner (Artif. Intell., 2010)

Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination. - Martin C. Cooper; Peter G. Jeavons; András Z. Salamon (Artif. Intell., 2010)

Hybrid tractability of soft constraint problems - Martin C. Cooper; Stanislav Zivný (CoRR, 2010)

Transformation de problèmes de planification optimale. - Martin C. Cooper; Marie de Roquemaurel; Pierre Régnier (Rev. d'Intelligence Artif., 2010)

On Guaranteeing Polynomially Bounded Search Tree Size. - David A. Cohen; Martin C. Cooper; Martin James Green; Dániel Marx (CP, 2011)

Hierarchically Nested Convex VCSP. - Martin C. Cooper; Stanislav Zivný (CP, 2011)

Tractable Triangles. - Martin C. Cooper; Stanislav Zivný (CP, 2011)

Hybrid tractability of valued constraint problems. - Martin C. Cooper; Stanislav Zivný (Artif. Intell., 2011)

A weighted CSP approach to cost-optimal planning. - Martin C. Cooper; Marie de Roquemaurel; Pierre Régnier (AI Commun., 2011)

The tractability of CSP classes defined by forbidden patterns - David A. Cohen; Martin C. Cooper; Páidí Creed; András Z. Salamon (CoRR, 2011)

Transformation of optimal planning problems. - Martin C. Cooper; Marie de Roquemaurel; Pierre Régnier (J. Exp. Theor. Artif. Intell., 2011)

A Dichotomy for 2-Constraint Forbidden CSP Patterns. - Martin C. Cooper; Guillaume Escamocher (AAAI, 2012)

Tractable Monotone Temporal Planning. - Martin C. Cooper; Frederic Maris; Pierre Régnier (ICAPS, 2012)

A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP. - Martin C. Cooper; Guillaume Escamocher; Stanislav Zivný (CP, 2012)

An Algebraic Theory of Complexity for Discrete Optimisation - David A. Cohen; Martin C. Cooper; Páidí Creed; Peter G. Jeavons; Stanislav Zivný (CoRR, 2012)

The Tractability of CSP Classes Defined by Forbidden Patterns. - David A. Cohen; Martin C. Cooper; Páidí Creed; Dániel Marx; András Z. Salamon (J. Artif. Intell. Res., 2012)

Tractable Triangles and Cross-Free Convexity in Discrete Optimisation. - Martin C. Cooper; Stanislav Zivný (J. Artif. Intell. Res., 2012)

Variable Elimination in Binary CSP via Forbidden Patterns. - David A. Cohen; Martin C. Cooper; Guillaume Escamocher; Stanislav Zivný (IJCAI, 2013)

Relaxation of Temporal Planning Problems. - Martin C. Cooper; Frederic Maris; Pierre Régnier (TIME, 2013)

Managing Temporal cycles in Planning Problems Requiring Concurrency. - Martin C. Cooper; Frederic Maris; Pierre Régnier (Comput. Intell., 2013)

An Algebraic Theory of Complexity for Discrete Optimization. - David A. Cohen; Martin C. Cooper; Páidí Creed; Peter G. Jeavons; Stanislav Zivný (SIAM J. Comput., 2013)

On Backdoors to Tractable Constraint Languages. - Clément Carbonnel; Martin C. Cooper; Emmanuel Hebrard (CP, 2014)

Beyond Consistency and Substitutability. - Martin C. Cooper (CP, 2014)

Monotone Temporal Planning: Tractability, Extensions and Applications - (Extended Abstract). - Martin C. Cooper; Frederic Maris; Pierre Régnier (CP, 2014)

Monotone Temporal Planning: Tractability, Extensions and Applications. - Martin C. Cooper; Frederic Maris; Pierre Régnier (J. Artif. Intell. Res., 2014)

Binarisation via Dualisation for Valued Constraints. - David A. Cohen; Martin C. Cooper; Peter G. Jeavons; Stanislav Zivný (AAAI, 2015)

Broken Triangles Revisited. - Martin C. Cooper; Aymeric Duchein; Guillaume Escamocher (CP, 2015)

A Microstructure-Based Family of Tractable Classes for CSPs. - Martin C. Cooper; Philippe Jégou; Cyril Terrioux (CP, 2015)

Tractable Classes of Binary CSPs Defined by Excluded Topological Minors. - David A. Cohen; Martin C. Cooper; Peter G. Jeavons; Stanislav Zivný (IJCAI, 2015)

Characterising the complexity of constraint satisfaction problems defined by 2-constraint forbidden patterns. - Martin C. Cooper; Guillaume Escamocher (Discret. Appl. Math., 2015)

Variable and value elimination in binary constraint satisfaction via forbidden patterns. - David A. Cohen; Martin C. Cooper; Guillaume Escamocher; Stanislav Zivný (J. Comput. Syst. Sci., 2015)

Extending Broken Triangles and Enhanced Value-Merging. - Martin C. Cooper; Achref El Mouelhi; Cyril Terrioux (CP, 2016)

A Simple Account of Multi-Agent Epistemic Planning. - Martin C. Cooper; Andreas Herzig; Faustine Maffre; Frédéric Maris; Pierre Régnier (ECAI, 2016)

Simple Epistemic Planning: Generalised Gossiping. - Martin C. Cooper; Andreas Herzig; Faustine Maffre; Frédéric Maris; Pierre Régnier (ECAI, 2016)

On Broken Triangles. - Martin C. Cooper; Achref El Mouelhi; Cyril Terrioux; Bruno Zanuttini (IJCAI, 2016)

Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems. - Martin C. Cooper; Aymeric Duchein; Achref El Mouelhi; Guillaume Escamocher; Cyril Terrioux; Bruno Zanuttini (Artif. Intell., 2016)

Tractability in constraint satisfaction problems: a survey. - Clément Carbonnel; Martin C. Cooper (Constraints An Int. J., 2016)

Hybrid Tractable Classes of Constraint Problems. - Martin C. Cooper; Stanislav Zivný (The Constraint Satisfaction Problem, 2017)

On Singleton Arc Consistency for Natural CSPs Defined by Forbidden Patterns. - Clément Carbonnel; David A. Cohen; Martin C. Cooper; Stanislav Zivný (CoRR, 2017)

The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns. - Martin C. Cooper; Stanislav Zivný (Log. Methods Comput. Sci., 2017)

Binarisation for Valued Constraint Satisfaction Problems. - David A. Cohen; Martin C. Cooper; Peter G. Jeavons; Andrei A. Krokhin; Robert Powell; Stanislav Zivný (SIAM J. Discret. Math., 2017)

Domain Reduction for Valued Constraints by Generalising Methods from CSP. - Martin C. Cooper; Wafa Jguirim; David A. Cohen (CP, 2018)

Temporal Epistemic Gossip Problems. - Martin C. Cooper; Andreas Herzig; Frédéric Maris; Julien Vianey (EUMAS, 2018)

A polynomial relational class of binary CSP. - Wafa Jguirim; Wady Naanaa; Martin C. Cooper (Ann. Math. Artif. Intell., 2018)

On Singleton Arc Consistency for CSPs Defined by Monotone Patterns. - Clément Carbonnel; David A. Cohen; Martin C. Cooper; Stanislav Zivný (Algorithmica, 2019)

The epistemic gossip problem. - Martin C. Cooper; Andreas Herzig; Faustine Maffre; Frédéric Maris; Pierre Régnier (Discret. Math., 2019)

Binary constraint satisfaction problems defined by excluded topological minors. - David A. Cohen; Martin C. Cooper; Peter G. Jeavons; Stanislav Zivný (Inf. Comput., 2019)

Variable Elimination in Binary CSPs. - Martin C. Cooper; Achref El Mouelhi; Cyril Terrioux (J. Artif. Intell. Res., 2019)

Valued Constraint Satisfaction Problems. - Martin C. Cooper; Simon de Givry; Thomas Schiex (A Guided Tour of Artificial Intelligence Research (2) (II), 2020)

Strengthening Neighbourhood Substitution. - Martin C. Cooper (CP, 2020)

Towards Formal Fairness in Machine Learning. - Alexey Ignatiev; Martin C. Cooper; Mohamed Siala 002; Emmanuel Hebrard; João Marques-Silva 001 (CP, 2020)

Galois Connections for Patterns: An Algebra of Labelled Graphs. - David A. Cohen; Martin C. Cooper; Peter G. Jeavons; Stanislav Zivný (GKR, 2020)

Variable Elimination in Binary CSPs (Extended Abstract). - Martin C. Cooper; Achref El Mouelhi; Cyril Terrioux (IJCAI, 2020)

Lightweight Parallel Multi-Agent Epistemic Planning. - Martin C. Cooper; Andreas Herzig; Frédéric Maris; Elise Perrotin; Julien Vianey (KR, 2020)

Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. - João Marques-Silva 001; Thomas Gerspacher; Martin C. Cooper; Alexey Ignatiev; Nina Narodytska (NeurIPS, 2020)

Graphical Models: Queries, Complexity, Algorithms (Tutorial). - Martin C. Cooper; Simon de Givry; Thomas Schiex (STACS, 2020)

Steepest ascent can be exponential in bounded treewidth problems. - David A. Cohen; Martin C. Cooper; Artem Kaznatcheev; Mark Wallace 001 (Oper. Res. Lett., 2020)

On the Tractability of Explaining Decisions of Classifiers. - Martin C. Cooper; João Marques-Silva 001 (CP, 2021)

Explanations for Monotonic Classifiers. - João Marques-Silva 001; Thomas Gerspacher; Martin C. Cooper; Alexey Ignatiev; Nina Narodytska (ICML, 2021)

A lightweight epistemic logic and its application to planning. - Martin C. Cooper; Andreas Herzig; Faustine Maffre; Frédéric Maris; Elise Perrotin; Pierre Régnier (Artif. Intell., 2021)

Efficient Explanations With Relevant Sets. - Yacine Izza; Alexey Ignatiev; Nina Narodytska; Martin C. Cooper; João Marques-Silva 001 (CoRR, 2021)

Efficient Explanations for Knowledge Compilation Languages. - Xuanxiang Huang; Yacine Izza; Alexey Ignatiev; Martin C. Cooper; Nicholas Asher; João Marques-Silva 001 (CoRR, 2021)

Tractable Explanations for d-DNNF Classifiers. - Xuanxiang Huang; Yacine Izza; Alexey Ignatiev; Martin C. Cooper; Nicholas Asher; João Marques-Silva 001 (AAAI, 2022)

Isomorphisms Between STRIPS Problems and Sub-Problems. - Martin C. Cooper; Arnaud Lequen; Frédéric Maris (CP, 2022)

Provably Precise, Succinct and Efficient Explanations for Decision Trees. - Yacine Izza; Alexey Ignatiev; Nina Narodytska; Martin C. Cooper; João Marques-Silva 001 (CoRR, 2022)

Abductive Explanations of Classifiers Under Constraints: Complexity and Properties. - Martin C. Cooper; Leila Amgoud (ECAI, 2023)

Reinforcement Learning Explained via Reinforcement Learning: Towards Explainable Policies through Predictive Explanation. - Léo Saulières; Martin C. Cooper; Florence Bannay (ICAART (2), 2023)

Predictive Explanations for and by Reinforcement Learning. - Léo Saulières; Martin C. Cooper; Florence Dupin de Saint-Cyr (ICAART (Revised Selected Paper), 2023)

Analysis of planning instances without search. - Martin C. Cooper; Arnaud Lequen; Frédéric Maris (JIAF, 2023)

Tractable Explaining of Multivariate Decision Trees. - Clément Carbonnel; Martin C. Cooper; João Marques-Silva 001 (KR, 2023)

Predicate-Based Explanation of a Reinforcement Learning Agent via Action Importance Evaluation. - Léo Saulières; Martin C. Cooper; Florence Dupin de Saint-Cyr (PKDD/ECML Workshops (1), 2023)

Feature Necessity & Relevancy in ML Classifier Explanations. - Xuanxiang Huang; Martin C. Cooper; António Morgado 001; Jordi Planes; João Marques-Silva 001 (TACAS (1), 2023)

Tractability of explaining classifier decisions. - Martin C. Cooper; João Marques-Silva 001 (Artif. Intell., 2023)

On computing probabilistic abductive explanations. - Yacine Izza; Xuanxiang Huang; Alexey Ignatiev; Nina Narodytska; Martin C. Cooper; João Marques-Silva 001 (Int. J. Approx. Reason., 2023)

Complexity of minimum-size arc-inconsistency explanations. - Christian Bessiere; Clément Carbonnel; Martin C. Cooper; Emmanuel Hebrard (Constraints An Int. J., 2023)

Axiomatic Characterisations of Sample-based Explainers. - Leila Amgoud; Martin C. Cooper; Salim Debbaoui (ECAI, 2024)

Backward Explanations via Redefinition of Predicates. - Léo Saulières; Martin C. Cooper; Florence Dupin de Saint-Cyr (ECAI, 2024)

Backward explanation via redefinition of predicates. - Léo Saulières; Martin C. Cooper; Florence Dupin de Saint-Cyr (JIAF-JFPDA, 2024)

Homomorphisms and Embeddings of STRIPS Planning Models. - Arnaud Lequen; Martin C. Cooper; Frédéric Maris (Comput. Intell., 2024)

Interpretable DNFs. - Martin C. Cooper; Imane Bousdira; Clément Carbonnel (CoRR, 2025)