Martin C. Cooper

152 papers A* 17A 31B 1C 3Journal 88Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Axiomatic Foundations of Counterfactual Explanations. CoRR Leila Amgoud, Martin C. Cooper
2026	J	`jnl`	Feature Necessity and Relevancy in Machine Learning Explanations. J. Autom. Reason. Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
2026	B	`conf`	Formally Correct Search for Interpretable DNFs. FASE Imane Bousdira, Martin C. Cooper, Aurélie Hurault
2025	A*	`conf`	Interpretable DNFs. IJCAI Martin C. Cooper, Imane Bousdira, Clément Carbonnel
2025	J	`jnl`	Interpretable DNFs. CoRR Martin C. Cooper, Imane Bousdira, Clément Carbonnel
2024	J	`jnl`	Abductive explanations of classifiers under constraints: Complexity and properties. CoRR Martin C. Cooper, Leila Amgoud
2024	A	`conf`	Axiomatic Characterisations of Sample-based Explainers. ECAI Leila Amgoud, Martin C. Cooper, Salim Debbaoui
2024	J	`jnl`	Axiomatic Characterisations of Sample-based Explainers. CoRR Leila Amgoud, Martin C. Cooper, Salim Debbaoui
2024	A	`conf`	Backward Explanations via Redefinition of Predicates. ECAI Léo Saulières, Martin C. Cooper, Florence Dupin de Saint-Cyr
2024	—	`conf`	Backward explanation via redefinition of predicates. JIAF-JFPDA Léo Saulières, Martin C. Cooper, Florence Dupin de Saint-Cyr
2024	J	`jnl`	Backward explanations via redefinition of predicates. CoRR Léo Saulières, Martin C. Cooper, Florence Dupin de Saint-Cyr
2024	J	`jnl`	Homomorphisms and Embeddings of STRIPS Planning Models. Comput. Intell. Arnaud Lequen, Martin C. Cooper, Frédéric Maris
2024	J	`jnl`	Homomorphisms and Embeddings of STRIPS Planning Models. CoRR Arnaud Lequen, Martin C. Cooper, Frédéric Maris
2023	A	`conf`	Abductive Explanations of Classifiers Under Constraints: Complexity and Properties. ECAI Martin C. Cooper, Leila Amgoud
2023	—	`conf`	Analysis of planning instances without search. JIAF Martin C. Cooper, Arnaud Lequen, Frédéric Maris
2023	J	`jnl`	Complexity of minimum-size arc-inconsistency explanations. Constraints An Int. J. Christian Bessiere, Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard
2023	—	`conf`	Feature Necessity & Relevancy in ML Classifier Explanations. TACAS (1) Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
2023	J	`jnl`	On computing probabilistic abductive explanations. Int. J. Approx. Reason. Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
2023	—	`conf`	Predicate-Based Explanation of a Reinforcement Learning Agent via Action Importance Evaluation. PKDD/ECML Workshops (1) Léo Saulières, Martin C. Cooper, Florence Dupin de Saint-Cyr
2023	—	`conf`	Predictive Explanations for and by Reinforcement Learning. ICAART (Revised Selected Paper) Léo Saulières, Martin C. Cooper, Florence Dupin de Saint-Cyr
2023	—	`conf`	Reinforcement Learning Explained via Reinforcement Learning: Towards Explainable Policies through Predictive Explanation. ICAART (2) Léo Saulières, Martin C. Cooper, Florence Bannay
2023	J	`jnl`	Tractability of explaining classifier decisions. Artif. Intell. Martin C. Cooper, João Marques-Silva
2023	A*	`conf`	Tractable Explaining of Multivariate Decision Trees. KR Clément Carbonnel, Martin C. Cooper, João Marques-Silva
2022	A	`conf`	Complexity of Minimum-Size Arc-Inconsistency Explanations. CP Christian Bessiere, Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard
2022	J	`jnl`	Feature Necessity & Relevancy in ML Classifier Explanations. CoRR Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
2022	A	`conf`	Isomorphisms Between STRIPS Problems and Sub-Problems. CP Martin C. Cooper, Arnaud Lequen, Frédéric Maris
2022	J	`jnl`	On Computing Probabilistic Abductive Explanations. CoRR Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
2022	J	`jnl`	Provably Precise, Succinct and Efficient Explanations for Decision Trees. CoRR Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
2022	A*	`conf`	Tractable Explanations for d-DNNF Classifiers. AAAI Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva
2021	J	`jnl`	A lightweight epistemic logic and its application to planning. Artif. Intell. Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier
2021	J	`jnl`	Efficient Explanations With Relevant Sets. CoRR Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva
2021	J	`jnl`	Efficient Explanations for Knowledge Compilation Languages. CoRR Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva
2021	A*	`conf`	Explanations for Monotonic Classifiers. ICML João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
2021	J	`jnl`	Explanations for Monotonic Classifiers. CoRR João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
2021	A	`conf`	On the Tractability of Explaining Decisions of Classifiers. CP Martin C. Cooper, João Marques-Silva
2020	A*	`conf`	Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. NeurIPS João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
2020	J	`jnl`	Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. CoRR João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska
2020	—	`conf`	Galois Connections for Patterns: An Algebra of Labelled Graphs. GKR David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
2020	A	`conf`	Graphical Models: Queries, Complexity, Algorithms (Tutorial). STACS Martin C. Cooper, Simon de Givry, Thomas Schiex
2020	A*	`conf`	Lightweight Parallel Multi-Agent Epistemic Planning. KR Martin C. Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey
2020	J	`jnl`	Steepest ascent can be exponential in bounded treewidth problems. Oper. Res. Lett. David A. Cohen, Martin C. Cooper, Artem Kaznatcheev, Mark Wallace
2020	A	`conf`	Strengthening Neighbourhood Substitution. CP Martin C. Cooper
2020	J	`jnl`	Strengthening neighbourhood substitution. CoRR Martin C. Cooper
2020	A	`conf`	Towards Formal Fairness in Machine Learning. CP Alexey Ignatiev, Martin C. Cooper, Mohamed Siala, Emmanuel Hebrard, João Marques-Silva
2020	—	`ch.`	Valued Constraint Satisfaction Problems. A Guided Tour of Artificial Intelligence Research (2) (II) Martin C. Cooper, Simon de Givry, Thomas Schiex
2020	A*	`conf`	Variable Elimination in Binary CSPs (Extended Abstract). IJCAI Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux
2019	J	`jnl`	Binary constraint satisfaction problems defined by excluded topological minors. Inf. Comput. David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
2019	J	`jnl`	On Singleton Arc Consistency for CSPs Defined by Monotone Patterns. Algorithmica Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivný
2019	J	`jnl`	Steepest ascent can be exponential in bounded treewidth problems. CoRR David A. Cohen, Martin C. Cooper, Artem Kaznatcheev, Mark Wallace
2019	J	`jnl`	The epistemic gossip problem. Discret. Math. Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
2019	J	`jnl`	Variable Elimination in Binary CSPs. J. Artif. Intell. Res. Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux
2019	J	`jnl`	Variable elimination in binary CSPs. CoRR Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux
2018	J	`jnl`	A polynomial relational class of binary CSP. Ann. Math. Artif. Intell. Wafa Jguirim, Wady Naanaa, Martin C. Cooper
2018	A	`conf`	Domain Reduction for Valued Constraints by Generalising Methods from CSP. CP Martin C. Cooper, Wafa Jguirim, David A. Cohen
2018	A	`conf`	On Singleton Arc Consistency for CSPs Defined by Monotone Patterns. STACS Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivný
2018	C	`conf`	Temporal Epistemic Gossip Problems. EUMAS Martin C. Cooper, Andreas Herzig, Frédéric Maris, Julien Vianey
2017	J	`jnl`	Binarisation for Valued Constraint Satisfaction Problems. SIAM J. Discret. Math. David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei A. Krokhin, Robert Powell, Stanislav Zivný
2017	—	`ch.`	Hybrid Tractable Classes of Constraint Problems. The Constraint Satisfaction Problem Martin C. Cooper, Stanislav Zivný
2017	J	`jnl`	On Singleton Arc Consistency for Natural CSPs Defined by Forbidden Patterns. CoRR Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivný
2017	J	`jnl`	The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns. Log. Methods Comput. Sci. Martin C. Cooper, Stanislav Zivný
2016	A	`conf`	A Simple Account of Multi-Agent Epistemic Planning. ECAI Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
2016	J	`jnl`	Binarisation for Valued Constraint Satisfaction Problems. CoRR David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei A. Krokhin, Robert Powell, Stanislav Zivný
2016	J	`jnl`	Binary Constraint Satisfaction Problems Defined by Excluded Topological Minors. CoRR David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
2016	J	`jnl`	Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems. Artif. Intell. Martin C. Cooper, Aymeric Duchein, Achref El Mouelhi, Guillaume Escamocher, Cyril Terrioux, Bruno Zanuttini
2016	A	`conf`	Extending Broken Triangles and Enhanced Value-Merging. CP Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux
2016	A*	`conf`	On Broken Triangles. IJCAI Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini
2016	A	`conf`	Simple Epistemic Planning: Generalised Gossiping. ECAI Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
2016	J	`jnl`	Simple epistemic planning: generalised gossiping. CoRR Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
2016	A*	`conf`	The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns. LICS Martin C. Cooper, Stanislav Zivný
2016	J	`jnl`	The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns. CoRR Martin C. Cooper, Stanislav Zivný
2016	J	`jnl`	Tractability in constraint satisfaction problems: a survey. Constraints An Int. J. Clément Carbonnel, Martin C. Cooper
2015	A	`conf`	A Microstructure-Based Family of Tractable Classes for CSPs. CP Martin C. Cooper, Philippe Jégou, Cyril Terrioux
2015	A*	`conf`	Binarisation via Dualisation for Valued Constraints. AAAI David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
2015	A	`conf`	Broken Triangles Revisited. CP Martin C. Cooper, Aymeric Duchein, Guillaume Escamocher
2015	J	`jnl`	Characterising the complexity of constraint satisfaction problems defined by 2-constraint forbidden patterns. Discret. Appl. Math. Martin C. Cooper, Guillaume Escamocher
2015	A*	`conf`	Tractable Classes of Binary CSPs Defined by Excluded Topological Minors. IJCAI David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivný
2015	J	`jnl`	Variable and value elimination in binary constraint satisfaction via forbidden patterns. CoRR David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
2015	J	`jnl`	Variable and value elimination in binary constraint satisfaction via forbidden patterns. J. Comput. Syst. Sci. David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
2014	A	`conf`	Beyond Consistency and Substitutability. CP Martin C. Cooper
2014	A	`conf`	Monotone Temporal Planning: Tractability, Extensions and Applications - (Extended Abstract). CP Martin C. Cooper, Frederic Maris, Pierre Régnier
2014	J	`jnl`	Monotone Temporal Planning: Tractability, Extensions and Applications. J. Artif. Intell. Res. Martin C. Cooper, Frederic Maris, Pierre Régnier
2014	J	`jnl`	On Backdoors To Tractable Constraint Languages. CoRR Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard
2014	A	`conf`	On Backdoors to Tractable Constraint Languages. CP Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard
2014	A	`conf`	On Broken Triangles. CP Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini
2014	J	`jnl`	Tractable Triangles and Cross-Free Convexity in Discrete Optimisation. CoRR Martin C. Cooper, Stanislav Zivný
2013	J	`jnl`	An Algebraic Theory of Complexity for Discrete Optimization. SIAM J. Comput. David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivný
2013	J	`jnl`	Managing Temporal cycles in Planning Problems Requiring Concurrency. Comput. Intell. Martin C. Cooper, Frederic Maris, Pierre Régnier
2013	C	`conf`	Relaxation of Temporal Planning Problems. TIME Martin C. Cooper, Frederic Maris, Pierre Régnier
2013	A*	`conf`	Variable Elimination in Binary CSP via Forbidden Patterns. IJCAI David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
2012	A	`conf`	A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP. CP Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný
2012	J	`jnl`	A Dichotomy for 2-Constraint Forbidden CSP Patterns CoRR Martin C. Cooper, Guillaume Escamocher
2012	A*	`conf`	A Dichotomy for 2-Constraint Forbidden CSP Patterns. AAAI Martin C. Cooper, Guillaume Escamocher
2012	J	`jnl`	An Algebraic Theory of Complexity for Discrete Optimisation CoRR David A. Cohen, Martin C. Cooper, Páidí Creed, Peter G. Jeavons, Stanislav Zivný
2012	J	`jnl`	The Tractability of CSP Classes Defined by Forbidden Patterns. J. Artif. Intell. Res. David A. Cohen, Martin C. Cooper, Páidí Creed, Dániel Marx, András Z. Salamon
2012	A*	`conf`	Tractable Monotone Temporal Planning. ICAPS Martin C. Cooper, Frederic Maris, Pierre Régnier
2012	J	`jnl`	Tractable Triangles and Cross-Free Convexity in Discrete Optimisation. J. Artif. Intell. Res. Martin C. Cooper, Stanislav Zivný
2011	J	`jnl`	A Maximal Tractable Class of Soft Constraints CoRR David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
2011	J	`jnl`	A weighted CSP approach to cost-optimal planning. AI Commun. Martin C. Cooper, Marie de Roquemaurel, Pierre Régnier
2011	A	`conf`	Hierarchically Nested Convex VCSP. CP Martin C. Cooper, Stanislav Zivný
2011	J	`jnl`	Hybrid tractability of valued constraint problems. Artif. Intell. Martin C. Cooper, Stanislav Zivný
2011	A	`conf`	On Guaranteeing Polynomially Bounded Search Tree Size. CP David A. Cohen, Martin C. Cooper, Martin James Green, Dániel Marx
2011	J	`jnl`	The tractability of CSP classes defined by forbidden patterns CoRR David A. Cohen, Martin C. Cooper, Páidí Creed, András Z. Salamon
2011	A	`conf`	Tractable Triangles. CP Martin C. Cooper, Stanislav Zivný
2011	J	`jnl`	Transformation of optimal planning problems. J. Exp. Theor. Artif. Intell. Martin C. Cooper, Marie de Roquemaurel, Pierre Régnier
2010	A	`conf`	A New Hybrid Tractable Class of Soft Constraint Problems. CP Martin C. Cooper, Stanislav Zivný
2010	—	`conf`	Compilation of a High-level Temporal Planning Language into PDDL 2.1. ICTAI (2) Martin C. Cooper, Frederic Maris, Pierre Régnier
2010	J	`jnl`	Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination. Artif. Intell. Martin C. Cooper, Peter G. Jeavons, András Z. Salamon
2010	J	`jnl`	Hybrid tractability of soft constraint problems CoRR Martin C. Cooper, Stanislav Zivný
2010	J	`jnl`	Soft arc consistency revisited. Artif. Intell. Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki, Tomás Werner
2010	C	`conf`	Solving Temporally-Cyclic Planning Problems. TIME Martin C. Cooper, Frederic Maris, Pierre Régnier
2010	J	`jnl`	Transformation de problèmes de planification optimale. Rev. d'Intelligence Artif. Martin C. Cooper, Marie de Roquemaurel, Pierre Régnier
2008	J	`jnl`	A Rich Discrete Labeling Scheme for Line Drawings of Curved Objects. IEEE Trans. Pattern Anal. Mach. Intell. Martin C. Cooper
2008	J	`jnl`	Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphisms. Theor. Comput. Sci. David A. Cohen, Martin C. Cooper, Peter Jeavons
2008	A	`conf`	Hybrid tractable CSPs which generalize tree structure. ECAI Martin C. Cooper, Peter G. Jeavons, András Z. Salamon
2008	—	`book`	Line Drawing Interpretation. Martin C. Cooper
2008	J	`jnl`	Measuring the Semantic Distance between Languages from a Statistical Analysis of Bilingual Dictionaries. J. Quant. Linguistics Martin C. Cooper
2008	J	`jnl`	Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency. Constraints An Int. J. Martin C. Cooper
2008	A*	`conf`	Virtual Arc Consistency for Weighted CSP. AAAI Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki
2007	J	`jnl`	Constraints Between Distant Lines in the Labelling of Line Drawings of Polyhedral Scenes. Int. J. Comput. Vis. Martin C. Cooper
2007	A*	`conf`	Optimal Soft Arc Consistency. IJCAI Martin C. Cooper, Simon de Givry, Thomas Schiex
2006	A	`conf`	An Algebraic Characterisation of Complexity for Valued Constraint. CP David A. Cohen, Martin C. Cooper, Peter Jeavons
2006	A	`conf`	Soft Arc Consistency Applied to Optimal Planning. CP Martin C. Cooper, Sylvain Cussat-Blanc, Marie de Roquemaurel, Pierre Régnier
2006	J	`jnl`	The complexity of soft constraint satisfaction. Artif. Intell. David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
2005	J	`jnl`	A Mathematical Model of Historical Semantics and the Grouping of Word Meanings into Concepts. Comput. Linguistics Martin C. Cooper
2005	J	`jnl`	High-Order Consistency in Valued Constraint Satisfaction. Constraints An Int. J. Martin C. Cooper
2005	J	`jnl`	Supermodular functions and the complexity of MAX CSP. Discret. Appl. Math. David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
2005	J	`jnl`	Wireframe Projections: Physical Realisability of Curved Objects and Unambiguous Reconstruction of Simple Polyhedra. Int. J. Comput. Vis. Martin C. Cooper
2004	A	`conf`	A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. CP David A. Cohen, Martin C. Cooper, Peter Jeavons
2004	J	`jnl`	A Maximal Tractable Class of Soft Constraints. J. Artif. Intell. Res. David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
2004	J	`jnl`	Arc consistency for soft constraints. Artif. Intell. Martin C. Cooper, Thomas Schiex
2004	J	`jnl`	Cyclic consistency: A local reduction operation for binary valued constraints. Artif. Intell. Martin C. Cooper
2004	A	`conf`	Identifying Efficiently Solvable Cases of Max CSP. STACS David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
2003	A*	`conf`	A Maximal Tractable Class of Soft Constraints. IJCAI David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
2003	J	`jnl`	Reduction operations in fuzzy or valued constraint satisfaction. Fuzzy Sets Syst. Martin C. Cooper
2003	A	`conf`	Soft Constraints: Complexity and Multimorphisms. CP David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
2001	J	`jnl`	Arc consistency for soft constraints CoRR Martin C. Cooper, Thomas Schiex
2001	J	`jnl`	The Interpretation of Line Drawings with Contrast Failure and Shadows. Int. J. Comput. Vis. Martin C. Cooper
2000	J	`jnl`	Linear constraints for the interpretation of line drawings of curved objects. Artif. Intell. Martin C. Cooper
2000	J	`jnl`	Semantic Distance Measures. Comput. Intell. Martin C. Cooper
1999	J	`jnl`	Linear-Time Algorithms for Testing the Realisability of Line Drawings of Curved Objects. Artif. Intell. Martin C. Cooper
1998	J	`jnl`	Constraints, Consistency and Closure. Artif. Intell. Peter Jeavons, David A. Cohen, Martin C. Cooper
1998	J	`jnl`	The Tractability of Segmentation and Scene Analysis. Int. J. Comput. Vis. Martin C. Cooper
1997	J	`jnl`	Fundamental Properties of Neighbourhood Substitution in Constraint Satisfaction Problems. Artif. Intell. Martin C. Cooper
1997	J	`jnl`	Interpreting line drawings of curved objects with tangential edges and surfaces. Image Vis. Comput. Martin C. Cooper
1995	J	`jnl`	Tractable Constraints on Ordered Domains. Artif. Intell. Peter Jeavons, Martin C. Cooper
1994	—	`conf`	A Substitution Operation for Constraints. PPCP Peter Jeavons, David A. Cohen, Martin C. Cooper
1994	J	`jnl`	Characterising Tractable Constraints. Artif. Intell. Martin C. Cooper, David A. Cohen, Peter Jeavons
1993	J	`jnl`	Interpretation of line drawings of complex objects. Image Vis. Comput. Martin C. Cooper
1989	J	`jnl`	An Optimal k-Consistency Algorithm. Artif. Intell. Martin C. Cooper
1989	J	`jnl`	Formal Hierarchical Object Models for Fast Template Matching. Comput. J. Martin C. Cooper
1988	J	`jnl`	Accelerated analysis of occlusion. Image Vis. Comput. Martin C. Cooper
1988	J	`jnl`	Efficient systematic analysis of occlusion. Pattern Recognit. Lett. Martin C. Cooper