Publications de Martin COOPER
Christian Bessiere, Clément Carbonnel, Martin Cooper, Emmanuel Hebrard
Complexity of minimum-size arc-inconsistency explanations
Constraints, 2023, 28, pp.427-449. ⟨10.1007/s10601-023-09360-5⟩
Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin Cooper, Joao Marques-Silva
On computing probabilistic abductive explanations
International Journal of Approximate Reasoning, 2023, 159, pp.108939. ⟨10.1016/j.ijar.2023.108939⟩
Martin Cooper, Joao Marques-Silva
Tractability of explaining classifier decisions
Artificial Intelligence, 2023, 316, pp.103841. ⟨10.1016/j.artint.2022.103841⟩
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier
A Lightweight Epistemic Logic and its Application to Planning
Artificial Intelligence, 2021, Special issue: SI: Ethics for Autonomous Systems, 298, pp.103437. ⟨10.1016/j.artint.2020.103437⟩
David Cohen, Martin Cooper, Artem Kaznatcheev, Mark Wallace
Steepest ascent can be exponential in bounded treewidth problems
Operations Research Letters, 2020, 48 (3), pp.217-224. ⟨10.1016/j.orl.2020.02.010⟩
Martin Cooper, Simon de Givry, Thomas Schiex
Graphical Models: Queries, Complexity, Algorithms
Leibniz International Proceedings in Informatics , 2020, 154, pp.4:1–4:22. ⟨10.4230/LIPIcs.STACS.2020.4⟩
Clément Carbonnel, David Cohen, Martin Cooper, Stanislav Živný
On Singleton Arc Consistency for CSPs Defined by Monotone Patterns
Algorithmica, 2019, 81 (4), pp.1699-1727. ⟨10.1007/s00453-018-0498-2⟩
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
The epistemic gossip problem
Discrete Mathematics, 2019, 342 (3), pp.654-663. ⟨10.1016/j.disc.2018.10.041⟩
David Cohen, Martin Cooper, Peter Jeavons, Stanislav Živný
Binary constraint satisfaction problems defined by excluded topological minors
Information and Computation, 2019, 264, pp.12-31. ⟨10.1016/j.ic.2018.09.013⟩
Martin Cooper, Achref El Mouelhi, Cyril Terrioux
Variable Elimination in Binary CSPs
Journal of Artificial Intelligence Research, 2019, 66, pp.589 – 624. ⟨10.1613/jair.1.11295⟩
Wafa Jguirim, Wady Naanaa, Martin Cooper
A polynomial relational class of binary CSP
Annals of Mathematics and Artificial Intelligence, 2018, 83 (1), pp.1-20. ⟨10.1007/s10472-017-9566-6⟩
Martin Cooper, Stanislav Živný
The power of arc consistency for CSPs defined by partially-ordered forbidden patterns
Logical Methods in Computer Science, 2017, 13 (4:26), pp.1-32. ⟨10.23638/LMCS-13(4:26)2017⟩
David A. Cohen, Martin Cooper, Peter G. Jeavons, Andrei Krokhin, Robert Powell, Stanislav Živný
Binarisation for valued constraint satisfaction problems
SIAM Journal on Discrete Mathematics, 2017, vol. 31 (n° 4), pp. 2279-2300. ⟨10.1137/16M1088107⟩
Clément Carbonnel, Martin Cooper
Tractability in Constraint Satisfaction Problems: A Survey
Constraints, 2016, 21 (2), pp.115-144. ⟨10.1007/s10601-015-9198-6⟩
Martin 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
Artificial Intelligence, 2016, 234, pp.196-218. ⟨10.1016/j.artint.2016.02.001⟩
Christopher J L Murray, Ryan M Barber, Kyle J Foreman, Ayse Abbasoglu Ozgoren, Semaw F Abera, Victor Aboyans, Jerry P Abraham, Ibrahim Abubakar, Laith J Abu-Raddad, Niveen M Abu-Rmeileh, Tom Achoki, Ilana N Ackerman, Zanfina Ademi, Arsène K Adou, José C Adsuar, Ashkan Afshin, Emilie E Agardh, Sayed Saidul Alam, Deena Alasfoor, Mohammed I Albittar, Miguel A Alegretti, Zewdie A Alemu, Rafael Alfonso-Cristancho, Samia Alhabib, Raghib Ali, François Alla, Peter Allebeck, Mohammad A Almazroa, Ubai Alsharif, Elena Alvarez, Nelson Alvis-Guzman, Azmeraw T Amare, Emmanuel A Ameh, Heresh Amini, Walid Ammar, H Ross Anderson, Benjamin O Anderson, Carl Abelardo T Antonio, Palwasha Anwari, Johan Arnlöv, Valentina S Arsic Arsenijevic, Al Artaman, Rana J Asghar, Reza Assadi, Lydia S Atkins, Marco A Avila, Baffour Awuah, Victoria F Bachman, Alaa Badawi, Maria C Bahit, Kalpana Balakrishnan, Amitava Banerjee, Suzanne L Barker-Collo, Simon Barquera, Lars Barregard, Lope H Barrero, Arindam Basu, Sanjay Basu, Mohammed O Basulaiman, Justin Beardsley, Neeraj Bedi, Ettore Beghi, Tolesa Bekele, Michelle L Bell, Corina Benjet, Derrick A Bennett, Isabela M Bensenor, Habib Benzian, Eduardo Bernabé, Amelia Bertozzi-Villa, Tariku J Beyene, Neeraj Bhala, Ashish Bhalla, Zulfiqar A Bhutta, Kelly Bienhoff, Boris Bikbov, Stan Biryukov, Jed D Blore, Christopher D Blosser, Fiona M Blyth, Megan A Bohensky, Ian W Bolliger, Berrak Bora Başara, Natan M Bornstein, Dipan Bose, Soufiane Boufous, Rupert R A Bourne, Lindsay N Boyers, Michael Brainin, Carol E Brayne, Alexandra Brazinova, Nicholas J K Breitborde, Hermann Brenner, Adam D Briggs, Peter M Brooks, Jonathan C Brown, Traolach S Brugha, Rachelle Buchbinder, Geoffrey C Buckle, Christine M Budke, Anne Bulchis, Andrew G Bulloch, Ismael R Campos-Nonato, Hélène Carabin, Jonathan R Carapetis, Rosario Cárdenas, David O Carpenter, Valeria Caso, Carlos A Castañeda-Orjuela, Ruben E Castro, Ferrán Catalá-López, Fiorella Cavalleri, Alanur Çavlin, Vineet K Chadha, Jung-Chen Chang, Fiona J Charlson, Honglei Chen, Wanqing Chen, Peggy P Chiang, Odgerel Chimed-Ochir, Rajiv Chowdhury, Hanne Christensen, Costas A Christophi, Massimo Cirillo, Matthew M Coates, Luc E Coffeng, Megan S Coggeshall, Valentina Colistro, Samantha M Colquhoun, Graham S Cooke, Cyrus Cooper, Leslie T Cooper, Luis M Coppola, Monica Cortinovis, Michael H Criqui, John A Crump, Lucia Cuevas-Nasu, Hadi Danawi, Lalit Dandona, Rakhi Dandona, Emily Dansereau, Paul I Dargan, Gail Davey, Adrian Davis, Dragos V Davitoiu, Anand Dayama, Diego de Leo, Louisa Degenhardt, Borja del Pozo-Cruz, Robert P Dellavalle, Kebede Deribe, Sarah Derrett, Don C Des Jarlais, Muluken Dessalegn, Samath D Dharmaratne, Mukesh K Dherani, Cesar Diaz-Torné, Daniel Dicker, Eric L Ding, Klara Dokova, E Ray Dorsey, Tim R Driscoll, Leilei Duan, Herbert C Duber, Beth E Ebel, Karen M Edmond, Yousef M Elshrek, Matthias Endres, Sergey P Ermakov, Holly E Erskine, Babak Eshrati, Alireza Esteghamati, Kara Estep, Emerito Jose A Faraon, Farshad Farzadfar, Derek F Fay, Valery L Feigin, David T Felson, Seyed-Mohammad Fereshtehnejad, Jefferson G Fernandes, Alize J Ferrari, Christina Fitzmaurice, Abraham D Flaxman, Thomas D Fleming, Nataliya Foigt, Mohammad H Forouzanfar, F Gerry R Fowkes, Urbano Fra Paleo, Richard C Franklin, Thomas Fürst, Belinda Gabbe, Lynne Gaffikin, Fortuné G Gankpé, Johanna M Geleijnse, Bradford D Gessner, Peter Gething, Katherine B Gibney, Maurice Giroud, Giorgia Giussani, Hector Gomez Dantes, Philimon Gona, Diego González-Medina, Richard A Gosselin, Carolyn C Gotay, Atsushi Goto, Hebe N Gouda, Nicholas Graetz, Harish C Gugnani, Rahul Gupta, Rajeev Gupta, Reyna A Gutiérrez, Juanita Haagsma, Nima Hafezi-Nejad, Holly Hagan, Yara A Halasa, Randah R Hamadeh, Hannah Hamavid, Mouhanad Hammami, Jamie Hancock, Graeme J Hankey, Gillian M Hansen, Yuantao Hao, Hilda L Harb, Josep Maria Haro, Rasmus Havmoeller, Simon I Hay, Roderick J Hay, Ileana B Heredia-Pi, Kyle R Heuton, Pouria Heydarpour, Hideki Higashi, Martha Hijar, Hans W Hoek, Howard J Hoffman, H Dean Hosgood, Mazeda Hossain, Peter J Hotez, Damian G Hoy, Mohamed Hsairi, Guoqing Hu, Cheng Huang, John J Huang, Abdullatif Husseini, Chantal Huynh, Marissa L Iannarone, Kim M Iburg, Kaire Innos, Manami Inoue, Farhad Islami, Kathryn H Jacobsen, Deborah L Jarvis, Simerjot K Jassal, Sun Ha Jee, Panniyammakal Jeemon, Paul N Jensen, Vivekanand Jha, Guohong Jiang, Ying Jiang, Jost B Jonas, Knud Juel, Haidong Kan, André Karch, Corine K Karema, Chante Karimkhani, Ganesan Karthikeyan, Nicholas J Kassebaum, Anil Kaul, Norito Kawakami, Konstantin Kazanjan, Andrew H Kemp, Andre P Kengne, Andre Keren, Yousef S Khader, Shams Eldin A Khalifa, Ejaz A Khan, Gulfaraz Khan, Young-Ho Khang, Christian Kieling, Daniel Kim, Sungroul Kim, Yunjin Kim, Yohannes Kinfu, Jonas M Kinge, Miia Kivipelto, Luke D Knibbs, Ann Kristin Knudsen, Yoshihiro Kokubo, Soewarta Kosen, Sanjay Krishnaswami, Barthelemy Kuate Defo, Burcu Kucuk Bicer, Ernst J Kuipers, Chanda Kulkarni, Veena S Kulkarni, G Anil Kumar, Hmwe H Kyu, Taavi Lai, Ratilal Lalloo, Tea Lallukka, Hilton Lam, Qing Lan, van C Lansingh, Anders Larsson, Alicia E B Lawrynowicz, Janet L Leasher, James Leigh, Ricky Leung, Carly E Levitz, Bin Li, Yichong Li, Yongmei Li, Stephen S Lim, Maggie Lind, Steven E Lipshultz, Shiwei Liu, Yang Liu, Belinda K Lloyd, Katherine T Lofgren, Giancarlo Logroscino, Katharine J Looker, Joannie Lortet-Tieulent, Paulo A Lotufo, Robyn M Lucas, Raimundas Lunevicius, Ronan A Lyons, Stefan Ma, Michael F Macintyre, Mark T Mackay, Marek Majdan, Reza Malekzadeh, Wagner Marcenes, David J Margolis, Christopher Margono, Melvin B Marzan, Joseph R Masci, Mohammad T Mashal, Richard Matzopoulos, Bongani M Mayosi, Tasara T Mazorodze, Neil W Mcgill, John J Mcgrath, Martin Mckee, Abigail Mclain, Peter A Meaney, Catalina Medina, Man Mohan Mehndiratta, Wubegzier Mekonnen, Yohannes A Melaku, Michele Meltzer, Ziad A Memish, George A Mensah, Atte Meretoja, Francis A Mhimbira, Renata Micha, Ted R Miller, Edward J Mills, Philip B Mitchell, Charles N Mock, Norlinah Mohamed Ibrahim, Karzan A Mohammad, Ali H Mokdad, Glen L D Mola, Lorenzo Monasta, Julio C Montañez Hernandez, Marcella Montico, Thomas J Montine, Meghan D Mooney, Ami R Moore, Maziar Moradi-Lakeh, Andrew E Moran, Rintaro Mori, Joanna Moschandreas, Wilkister N Moturi, Madeline L Moyer, Dariush Mozaffarian, William T Msemburi, Ulrich O Mueller, Mitsuru Mukaigawara, Erin C Mullany, Michele E Murdoch, Joseph Murray, Kinnari S Murthy, Mohsen Naghavi, Aliya Naheed, Kovin S Naidoo, Luigi Naldi, Devina Nand, Vinay Nangia, K M Venkat Narayan, Chakib Nejjari, Sudan P Neupane, Charles R Newton, Marie Ng, Frida N Ngalesoni, Grant Nguyen, Muhammad I Nisar, Sandra Nolte, Ole F Norheim, Rosana E Norman, Bo Norrving, Luke Nyakarahuka, In-Hwan Oh, Takayoshi Ohkubo, Summer L Ohno, Bolajoko O Olusanya, John Nelson Opio, Katrina Ortblad, Alberto Ortiz, Amanda W Pain, Jeyaraj D Pandian, Carlo Irwin A Panelo, Christina Papachristou, Eun-Kee Park, Jae-Hyun Park, Scott B Patten, George C Patton, Vinod K Paul, Boris I Pavlin, Neil Pearce, David M Pereira, Rogelio Perez-Padilla, Fernando Perez-Ruiz, Norberto Perico, Aslam Pervaiz, Konrad Pesudovs, Carrie B Peterson, Max Petzold, Michael R Phillips, Bryan K Phillips, David E Phillips, Frédéric B Piel, Dietrich Plass, Dan Poenaru, Suzanne Polinder, Daniel Pope, Svetlana Popova, Richie G Poulton, Farshad Pourmalek, Dorairaj Prabhakaran, Noela M Prasad, Rachel L Pullan, Dima M Qato, D Alex Quistberg, Anwar Rafay, Kazem Rahimi, Sajjad U Rahman, Murugesan Raju, Saleem M Rana, Homie Razavi, K Srinath Reddy, Amany Refaat, Giuseppe Remuzzi, Serge Resnikoff, Antonio L Ribeiro, Lee Richardson, Jan Hendrik Richardus, D Allen Roberts, David Rojas-Rueda, Luca Ronfani, Gregory A Roth, Dietrich Rothenbacher, David H Rothstein, Jane T Rowley, Nobhojit Roy, George M Ruhago, Mohammad y Saeedi, Sukanta Saha, Mohammad Ali Sahraian, Uchechukwu K A Sampson, Juan R Sanabria, Logan Sandar, Itamar S Santos, Maheswar Satpathy, Monika Sawhney, Peter Scarborough, Ione J Schneider, Ben Schöttker, Austin E Schumacher, David C Schwebel, James G Scott, Soraya Seedat, Sadaf G Sepanlou, Peter T Serina, Edson E Servan-Mori, Katya A Shackelford, Amira Shaheen, Saeid Shahraz, Teresa Shamah Levy, Siyi Shangguan, Jun She, Sara Sheikhbahaei, Peilin Shi, Kenji Shibuya, Yukito Shinohara, Rahman Shiri, Kawkab Shishani, Ivy Shiue, Mark G Shrime, Inga D Sigfusdottir, Donald H Silberberg, Edgar P Simard, Shireen Sindi, Abhishek Singh, Jasvinder A Singh, Lavanya Singh, Vegard Skirbekk, Erica Leigh Slepak, Karen Sliwa, Samir Soneji, Kjetil Søreide, Sergey Soshnikov, Luciano A Sposato, Chandrashekhar T Sreeramareddy, Jeffrey D Stanaway, Vasiliki Stathopoulou, Dan J Stein, Murray B Stein, Caitlyn Steiner, Timothy J Steiner, Antony Stevens, Andrea Stewart, Lars J Stovner, Konstantinos Stroumpoulis, Bruno F Sunguya, Soumya Swaminathan, Mamta Swaroop, Bryan L Sykes, Karen M Tabb, Ken Takahashi, Nikhil Tandon, David Tanne, Marcel Tanner, Mohammad Tavakkoli, Hugh R Taylor, Braden J Te Ao, Fabrizio Tediosi, Awoke M Temesgen, Tara Templin, Margreet ten Have, Eric y Tenkorang, Abdullah S Terkawi, Blake Thomson, Andrew L Thorne-Lyman, Amanda G Thrift, George D Thurston, Taavi Tillmann, Marcello Tonelli, Fotis Topouzis, Hideaki Toyoshima, Jefferson Traebert, Bach X Tran, Matias Trillini, Thomas Truelsen, Miltiadis Tsilimbaris, Emin M Tuzcu, Uche S Uchendu, Kingsley N Ukwaja, Eduardo A Undurraga, Selen B Uzun, Wim H van Brakel, Steven van de Vijver, Coen H van Gool, Jim van Os, Tommi J Vasankari, N Venketasubramanian, Francesco S Violante, Vasiliy V Vlassov, Stein Emil Vollset, Gregory R Wagner, Joseph Wagner, Stephen G Waller, Xia Wan, Haidong Wang, Jianli Wang, Linhong Wang, Tati S Warouw, Scott Weichenthal, Elisabete Weiderpass, Robert G Weintraub, Wang Wenzhi, Andrea Werdecker, Ronny Westerman, Harvey A Whiteford, James D Wilkinson, Thomas N Williams, Charles D Wolfe, Timothy M Wolock, Anthony D Woolf, Sarah Wulf, Brittany Wurtz, Gelin Xu, Lijing L Yan, Yuichiro Yano, Pengpeng Ye, Gökalp K Yentür, Paul Yip, Naohiro Yonemoto, Seok-Jun Yoon, Mustafa Z Younis, Chuanhua Yu, Maysaa E Zaki, Yong Zhao, Yingfeng Zheng, David Zonies, Xiaonong Zou, Joshua A Salomon, Alan D Lopez, Theo Vos, Guoqing Hu
Global, regional, and national disability-adjusted life years (DALYs) for 306 diseases and injuries and healthy life expectancy (HALE) for 188 countries, 1990-2013: quantifying the epidemiological transition.
The Lancet, 2015, 386 (10009), pp.2145-91. ⟨10.1016/S0140-6736(15)61340-X⟩
David Cohen, Martin Cooper, Guillaume Escamocher, Stanislas Zivny
Variable and Value Elimination in Binary Constraint Satisfaction via Forbidden Patterns
Journal of Computer and System Sciences, 2015, 81 (7), pp.1127-1143. ⟨10.1016/j.jcss.2015.02.001⟩
Martin Cooper, Guillaume Escamocher
Characterising the Complexity of Constraint Satisfaction Problems Defined by 2-Constraint Forbidden Patterns
Discrete Applied Mathematics, 2015, 184, pp.89-113. ⟨10.1016/j.dam.2014.10.035⟩
Martin Cooper, Frédéric Maris, Pierre Régnier
Monotone Temporal Planning: Tractability, Extensions and Applications
Journal of Artificial Intelligence Research, 2014, vol. 50, pp. 447-485. ⟨10.1613/jair.4358⟩
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.
Léo Saulières, Martin Cooper, Florence Dupin de Saint-Cyr
Backward explanations via redefinition of predicates
27th European Conference on Artifical Intelligence (ECAI-2024), Oct 2024, Saint Jacques De Compostelle, Spain
Abductive Explanations of Classifiers under Constraints: Complexity and Properties
26th European Conference on Artificial Intelligence (ECAI 2023), European Association for Artificial Intelligence (EurAI); Polish Artificial Intelligence Society (PSSI), Sep 2023, Krakow, Poland. pp.469 – 476, ⟨10.3233/FAIA230305⟩
Léo Saulières, Martin Cooper, Florence Dupin de Saint-Cyr
Predicate-based explanation of a Reinforcement Learning agent via action importance evaluation
4th workshop on Advances in Interpretable Machine Learning and Artificial Intelligence (AIMLAI 2023) @ ECML/PKDD conference, Sep 2023, Turin, Italy. à paraître
Clément Carbonnel, Martin Cooper, Joao Marques-Silva
Tractable Explaining of Multivariate Decision Trees
KR 2023 – 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.127-135, ⟨10.24963/kr.2023/13⟩
Xuanxiang Huang, Martin Cooper, Antonio Morgado, Jordi Planes, Joao Marques-Silva
Feature Necessity & Relevancy in ML Classifier Explanations
29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023) @ ETAPS 2023, Apr 2023, Paris, France. pp.167-186, ⟨10.1007/978-3-031-30823-9_9⟩
Léo Saulières, Martin C Cooper, Florence Dupin de Saint-Cyr
Predictive Explanations for and by Reinforcement Learning
15th international conference on Agents and Artificial Intelligence ICAART 2023 Revised Selected Papers, Feb 2023, Lisbon, Portugal. pp.115-140, ⟨10.1007/978-3-031-55326-4_6⟩
Léo Saulières, Martin Cooper, Florence Dupin de Saint-Cyr
Reinforcement Learning Explained via Reinforcement Learning: Towards Explainable Policies through Predictive Explanation
15th International Conference on Agents and Artificial Intelligence (ICAART 2023), Feb 2023, Lisbon, Portugal. pp.35-44, ⟨10.5220/0011619600003393⟩
Christian Bessiere, Clement Carbonnel, Martin Cooper, Emmanuel Hébrard
Complexity of Minimum-Size Arc-Inconsistency Explanations
CP 2022 – 28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. pp.9:1 – 9:14, ⟨10.4230/LIPIcs.CP.2022.9⟩
Martin Cooper, Arnaud Lequen, Frédéric Maris
Isomorphisms Between STRIPS Problems and Sub-Problems
28th International Conference on Principles and Practice of Constraint Programming (CP 2022), Association for Constraint Programming, Jul 2022, Haïfa, Israel. pp.13:1–13:16, ⟨10.4230/LIPIcs.CP.2022.13⟩
Martin Cooper, Arnaud Lequen, Frédéric Maris
Isomorphismes entre instances et sous-instances STRIPS
Journées Francophones de Programmation par Contraintes, Association Française pour l’Intelligence Artificielle (AFIA), Jun 2022, Saint-Etienne, France. pp.35-42
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin Cooper, Nicholas Asher, Joao Marques-Silva
Tractable Explanations for d-DNNF Classifiers
36th AAAI Conference on Artificial Intelligence (AAAI 2022), AAAI: American Association for Artificial Intelligence, Feb 2022, Seattle (virtual), United States. pp.5719-5728, ⟨10.1609/aaai.v36i5.20514⟩
Martin Cooper, Joao Marques-Silva
On the Tractability of Explaining Decisions of Classifiers
27th International Conference on Principles and Practice of Constraint Programming (CP 2021), Oct 2021, Montpellier (en ligne), France. pp.21:1-21:18, ⟨10.4230/LIPIcs.CP.2021.21⟩
Joao Marques-Silva, Thomas Gerspacher, Martin Cooper, Alexey Ignatiev, Nina Narodytska
Explanations for Monotonic Classifiers
38th International Conference on Machine Learning (ICML 2021), 2021, virtual, Austria
Martin Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey
Lightweight Parallel Multi-Agent Epistemic Planning
17th International Conference on Principles of Knowledge Representation and Reasoning – KR 2020, Sep 2020, Rhodes, Greece
Alexey Ignatiev, Martin Cooper, Mohamed Siala, Emmanuel Hébrard, Joao Marques-Silva
Towards Formal Fairness in Machine Learning
26th International Conference on Principles and Practice of Constraint Programming (CP 2020), Sep 2020, Louvain (online), Belgium. pp.846-867, ⟨10.1007/978-3-030-58475-7_49⟩
David A Cohen, Martin Cooper, Peter G Jeavons, Stanislav Živný
Galois Connections for Patterns: An Algebra of Labelled Graphs
6th International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2020), Sep 2020, en ligne, France. pp.125 – 150, ⟨10.1007/978-3-030-72308-8_9⟩
Martin Cooper, Achref El Mouelhi, Cyril Terrioux
Variable Elimination in Binary CSPs (Extended Abstract)
Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}, Jul 2020, Yokohama, France. pp.5035-5039, ⟨10.24963/ijcai.2020/702⟩
Joao Marques-Silva, Thomas Gerspacher, Martin Cooper, Alexey Ignatiev, Nina Narodytska
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
34th Conference on Neural Information Processing Systems (NeurIPS 2020), 2020, Vancouver (virtual), Canada. pp.1-11
Strengthening Neighbourhood Substitution
International Conference on Principles and Practice of Constraint Programming 2020, 2020, Louvain, Belgium. pp.126-142, ⟨10.1007/978-3-030-58475-7_8⟩
Strengthening Neighbourhood Substitutability
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier
When ‘knowing whether’ is better than ‘knowing that
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Martin Cooper, Andreas Herzig, Frédéric Maris, Julien Vianey
Temporal Epistemic Gossip Problems
16th European Conference on Multi-Agent Systems (EUMAS 2018), Dec 2018, Bergen, Norway. pp.1-14
Martin Cooper, Wafa Jguirim, David Cohen
Domain Reduction for Valued Constraints by Generalising Methods from CSP
24th International Conference on Principles and Practice of Constraint Programming (CP 2018), Aug 2018, Lille, France. pp.64-80
Clément Carbonnel, David Cohen, Martin Cooper, Stanislav Živný
On Singleton Arc Consistency for CSPs Defined by Monotone Patterns
International Symposium on Theoretical Aspects of Computer Science (STACS 2018), Feb 2018, Caen, France. pp.19 – 20, ⟨10.4230/LIPIcs.STACS.2018.19⟩
Martin Cooper, Achref El Mouelhi, Cyril Terrioux
Extending Broken Triangles and Enhanced Value-Merging
22nd International Conference on Principles and Practice of Constraint Programming (CP 2016), Sep 2016, Toulouse, France. pp. 173-188
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A simple account of multi-agent epistemic planning
22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 193-201
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
Simple epistemic planning: generalised gossiping
22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1563-1564
Martin Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini
On Broken Triangles (IJCAI 2016)
Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016), International Joint Conferences on Artificial Intelligence (IJCAI); Association for the Advancement of Artificial Intelligence, Jul 2016, New York City, United States. pp.4135-4139
Martin Cooper, Stanislav Živný
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016), IEEE Technical Committee on Mathematical Foundations of Computer Science; ACM Special Interest Group on Logic (SIGLOG), Jul 2016, New York City, United States. pp.652-661, ⟨10.1145/2933575.2933587⟩
Martin Cooper, Achref El Mouelhi, Cyril Terrioux
Les triangles cassés, encore et encore
12emes Journees Francophones de Programmation par Contraintes (JFPC 2016), Jun 2016, Montpellier, France. pp. 133-141
Martin Cooper, Philippe Jégou, Cyril Terrioux
A Microstructure-based Family of Tractable Classes for CSPs
21st International Conference on Principles and Practice of Constraint Programming (CP 2015), Aug 2015, Cork, Ireland. pp. 74-88
Martin Cooper, Aymeric Duchein, Guillaume Escamocher
Broken Triangles Revisited
21st International Conference on Principles and Practice of Constraint Programming (CP 2015), Aug 2015, Cork, Ireland. pp. 58-73
David A. Cohen, Martin Cooper, Peter G. Jeavons, Stanislav Zivny
Tractable Classes of Binary CSPs Defined by Excluded Topological Minors
24th International Joint Conference on Artificial Intelligence (IJCAI 2015), International Joint Conferences on Artificial Intelligence (IJCAI), Jul 2015, Buenos Aires, Argentina. pp.1945-1951
Martin Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini
Autour des Triangles Cassés
11es Journées Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. pp.57-58
Martin Cooper, Philippe Jégou, Cyril Terrioux
Une famille de classes polynomiales de CSP basée sur la microstructure
11eme Journees Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. pp. 59-68
Wafa Jguirim, Wady Naanaa, Martin Cooper
Sur une classe polynomiale relationnelle pour les CSP binaires
11eme Journees Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. pp. 130-139
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A simple account of multiagent epistemic planning
10èmes Journées Francophones sur la Planification, la Décision et l’Apprentissage (JFPDA 2015), May 2015, Rennes, France. pp. 23-29
David Cohen, Martin Cooper, Peter Jeavons, Stanislav Zivny
Binarisation via Dualisation for Valued Constraints
29th AAAI Conference on Artificial Intelligence (AAAI 2015), Association for the Advancement of Artificial Intelligence (AAAI), Jan 2015, Austin, Texas, United States. pp.3731-3723, ⟨10.1609/aaai.v29i1.9749⟩
Martin Cooper, Frédéric Maris, Pierre Régnier
Monotone Temporal Planning : tractability, extensions and applications (Extended abstract)
20th International Conference on Principles and Practice of Constraint Programming (CP), Sep 2014, Lyon, France. pp. 928-932
Martin Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini
On Broken Triangles (CP 2014)
International Conference on Principles and Practice of Constraint Programming (CP 2014), Association for Constraint Programming, Sep 2014, Lyon, France. pp.9-24, ⟨10.1007/978-3-319-10428-7_5⟩
Clément Carbonnel, Martin Cooper, Emmanuel Hébrard
On Backdoors to Tractable Constraint Languages
Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.224-239, ⟨10.1007/978-3-319-10428-7_18⟩
Beyond Consistency and Substitutability
International Conference on Principles and Practice of Constraint Programming – CP 2014, Sep 2014, Lyon, France. pp. 256-271
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.
Martin Cooper, Simon de Givry, Thomas Schiex
Valued Constraint Satisfaction Problems
A Guided Tour of Artificial Intelligence Research, 2, Springer International Publishing, pp.185-207, 2020, AI Algorithms, 978-3-030-06167-8. ⟨10.1007/978-3-030-06167-8_7⟩
Martin Cooper, Stanislav Zivny
Hybrid Tractable Classes of Constraint Problems
Krokhin, Andrei; Zivny, Stanislav. The Constraint Satisfaction Problem: Complexity and Approximability, 7 (Chapter 4), Schloss Dagstuhl Leibniz-Zentrum fur Informatik, pp.113–135, 2017, 978-3-95977-003-3. ⟨10.4230/DFU.Vol7.15301.113⟩
Line Drawing Interpretation, Springer, 2008.
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin Cooper, Nicholas Asher, Joao Marques-Silva
Efficient Explanations for Knowledge Compilation Languages
2021
Joao Marques-Silva, Thomas Gerspacher, Martin Cooper, Alexey Ignatiev, Nina Narodytska
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
2020
Martin Cooper, Achref El Mouelhi, Cyril Terrioux
Variable elimination in binary CSPs
2019