Publications de Martin COOPER
David 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.
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.
Line Drawing Interpretation, Springer, 2008.