Miguel Couceiro

Miguel Couceiro

Current:

• Full Professor in Computer Science and in Mathematics, Técnico, Universidade de Lisboa
• Researcher at INESC-ID, Lisbon

Research interests:

• Knowledge representation, discovery and reasoning
• Multicriteria decision making and aggregation functions
• Fair and explainable models
• Multiple-valued logic and universal algebra
• Lattice theory and ordered sets

External links:

• Mathematics & theoretical computer science: MathSciNet, zbMATH
• Computer science & applications: DBLP, ACL Anthology
• Profiles & metrics: Google Scholar, ORCID, HAL
• Institutional pages: Homepage, Técnico Scholar profile, INESC-ID profile, LORIA

NEWS:

• September 2026: Plenary talk at CONCEPTS 2026
• August 2026: Tomás Brogueira and Safa Alsaidi presented our paper Shapley Regression for Rare Disease Diagnosis Support: a case study on Activated PI3Kδ Syndrome (APDS) at (IJCAI-ECAI 2026)
• July 2026: Closing Plenary talk at EDS 2026
• June 2026: Our Erasmus Mundus Design Measures project "Forming Agile Experts of Tomorrow: Human Behavior in the Digital Transformation Age" (BeTA) got fincanced!
  PI Miguel Couceiro (Técnico, U.Lisbon). Partners: U.Utrecht (NL), U.Lorraine (FR), U.Granada (SP), U.Trento (IT) and associated research institutes Champalimaud Foundation, the UMC Utrecht Brain Center, the Donders Center for Neuroscience, the Mind, Brain and Behavior Research Center (CIMCYC), the Center for Mind/Brain Sciences (CIMeC).
  External partners: CONICET–UNC (Argentina) and Data Science Lab at GIST AI (S.Korea).
• May 2026: Ndeye-Emilie MBENGUE received the Best PhD Symposium Paper Award at European Semantic Web Conference (ESWC 2026) for “In Data or Invisible: Toward a Better Digital Representation of Low-Resource Languages with Knowledge Graphs.” Ndeye-Emilie is co-supervised by Fabien Gandon, Pierre Monnin and myself. (Article)
• January 2026: I presented our paper Generalizing Analogical Inference from Boolean to Continuous Domains in Singapore at AAAI Technical Track on Knowledge Representation and Reasoning (AAAI 2026) (Video)

Short CV

For the automatically updated CV, please see my IST Scholar biography or my my ORCID.

Degrees

• 2023: Agregação (Habilitation in Mathematics), Instituto Superior Técnico da Universidade de Lisboa. Relatório curricular: « Lattice theory for symbolic knowledge discovery ».
• 2013: Habilitation à Diriger des Recherches (computer science): « Quelques outils algébriques en théorie de l'agrégation et décision qualitative », Université Paris-Dauphine.
• 2006: Doctoral Thesis: « On Definability of Functions of Several Variables », University of Tampere.
• 2002: Master's Thesis: « On Boolean Functions », University of Tampere, Finland.

Current Positions

• Full Professor in Computer Science and in Mathematics at Técnico, Universidade de Lisboa (since 2024)
• Researcher, INESC-ID (since 2024). Team: Automated Reasoning and Software Reliability
• Docent in Mathematics, Tampere University (since January 2019)

Previous Positions

• Full Professor in Computer Science, Université de Lorraine, CNRS, Inria NGE, LORIA (2014 – 2024)
• Head of team Orpailleur, LORIA (2019 – 2024). The team’s main research activities were data mining, hybrid machine learning and decision support systems
• Associate professor, LAMSADE, Université Paris-Dauphine (2012 – 2014)
• Docent in Discrete Mathematics, Tampere University of Technology (2008 – 2018)
• Researcher, Mathematics Research Unit, University of Luxembourg (2007 – 2012)
• Researcher at MALJA Graduate School in Mathematical Logic and Algebra, University of Helsinki and University of Tampere (2003 – 2006)

Teaching

Instituto Superior Técnico, Universidade de Lisboa (2024 – present)

• Symbolic Knowledge Discovery (MMAC)
• Mathematics for Machine Learning (MMAC)
• Integrated Project (2nd cycle in Applied Mathematics and Computation)
• Machine Learning (LEIC-A)

Up-to-date semester-by-semester listing: IST homepage.

Université de Lorraine (Some topics from 2014 till 2024)

• Séminaire et remise à niveau, M2 SCA
• Software Project, M2 NLP
• Data Mining, M2 SCA et NLP
• Bibliographic methods, M2 NLP
• Project management, M1 NLP:
• Computability and complexity, M1 NLP,
• Outils conceptuels, L3 MIAGE
• Computability and complexity, M1 NLP
• Ontologies, M2 NLP,
• Masse de données et fouille de données, M2 MIAGE SID
• Web semantics, M1 NLP et SCA
• Computability and complexity, M1 NLP
• Algorithmes pour l’IA, M1 MIAGE
• Complexité algorithmique, L3 MIAGE
• Gestion des connaissances, M2 SCA
• IA fondamentale et fouille de données, M1 SCA
• Initiation au TAL, L2 MIASHS
• Traitement automatique des langues (TAL), M1 SCA
• Programation Objet avancée, M1 MIAGE,

Further teaching

Some Doctoral courses:

• Analogical reasoning through the lens of KGs (with L. Jarnac. P. Monnin, E. Mbengue) in the Unite! Research School (URS 2025) on AI & Cybersecurity
• Addressing algorithmic fairness through metrics and explanations (with C. Palamidessi) in the First Inria-DFKI European Summer School on AI (IDAI 2021)
• Introduction to clone theory and applications to CSPs, Univ. Paris Dauphine, 2013
• Boolean functions and function algebras, University of Tampere, 2011
• Boolean functions and function algebras, Tampere University of Technology, 2009 and 2010

Univ. Paris-Dauphine (Some topics from 2012 till 2014)

• Apprentissage de Préférences
• Analyse de Données
• Analyse et Fouille de Données avancées
• Algorithmique générale

Univ. Luxembourg: 2008–2012

• Graph Theory
• Basics of Discrete Mathematics
• Analyse numérique
• Méthodes et outils d’aide à la décision

Univ. Tampere: 2006–2007

• Introduction to Coding Theory
• Information Theory

Tampere Univ. Tech.: 2001–2006

• Algebra 2 (TD)
• Coding Theory (TD)
• Information Theory (TD)
• Finite Fields (TD)
• Automata Theory (TD)
• Mathematical Logic (TD)

Supervision

Current doctoral students

• Guilherme Lopes, Ph.D. student in Computer Science, INESC-ID. Start: September 2026. Subject: Uncertainty-Aware Information Extraction and Conditional Knowledge Graph Construction (with Bruno Martins).
• Henrique Miguel De Andrade Campos Navas, Ph.D. student in Mathematics. Start: September 2025. Subject: Doing More with Less: Sparsification and Redundancy in Infinite Structures (with João Ribeiro and Victor Lagerkvist).
• Ayoub Hammal, Ph.D. student in Computer Science, LISN (UMR 9015). Start: September 2024. Subject: Limitation des biais dans les grands modèles de langue (co-supervisor with Caio Corro and Pierre Zweigenbaum).
• Van Duy Ngo, Ph.D. student in Computer Science, IRIT. Start: October 2023. Subject: Analogies in Natural Language (co-supervisor with Emiliano Lorini and Stergos Afantenos).
• Egor Dudyrev, Ph.D. student in Computer Science, LORIA (UMR 7503). Start: January 2023. Subject: Making FCA and Pattern Structures Operational, Generic, and Interoperable in the SmartFCA-Platform (co-supervisor with Mehdi Kaytoue).

Master’s students

I supervise on average 5 interns (master’s students) per year since 2014.

Past doctoral students

• Lucas Jarnac, Ph.D. in Computer Science, Orange (CIFRE contract). Defended: July 2026. Subject: Uncertain Knowledge Reconciliation for Knowledge Graph Refinement (co-supervisor with Yoan Chabot).
• Safa Alsaidi, Ph.D. in Computer Science, Inria Paris. Defended: June 2026. Subject: From Patient Representation to Interaction-Aware Modeling: Contributions to Clinical Decision Support for Rare Disease Diagnosis (co-supervisor with Adrien Coulet and Nicolas Garcelon).
• Mohammed Fellaji, Ph.D. in Computer Science, LORIA (UMR 7503). Defended: July 2025. Title: Réseaux neuronaux bayésiens dynamiques (co-supervisor with Frédéric Pennerath).
• Ambroise Baril, Ph.D. in Computer Science, LORIA (UMR 7503). Defended: June 2024. Title: Fine-grained and parameterised complexity of H-colouring problems (co-supervisor with Victor Lagerkvist).
• Esteban Marquer, Ph.D. in Computer Science, LORIA (UMR 7503). Defended: June 2024. Title: Reasoning over Data: Analogy-based and transfer learning to improve Machine Learning (co-supervisor with Alain Gély).
• Thomas (Claire) Theobalt, Ph.D. in Computer Science, LORIA (UMR 7503). Defended: June 2023. Title: Bayesian deep learning for mining and analyzing astronomical data (co-supervisor with Frédéric Pennerath).
• Georgios Zervakis, Ph.D. in Computer Science, LORIA (UMR 7503). Defended: March 2023. Title: Improving large language models with semantic lexicons and analogies (co-supervisor with Emmanuel Vincent).
• Guilherme Alves da Silva, Ph.D. in Computer Science, LORIA (UMR 7503). Defended: December 2022. Title: Hybrid processing for algorithmic fairness (co-supervisor with Amedeo Napoli).
• Kevin Dalleau, Ph.D. in Computer Science, LORIA (UMR 7503). Defended: December 2021. Title: Une approche stochastique à base d’arbres aléatoires pour le calcul de dissimilarités – Application au clustering pour diverses structures de données (co-supervisor with Malika Smail-Tabbone).
• Pierre Mercuriali, Ph.D. in Computer Science, LORIA (UMR 7503). Defended: December 2020. Title: Calcul à base de médiane et structures médianes pour la classification (co-supervisor with Romain Péchoux).
• Nyoman Juniarta, Ph.D. in Computer Science, University of Lorraine. Defended: December 2019. Title: Fouille de données complexes et biclustering avec l’analyse formelle de concepts (co-supervisor with Amedeo Napoli).
• François Pirot, Ph.D. in Computer Science, University of Lorraine – Radboud University (Nijmegen, NL). Defended: November 2019. Title: Colouring Sparse Graphs (co-supervisor with Jean-Sébastien Sereni and Ross Kang).
• Quentin Brabant, Ph.D. in Computer Science, University of Lorraine. Defended: January 2019. Title: Modélisation, élicitation et prédiction de préférences qualitatives (supervisor).
• Judita Dascal, Ph.D. in Mathematics, University of Luxembourg. Defended: June 2012. Title: Mean values and Functional Equations (co-supervisor with Jean-Luc Marichal (Dir.) and Pierre Mathonet).

Past post-doctoral students

• Co-supervision of Alexandre Bazin (2019–2022, currently Associate Professor at LIRMM and IUT Montpellier-Sète).
• Co-supervision of Simon Vilmin (2022–2023, currently Associate Professor at LIS and University Aix-Marseille).

Publications

For the automatically and continuously updated record see my DBLP, zbMATH and HAL profiles, or my ORCID (0000-0003-2316-7623).

Edited Volumes

1. M. Couceiro, Z. Bouraoui. Proceedings of the IJCAI Workshop Interactions between Analogical Reasoning and Machine Learning (IARML), 17 of August 2025, Montréal, Québec, Canada. pp. 80 HAL.
2. M. Couceiro, P.-A. Murena. Proceedings of the IJCAI Workshop Interactions between Analogical Reasoning and Machine Learning (IARML), 4 of August 2024, Jeju, South Korea. pp. 88 HAL.
3. M. Couceiro, D. Duffus. Special Issue dedicated to ALGOS 2020 & The Mathematics of Maurice Pouzet. To appear in Order, Springer.
4. M. Couceiro, , Esteban Marquer, Pierre Monnin, Pierre-Alexandre Murena. Springer special issue Analogies: from Mathematical Foundations to Applications and Interactions with ML and AI. Annals of Mathematics and Artificial Intelligence 93:2, Springer, 2025.
5. M. Couceiro, L. Galarraga. Elsevier special issue Fair and Explainable Decision Support Systems. To appear in EURO Journal on Decision Processes, Elsevier.
6. M. Couceiro, S. Afantenos, P.-A. Murena. Proceedings of the IJCAI Workshop Interactions between Analogical Reasoning and Machine Learning (IARML), 21 of August 2023, Macao, China. CEUR Workshop Proceedings, Vol. 3492, p.3-55.
7. M. Couceiro, F. Badra,E. Marquer. Proceedings of the ICCBR Workshop Analogies: from Theory to Applications (ATA) - AR & CBR Tools for Metric and Representation Learning, July 17, 2023, Aberdeen, Scotland. CEUR Workshop Proceedings, Vol. 3438, p.2-53.
8. M. Couceiro, E. Marquer, P. Monnin, P.-A. Murena. Proceedings of the ICCBR Workshop Analogies: from Theory to Applications (ATA), September 12, 2022, Nancy, France. CEUR Workshop Proceedings, Vol. 3389, p.3-103.
9. M. Couceiro, P.-A. Murena. Proceedings of the IJCAI-ECAI Workshop Interactions between Analogical Reasoning and Machine Learning (IARML), 23 of July 2022, Vienna, Austria. CEUR Workshop Proceedings, Vol. 3174.
10. M. Couceiro, L. Haddad, M. Pouzet. Special Issue Dedicated to Ivo G. Rosenberg (Part 3). Journal of Multiple-Valued Logic and Soft Computing 39:1, 2022.
11. M. Couceiro, P. Monnin, A. Napoli. Proceedings of the International Conference on ALgebras, Graphs and Ordered Sets (ALGOS 2020), August 26 to 28, 2020, Nancy, France. CEUR Workshop Proceedings, Vol. 2925.
12. M. Couceiro, A. Napoli. Actes des 26èmes Rencontres de la Société Francophone de Classification (SFC 2019), Sep 2019, Nancy, France. pp. 147. HAL

Book Chapters

13. P. Monnin, C.-H. Nousradine, L. Jarnac, L. Zuckerman, M. Couceiro. KGPrune : une application Web pour extraire des sous-graphes d’intérêt de Wikidata par élagage analogique. 1024 - Bulletin de la Société Informatique de France 24 (November 2024). Société Informatique de France.
14. G. Alves, V. Bhargava, F. Bernier, M. Couceiro, A. Napoli. Studying the impact of feature importance and weighted aggregation in tackling process fairness. In: Statistical Modeling and Applications on Real-Time Problems: Unraveling Insights through Advanced Analytical Techniques (1st ed.) Shekhar, C., & Sinha, R.R. (Eds.), 133–152. CRC Press, 2024.
15. A. Gély, M. Couceiro, A. Napoli. Towards Distributivity in FCA for Phylogenetic Data. In: Missaoui, R., Kwuida, L., Abdessalem, T. (eds), , 225–-237, Complex Data Analytics with Formal Concept Analysis, Springer, Cham, 2022.
16. M. Couceiro, G. Meletiou, K. Skouri. Algebraic Based Techniques as Decision Making Tools. Nonlinear Analysis and Global Optimization, T. M. Rassias, P. M. Pardalos (eds.), 183–191, Optimization and Its Applications, Springer, 2021.
17. N. Juniarta, M. Couceiro, A. Napoli. Order-preserving Biclustering Based on FCA and Pattern Structures. Complex Pattern Mining: New Challenges, Methods and Applications, A. Appice, M. Ceci, C. Loglisci, G. Manco, E. Masciari, Z. W. Ras (eds.), 47–62, Studies in Computational Intelligence, Springer, 2020.
18. M. Couceiro, D. Dubois, H. Fargier, M. Grabisch, H. Prade, A. Rico. New directions in ordinal evaluation: Sugeno integrals and beyond. New Perspectives in Multiple Criteria Decision Making, M. Doumpos, J.R. Figueira, S. Greco, C. Zopounidis (eds.), 177–228, Multiple Criteria Decision Making, Springer, Cham, 2019.
19. M. Cardin, M. Couceiro. An ordinal approach to risk measurement, Mathematical and Statistical Methods for Actuarial Sciences and Finance, C. Perna, M. Siblio (eds.), 79–86, Springer-Verlag, 2012.

Peer-reviewed Journal Articles

20. F. Malaca, Y. Lepage, M. Couceiro. Bounds and approximations of analogical powers. To appear in International Journal of Approximate Reasoning, 2026.
21. D. García-Zamora, J.R. Figueira, M. Couceiro. A hybrid approach for building fuzzy numbers based on data and expert knowledge. Fuzzy Sets and Systems 542 (2026) 110000.
22. A. Baril, M. Couceiro, V. Lagerkvist. New Perspectives on Semiring Applications to Dynamic Programming. Discrete Applied Mathematics 383 (2026) 243–279
23. A. Baril, M. Couceiro, V. Lagerkvist. Improved Bounds for Twin-Width Parameter Variants with Algorithmic Applications to Counting Graph Colorings. Theory of Computing Systems 70(1) (2026) 12.
24. G. Dean Pelegrina, M. Couceiro, C. Torezzan, L. Tomazeli Duarte. Game-theoretic extensions of logistic regression. Theory and Decision 99 (2025) 71–95.
25. A. Baril, M. Couceiro, V. Lagerkvist. The Fine-Grained Complexity of Graph Homomorphism Problems: Towards the Okrasa and Rzazewski Conjecture. To appear in Journal of Multiple-Valued Logic and Soft Computing.
26. L. Jarnac, Y. Chabot, M. Couceiro. Uncertainty Management in the Construction of Knowledge Graphs: a Survey. Transactions on Graph Data and Knowledge 3(1) (2025) 1–48.
27. G. D. Pelegrina, M. Couceiro, L.T. Duarte. A statistical approach to detect disparity prone features in a group fairness setting, AI and Ethics, 5 (2025) 439–-452.
28. M. Munar, M. Couceiro, S. Massanet, D. Ruiz-Aguilera. A survey on the enumeration of classes of logical connectives and aggregation functions defined on a finite chain, with new results. Fuzzy Sets and Systems 490 (2024) 109023.
29. E. Marquer, M. Couceiro. Solving morphological analogies: from retrieval to generation. Annals of Mathematics and Artificial Intelligence 93:2 (2025) 263-298.
30. M. Couceiro, E. Lehtonen. Galois theory for analogical classifiers. Annals of Mathematics and Artificial Intelligence, 92:1 (2024) 29-47.
31. M. Couceiro, D. Duffus. The Mathematical Contributions of Maurice Pouzet. Order 41:1 (2024) 1-14.
32. M. Couceiro, E. Lehtonen. Stability of Boolean Function Classes with Respect to Clones of Linear Functions. Order 41:1 (2024) 15-64.
33. P. Andrieu, S. Cohen-Boulakia, M. Couceiro, A. Denise, A. Pierrot. A unifying rank aggregation framework to suitably and efficiently aggregate any kind of rankings. International Journal of Approximate Reasoning 162 (2023) 109035.
34. G. Alves, F. Bernier, M. Couceiro, K. Makhlouf, C. Palamidessi, S. Zhioua. Survey on fairness notions and related tensions. EURO Journal on Decision Processes 11 (2023) 100033.
35. M. Couceiro, L. Haddad, M. Pouzet. The mathematics of Ivo Rosenberg. Journal of Multiple-Valued Logic and Soft Computing 39:1 (2022) 5–25.
36. A. Bazin, M. Couceiro, M.-D. Devignes, A. Napoli. Steps towards causal Formal Concept Analysis. International Journal of Approximate Reasoning 142 (2022) 338–348.
37. M. Couceiro, J. Devillet, J.-L. Marichal, P. Mathonet. Reducibility of n–ary semigroups: from quasitriviality towards idempotency. Contributions to Algebra and Geometry 63:1 (2022) 149–166.
38. M. Couceiro, L. Haddad, V. Lagerkvist. A Survey on the Fine-grained Complexity of Constraint Satisfaction Problems Based on Partial Polymorphisms. Journal of Multiple-Valued Logic and Soft Computing 38:1–2 (2022) 115–136.
39. A. Gély, M. Couceiro, L. Miclet, A. Napoli. A study of algorithms relating distributive lattices, median graphs, and Formal Concept Analysis. International Journal of Approximate Reasoning 142 (2022) 370–382.
40. G. Preud'Homme, K. Duarte, K. Dalleau, C. Lacomblez, E. Bresso, M. Smaïl-Tabbone, M. Couceiro, M.-D. Devignes, M. Kobayashi, O. Huttin, J. P. Ferreira, F. Zannad, P. Rossignol, N. Girerd. Head-to-head comparison of clustering methods for heterogeneous data: a simulation-driven benchmark. Scientific Reports, Nature Publishing Group, 11:1 (2021) art. 4202, 14 pages.
41. Q. Brabant, M. Couceiro, D. Dubois, H. Prade, A. Rico. Learning rule sets and Sugeno integrals for monotonic classification problems. Fuzzy Sets and Systems, 401 (2020) 4–37.
42. M. Couceiro, E. Lehtonen, P. Mercuriali, R. Péchoux. On the efficiency of Normal Form Systems for representing Boolean functions. Theoretical Computer Science, 813 (2020) 341–361.
43. K. Dalleau, M. Couceiro, M. Smail-Tabbone. Unsupervised Extra Trees: A stochastic approach to compute similarities in heterogeneous data. International Journal of Data Science and Analytics, 9:4 (2020) 447–459.
44. Q. Brabant, M. Couceiro, J. Figueira. Interpolation by lattice polynomial functions: a polynomial time algorithm. Fuzzy Sets and Systems, 368 (2019) 101–118.
45. M. Couceiro, J. Devillet. Every quasitrivial n-ary semigroup is reducible to a semigroup. Algebra Universalis 80:4 (2019) No. 51, 19 p.
46. M. Couceiro, J. Devillet, J.-L. Marichal. Quasitrivial semigroups: characterizations and enumerations. Semigroup Forum 98:3 (2019) 472–498.
47. M. Couceiro, L. Haddad, K. Schölzel. On the Lower Part of the Lattice of Partial Clones. em Journal of Multiple-Valued Logic and Soft Computing 33:3 (2019) 177–196.
48. M. Couceiro, P. Mercuriali, R. Péchoux, A. Saffidine. On the complexity of minimizing median normal forms of monotone Boolean functions and lattice polynomials. Journal of Multiple-Valued Logic and Soft Computing, 33:3 (2019) 197–218.
49. M. Couceiro, M. Maróti, T. Waldhauser, L. Zádori. Computing version spaces in the qualitative approach to multicriteria decision aid. International Journal of Foundations of Computer Science, 30:2 (2019) 333–353
50. Q. Brabant, M. Couceiro. k-maxitive Sugeno integrals as aggregation models for ordinal preferences. Fuzzy Sets and Systems 343 (2018) 65–75.
51. M. Couceiro, J. Devillet, J.-L. Marichal. Characterizations of idempotent discrete uninorms. Fuzzy Sets and Systems 334 (2018) 60–72.
52. M. Couceiro, E. Lehtonen. Majors of functions. Order 35:2 (2018) 233–246.
53. M. Couceiro, G. Meletiou. On the number of essential arguments of homomorphisms between products of median algebras. Algebra Universalis, 79:4 (2018) Art. 85, 13 pages.
54. M. Couceiro, B. Teheux. Pivotal decomposition schemes inducing clones of operations. Contributions to Algebra and Geometry 59:1 (2018) 25–40.
55. J. Almeida, M. Couceiro, T. Waldhauser. On the topological semigroup of equational classes of finite functions under composition. Journal of Multiple-Valued Logic and Soft Computing 28:1 (2017) 5–28.
56. M. Couceiro, S. Foldes, G. Meletiou. On homomorphisms between products of median algebras. Algebra Universalis 18:4 (2017) 545–553.
57. M. Couceiro, M. Grabisch. On integer-valued means and the symmetric maximum. Aequationes Mathematicae 91:2 (2017) 353–371.
58. M. Couceiro, L. Haddad, K. Schölzel, T. Waldhauser. A solution to a problem of D. Lau : Complete classification of intervals in the lattice of partial Boolean clones (extended version). Journal of Multiple-Valued Logic and Soft Computing 28:1 (2017) 47–58.
59. M. Couceiro, L. Haddad, K. Schölzel, T. Waldhauser. On the interval of strong partial clones of Boolean functions containing Pol((0,0),(0,1),(1,0)). Algebra Universalis 77:1 (2017) 101–123.
60. M. Couceiro, G. Meletiou. On a special class of median algebras. Miskolc Mathematical Notes 18:1 (2017) 167–171.
61. M. Couceiro, D. Dubois, H. Prade, T. Waldhauser. Decision-making with Sugeno integrals. Bridging the gap between multicriteria evaluation and decision under uncertainty, Order 33:3 (2016) 517–535
62. M. Couceiro, L. Haddad, I. Rosenberg. Partial clones containing all Boolean monotone self-dual partial functions, Journal of Multiple-Valued Logic and Soft Computing 27:2–3 (2016) 183–192.
63. M. Couceiro, E. Lehtonen. On the arity gap of finite functions: results and applications, Journal Multiple-Valued Logic and Soft Computing 27:2–3 (2016) 193–207
64. M. Couceiro, J.-L. Marichal, B. Teheux. Conservative median algebras and semilattices, Order 33:1 (2016) 121–132
65. M. Couceiro, J.-L. Marichal, B. Teheux. Relaxations of associativity and preassociativity for variadic functions, Fuzzy Sets and Systems 229 (2016) 89–97
66. M. Couceiro, E. Lehtonen, K. Schölzel. Set-reconstructibility of Post classes, Discrete Applied Mathematics 187 (2015) 12–18
67. M. Couceiro, E. Lehtonen, K. Schölzel. A complete classification of equational classes of threshold functions included in clones, RAIRO - Operations Research 49:1 (2015) 39–66
68. M. Couceiro, E. Lehtonen, K. Schölzel. Hypomorphic Sperner systems and nonreconstructible monotone functions, Order 32:2 (2015) 255–292
69. M. Couceiro, E. Lehtonen, T. Waldhauser. A survey on the arity gap, Journal of Multiple-Valued Logic and Soft Computing 24:1–4 (2015) 223–249
70. M. Couceiro, E. Lehtonen, T. Waldhauser. On equational definability of function classes, Journal of Multiple-Valued Logic and Soft Computing 24:1–4 (2015) 203–222
71. M. Couceiro, T. Waldhauser. Pseudo-polynomial functions over finite distributive lattices, Fuzzy Sets and Systems 239 (2014) 21–34
72. M. Couceiro, E. Lehtonen, T. Waldhauser. Additive decomposition schemes for polynomial functions over fields, Novi Sad Journal of Mathematics 44:2 (2014) 89–105
73. M. Couceiro, M. Grabisch. On the poset of computation rules for nonassociative calculus, Order 30:1 (2013) 269–288
74. M. Couceiro, E. Lehtonen, T. Waldhauser. Additive decomposability of functions over Abelian groups, International Journal of Algebra and Computation 23:3 (2013) 643–662
75. M. Couceiro, E. Lehtonen, T. Waldhauser. Parametrized arity gap, Order 30:2 (2013) 557–572
76. M. Couceiro, J.-L. Marichal. Discrete integrals based on comonotonic modularity, Axioms 2:3 (2013) 390–403
77. M. Couceiro, T. Waldhauser. Interpolation by polynomial functions of distributive lattices: a generalization of a theorem of R. L. Goodstein, Algebra Universalis 69:3 (2013) 287–299
78. M. Behrisch, M. Couceiro, K. A. Kearnes, E. Lehtonen, Á. Szendrei. Commuting polynomial operations of distributive lattices, Order 29:2 (2012) 245–269
79. M. Couceiro, L. Haddad. Intersections of finitely generated maximal partial clones, Journal of Multiple-Valued Logic and Soft Computing 19:1–3 (2012) 85–94
80. M. Couceiro, E. Lehtonen. Galois theory for sets of operations closed under permutation, cylindrification and composition, Algebra Universalis 67:3 (2012) 273–297
81. M. Couceiro, E. Lehtonen, T. Waldhauser. Decompositions of functions based on arity gap, Discrete Mathematics 312 (2012) 238–247.
82. M. Couceiro, E. Lehtonen, T. Waldhauser. The arity gap of order-preserving functions and extensions of pseudo-Boolean functions, Discrete Applied Mathematics160 (2012) 383–390
83. M. Couceiro, J.-L. Marichal. Polynomial functions over bounded distributive lattices, Journal of Multiple-Valued Logic and Soft Computing 18 (2012) 247–256
84. M. Couceiro, J.-L. Marichal, T. Waldhauser. Locally monotone Boolean and pseudo-Boolean functions, Discrete Applied Mathematics 160:12 (2012) 1651–1660
85. M. Couceiro, J.-L. Marichal. Aczélian n-ary semigroups, Semigroup Forum 85:1 (2012) 81–90
86. M. Cardin, M. Couceiro. Invariant functionals on completely distributive lattices, textitFuzzy Sets and Systems 167:1 (2011) 45–56
87. M. Cardin, M. Couceiro, S. Giove, J.-L. Marichal. Axiomatizations of signed discrete Choquet integrals, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 19:2 (2011) 193–199
88. M. Couceiro, E. Lehtonen. Self-commuting lattice polynomial functions on chains, Aequationes Mathematicae 81:3 (2011) 263–278
89. M. Couceiro, J.-L. Marichal. Associative polynomial functions over bounded distributive lattices, Order 28:1 (2011) 1–8
90. M. Couceiro, J.-L. Marichal. Axiomatizations of Lovász extensions of pseudo-Boolean functions, Fuzzy sets and Systems 181:1 (2011) 28–38
91. M. Couceiro, J.-L. Marichal. Axiomatizations of quasi-Lovász extensions of pseudo-Boolean functions, Aequationes Mathematicae 82 (2011) 213–231
92. M. Couceiro, T. Waldhauser. Axiomatizations and factorizations of Sugeno Utility Functions, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 19:4 (2011) 635–658
93. M. Bouaziz, M. Couceiro, M. Pouzet. Join-irreducible Boolean functions, textitOrder 27:3 (2010) 261–282
94. M. Couceiro, J.-L. Marichal. Representations and characterizations of polynomial functions on chains, textitJournal of Multiple-Valued Logic and Soft Computing 16:1-2 (2010) 65–86
95. M. Couceiro, J.-L. Marichal. Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices, textitFuzzy Sets and Systems 161:5 (2010) 694–707
96. M. Couceiro, J.-L. Marichal. Quasi-polynomial functions over bounded distributive lattices, Aequationes Mathematicae 80 (2010) 319–334
97. M. Couceiro, S. Foldes. Function classes and relational constraints stable under compositions with clones, textitDiscussiones Mathematicae, General Algebra and Applications 29 (2009) 109–121
98. M. Couceiro, E. Lehtonen. Generalizations of Swierczkowski's lemma and the arity gap of finite functions, textitDiscrete Mathematics 309 (2009) 5905–5912
99. M. Couceiro, J.-L. Marichal. Axiomatizations of quasi-polynomial functions on bounded chains, textitAequationes Mathematicae 396:1 (2009) 195–213
100. M. Couceiro. On the lattice of equational classes of Boolean functions and its closed intervals, textitJournal of Multiple-Valued Logic and Soft Computing 18 (2008) 81–104
101. M. Couceiro, L. Hella, J. Kivelä. Term definable classes of Boolean functions and frame definability in modal logic, textitLogic Journal of the IGPL 16:1 (2008) 43–73
102. M. Couceiro, M. Pouzet. On a quasi-order on Boolean functions, textitTheoretical Computer Science 396 (2008) 71–87
103. M. Couceiro, S. Foldes. Functional equations, constraints, definability of function classes, and functions of Boolean variables, textitActa Cybernetica 18 (2007) 61–75
104. M. Couceiro, E. Lehtonen. On the effect of variable indentification on the essential arity of functions, textitInternational Journal of Foundations of Computer Science 18 (2007) 975–986
105. M. Couceiro. On Galois connections between external functions and relational constraints: arity restrictions and operator decompositions, textitActa Scientiarum Mathematicarum (Szeged) 72 (2006) 15–35
106. M. Couceiro, S. Foldes, E. Lehtonen. Composition of Post classes and normal forms of Boolean functions, textitDiscrete Mathematics 306 (2006) 3223–3243
107. M. Couceiro. Galois connections for generalized functions and relational constraints, textitContributions to General Algebra 16 (2005) 35–54
108. M. Couceiro, S. Foldes. On closed sets of relational constraints and classes of functions closed under variable substitutions, textitAlgebra Universalis 54 (2005) 149–165
109. M. Couceiro, S. Foldes. Definability of Boolean function classes by linear equations over GF(2), textitDiscrete Applied Mathematics 142 (2004) 29–34

Peer-reviewed Conference Articles

110. M. Couceiro, H. Prade, G. Richard. Symmetric sums in numerical proportional analogies. To appear in the Proc. SUM 2026.
111. S. Afantenos, M. Couceiro, E. Lorini, N.-E. Mbengue, V.-D. Ngo. Analogenesis: A Platform for Analogy Games with a Tiny AI Assistant. To appear in the Proc. SUM 2026 (Short papers).
112. S. Alsaidi, T. Brogueira, N. Mahlaoui, M. Vincent, G. Pelegrina, N. Garcelon, A. Coulet, M. Couceiro. Shapley Regression for Rare Disease Diagnosis Support: A Case Study on APDS. To appear in the Proc. IJCAI 2026.
113. V.-D. Ngo, S. Afantenos, E. Lorini, M. Couceiro. FrameNet Semantic Role Classification by Analogy. To appear LREC 2026.
114. V.-D. Ngo, S. Afantenos, M. Couceiro, E. Lorini. Learning Proportional Analogies: Lightweight Neural Network vs Large Language Models. ICAART 2026, 3592–3602.
115. F. Cunha, Y. Lepage, Z. Bouraoui, M. Couceiro. Generalizing Analogical Inference from Boolean to Continuous Domains. AAAI 2026, 19021–19029.
116. L. Jarnac, Y. Chabot, M. Couceiro. WikiConflict: A New Dataset for Conflicting Data Reconciliation in Knowledge Graph Construction. K-CAP 2025, 215-218.
117. L. Jarnac, Y. Chabot, M. Couceiro. TrustFuse: A Fusion Testbed for Uncertain Knowledge Reconciliation. K-CAP 2025, 219–222.
118. E. Marquer, F. Badra, M.-J. Lesot, M. Couceiro, D. Leake. EnergyCompress: A General Case Base Learning Strategy. IJCAI 2025, 4339-4346.
119. E. Dudyrev, M. Couceiro, M. Kaytoue, S. O. Kuznetsov, A. Napoli: Atomic Patterns for Efficient Computation with Pattern Structures. CONCEPTS 2025, 178-194
120. M. Elizabeth, M. Veyret, M. Couceiro, L. Rojas, O. Dušek. IWSDS 2025, 143–153, ACL.
121. E. Dina, R. Ayachi Kibech, M. Couceiro. EDAR: A pipeline for Emotion and Dialogue Act Recognition. COLING 2025 (industry track), 175–186.
122. A. Kulkarni, A. Kulkarni, M. Couceiro, I. Trancoso. Unveiling Biases while Embracing Sustainability: Assessing the Dual Challenges of Automatic Speech Recognition Systems. INTERSPEECH 2024, 4628-4632.
123. B. Conan-Guez, C. Theobald F. Pennerath, M. Couceiro, A. Napoli. Clarity: a Deep Ensemble for Visual Counterfactual Explanations. ESANN 2024, 655-660.
124. P. Epron, G. Guibon, M. Couceiro. ORPAILLEUR & SyNaLP at CLEF 2024 Task 2: Good Old Cross Validation for Large Language Models Yields the Best Humorous Detection. CLEF (Working Notes) 2024, 1841-1856.
125. R. Qureshi, N. Es-Sebbani, L. Galárraga, Y. Graham, M. Couceiro, Z. Bouraoui. REFINE-LM: Mitigating Language Model Stereotypes via Reinforcement Learning. ECAI 2024, 4027-4034.
126. P. Monnin, C.-H. Nousradine, L. Jarnac, L. Zuckerman, M. Couceiro. KGPRUNE: A Web Application to Extract Subgraphs of Interest from Wikidata with Analogical Pruning. ECAI 2024, 4495-4498.
127. G. Dean Pelegrina, M. Couceiro, L. Tomazeli Duarte. A preprocessing Shapley value-based approach to detect relevant and disparity prone features in machine learning. FAccT 2024, 279-289.
128. Y. Lepage, M. Couceiro. Analogie et moyenne généralisée. JIAF-JFPDA 2024 114-124
129. M. Fellaji, F. Pennerath, B. Conan-Guez, M. Couceiro. On the Calibration of Epistemic Uncertainty: Principles, Paradoxes and Conflictual Loss. ECML/PKDD (4) 2024, 160-176.
130. L. Jarnac, M. Couceiro, P. Monnin. Relevant Entity Selection: Knowledge Graph Bootstrapping via Zero-Shot Analogical Pruning. ACM CIKM 2023, 934–944.
131. G. Zervakis, E. Vincent, M. Couceiro, M. Schoenauer, E. Marquer . An Analogy based Approach for Solving Target Sense Verification. NLPIR 2022, 144–-151, ACM.
132. E. Marquer , S. Alsaidi, A. Decker, P.-A. Murena, M. Couceiro. A Deep Learning Approach to Solving Morphological Analogies. ICCBR 2022, 159–174. Springer LNCS vol. 13405.
133. Ambroise Baril, Miguel Couceiro, Victor Lagerkvist: An Algebraic Approach Towards the Fine-Grained Complexity of Graph Coloring Problems. IEEE ISMVL 2022, 94–99
134. S. Alsaidi, A. Decker, P. Lay, E. Marquer, P.-A. Murena, M. Couceiro. A Neural Approach for Detecting Morphological Analogies. IEEE DSAA 2021, 1–10.
135. G. Alves, M. Amblard, F. Bernier, M. Couceiro, A. Napoli. Reducing Unintended Bias of ML Models on Tabular and Textual Data. IEEE DSAA 2021, 1–10.
136. A. Bazin, M. Couceiro, M.-D. Devignes, A. Napoli. An Approach to Identifying the Most Predictive and Discriminant Features in Supervised Classification Problems. ICCS 2021, 48–56. Springer LNCS vol. 12879.
137. E. Calò, L. Jacqmin, T. Rosemplatt, M. Amblard, M. Couceiro, A. Kulkarni. GECko+: a Grammatical and Discourse Error Correction Tool. TALN 2021, 8–11.
138. C. Theobald, B. Arcelin, F. Pennerath, B. Conan-Guez, M. Couceiro, A. Napoli. A Bayesian Convolutional Neural Network for Robust Galaxy Ellipticity Regression. ECML/PKDD 2021, 135–150. Springer LNCS vol. 12979
139. G. Alves, V. Bhargava, M. Couceiro, A. Napoli. Making ML models fairer through explanations: the case of LimeOut. AIST 2020, 3–18. Springer LNCS vol. 12602.
140. M. Couceiro, E. Lehtonen. Linearly definable classes of Boolean functions. ALGOS 2020, 39–46, CEUR vol. 2925.
141. M. Couceiro, M. Grabisch. Monotonic computation rules for nonassociative calculus. ALGOS 2020, 59–66. CEUR vol. 2925.
142. M. Couceiro, G. Bonfante. Termination of graph rewriting systems through language theory. ALGOS 2020, 105–118. CEUR vol. 2925.
143. P. Monnin, E. Bresso, M. Couceiro, M. Smaïl-Tabbone, A. Napoli, A. Coulet. Tackling Scalling issues in mining path patterns from knowledge graphs: A preliminary study. ALGOS 2020, 39–46. CEUR vol. 2925.
144. M. Couceiro, E. Lehtonen, L. Miclet, H. Prade, G. Richard. When nominal analogical proportions do not fail. SUM 2020, 68–83. Springer LNCS vol. 12322.
145. P. Monnin, M. Couceiro, A. Napoli, A. Coulet. Knowledge Reconciliation of n-ary Relations. 25th International Conference on Conceptual Structures (ICCS 2020), 48–56. Springer LNCS vol. 12277.
146. A. Bazin, M. Couceiro, M.-D. Devignes, A. Napoli. Explaining Multicriteria Decision Making with Formal Concept Analysis. CLA 2020, 119–130. CEUR vol. 2668.
147. A. Gély, M. Couceiro, L. Miclet, A. Napoli. Steps in the Representation of Concept Lattices and Median Graphs. CLA 2020, 247–258. CEUR vol. 2668.
148. A. Abboud, A. Lahmadi, M. Rusinowitch, M. Couceiro, A. Bouhoula, M. Ayadi. Double Mask: An Efficient Rule Encoding for Software Defined Networking. IEEE ICIN 2020, 186–193.
149. K. Dalleau, M. Couceiro, M. Smail-Tabbone. Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs.IDA 2020, 132–144. Springer LNCS vol. 12080.
150. G. Alves, M. Couceiro, A. Napoli. Sélection de mesures de similarité pour les données catégorielles. EGC 2020, 325–332. RNTI E-36.
151. N. Juniarta, M. Couceiro, A. Napoli. A Unified Approach to Biclustering Based on Formal Concept Analysis and Interval Pattern Structure. DS2019, 51–60. Springer LNCS vol. 11828.
152. M. Couceiro, A. Napoli. Elements about Exploratory, Knowledge-Based, Hybrid, and Explainable Knowledge Discovery. ICFCA 2019, 3–16. Springer LNCS vol. 11511.
153. N. Juniarta, V. Codocedo, M. Couceiro, M. Kaytoue, A. Napoli. Pattern Structures for Identifying Biclusters with Coherent Sign Changes. ICFCA 2019, 1–13 (supplements).
154. M. Couceiro, L. Haddad, V. Lagerkvist. Fine-Grained Complexity of Constraint Satisfaction Problems through Partial Polymorphisms: A Survey. IEEE ISMVL 2019, 170–175.
155. M. Couceiro, L. Haddad, M. Pouzet. The Mathematics of Ivo Rosenberg. IEEE ISMVL 2019, 43–48.
156. N. Juniarta, M. Couceiro, A. Napoli. Application des Pattern Structures à la découverte de biclusters à changements de signes cohérents. EGC 2019, 285–290. RNTI E-35.
157. K. Dalleau, M. Couceiro, M. Smail-Tabbone. Les forêts d'arbres extrêmement aléatoires: utilisation dans un cadre non supervisé. EGC 2019, 395–400. RNTI E-35.
158. L. Amarù, E. Testa, M. Couceiro, O. Zografos, G. De Micheli, M. Soeken. Majority logic synthesis. ACM ICCAD 2018, paper 79.
159. M. Couceiro, N. Hug, H. Prade, G. Richard. Behavior of Analogical Inference w.r.t. Boolean Functions. IJCAI-ECAI 2018, 2057–2063.
160. N. Juniarta, M. Couceiro, A. Napoli, C. Raïssi. Sequence Mining within Formal Concept Analysis for Analyzing Visitor Trajectories. IEEE SMAP 2018, 19–24.
161. Q. Brabant, M. Couceiro, D. Dubois, H. Prade, A. Rico. Extracting Decision Rules from Qualitative Data via Sugeno Utility Functionals. IPMU 2018, 253–265. Springer CCIS vol. 853.
162. K. Dalleau, M. Couceiro, M. Smaïl-Tabbone. Unsupervised Extremely Randomized Trees. PAKDD 2018), 478–489. Springer LNCS vol. 10939.
163. A. Gély, M. Couceiro, A. Napoli. Steps Towards Achieving Distributivity in Formal Concept Analysis. CLA 2018, 105–116. CEUR vol. 2123.
164. N. Juniarta, M. Couceiro, A. Napoli, C. Raïssi. Sequential Pattern Mining using FCA and Pattern Structures for Analyzing Visitor Trajectories in a Museum. CLA 2018, 231–242. CEUR vol. 2123.
165. A. Gély, M. Couceiro, Y. Namir, A. Napoli. Contribution à l’étude de la distributivité d’un treillis de concepts. EGC 2018, 107–118. RNTI-E-34.
166. M. Couceiro, D. Dubois, H. Prade, A. Rico. Enhancing the expressive power of Sugeno integrals for qualitative data analysis. EUSFLAT/IWIFSGN, 534–547. Springer AFLT vol. 641.
167. M. Couceiro, N. Hug, H. Prade, G. Richard. Analogy-preserving functions: A way to extend Boolean samples. IJCAI 2017, 1575–1581.
168. Q. Brabant, M. Couceiro, A. Napoli, J. Reynaud. From meaningful orderings in the web of data to multi-level pattern structures. ISMIS 2017, 622–631. Springer LNCS vol. 10352.
169. M. Couceiro, P. Mercuriali, R. Péchoux, A. Saffidine. Median based calculus for lattice polynomials and monotone Boolean functions. IEEE ISMVL 2017, 37–42.
170. M. Couceiro, L. Haddad, K. Schölzel. On the nonexistence of minimal strong partial clones. IEEE ISMVL 2017, 82–87.
171. M. Couceiro, L. Haddad, V. Lagerqvist, B. Roy. On the interval of Boolean strong partial clones containing only projections as total operations. IEEE ISMVL 2017, 88–93.
172. M. Couceiro, J. Devillet, J.-L. Marichal. On idempotent discrete uninorms. AGOP 2017, 147–153. Springer AISC vol. 581.
173. Q. Brabant, M. Couceiro, F. Labernia, A. Napoli. Une approche de réduction de dimensionnalité pour l'agrégation de préférences qualitatives. EGC 2016, 345-350. RNTI E-30.
174. M. Couceiro, T. Waldhauser. Lattice-theoretic approach to version spaces in qualitative decision making. SLDS 2015, 234–238. Springer LNCS vol. 9047.
175. M. Couceiro, L. Haddad, M. Pouzet, K. Schölzel. Hereditary Rigid Relations. IEEE ISMVL 2015, 84–89.
176. M. Couceiro, B. Teheux. Clones of pivotally decomposable functions. IEEE ISMVL 2015, 195–198.
177. M. Couceiro, J.-L. Marichal, B. Teheux. Median preserving aggregation functions. AGOP 2015, 85–89.
178. M. Couceiro, L. Haddad, K. Schölzel, T. Waldhauser. Relation graphs and partial clones on a 2-element set. IEEE ISMVL 2014, 161–166.
179. M. Couceiro, J.-L. Marichal. Quasi-Lovász extensions on bounded chains. textitIPMU 2014, 199–205. Sringer CCIS vol. 442.
180. J. Almeida, M. Couceiro, T. Waldhauser. On the semigroup of equational classes of finite functions. IEEE ISMVL 2013, 243–247.
181. M. Couceiro, L. Haddad, K. Schölzel, T. Waldhauser. A complete solution to a problem by D. Lau on partial Boolean clones. IEEE ISMVL 2013, 123–128.
182. M. Couceiro, L. Haddad. A survey on intersections of maximal partial clones of Boolean partial functions. In the commemorative book to honour Ivo. G. Rosenberg at IEEE ISMVL 2012, 287–292, 2012.
183. M. Couceiro, J.-L. Marichal, T. Waldhauser. Hierarchies of local monotonicities and lattice derivatives for Boolean and pseudo-Boolean functions. IEEE ISMVL 2012, 262–267.
184. M. Couceiro, E. Lehtonen, T. Waldhauser. GAP vs. PAG. IEEE ISMVL 2012, 268–273.
185. M. Couceiro, J.-L. Marichal. Quasi-Lovász extensions and their symmetric counterparts. textitIPMU 2012, 178–187. Springer CCIS vol. 300.
186. M. Couceiro, D. Dubois, H. Prade, A. Rico, T. Waldhauser. General interpolation by polynomial functions of distributive lattices. textitIPMU 2012, 347–355.Springer CCIS vol. 299.
187. M. Couceiro, D. Dubois, H. Prade, T. Waldhauser. Decision making with Sugeno integrals: DMU vs. MCDM. ECAI 2012, 288–293. FAIA vol. 242.
188. M. Couceiro, E. Lehtonen, T. Waldhauser. A survey on the arity gap. IEEE ISMVL 2011, 277–281.
189. M. Couceiro, E. Lehtonen, T. Waldhauser. On equational definability of function classes. IEEE ISMVL 2011, 182–186.
190. M. Couceiro, J.-L. Marichal. Axiomatizations of the discrete Choquet integral and extensions, in the proceedings of EUSFLAT 2011, 830–835, 2011.
191. M. Couceiro, T. Waldhauser. Pseudo-polynomial functions over finite distributive lattices. textitECSQARU 2011, 545–556. Springer LNCS vol. 6717
192. M. Couceiro, E. Lehtonen. Characterization of classes of operations closed under permutation, cylindrification and composition. IEEE ISMVL 2010, 113–116.
193. M. Couceiro, E. Lehtonen. The arity gap of polynomial functions over bounded distributive lattices. IEEE ISMVL 2010, 117–121.
194. M. Couceiro, L. Haddad. Finitely generated maximal partial clones and their intersections. IEEE ISMVL 2010, 122–127.
195. M. Couceiro, E. Lehtonen. Explicit descriptions of bisymmetric Sugeno integrals. Computational Intelligence for Knowledge-Based Systems Design, Lecture Notes in Artificial Intelligence, vol. 6178, Springer-Verlag, 494–501, 2010.
196. M. Couceiro, J.-L. Marichal. Explicit descriptions of associative Sugeno integrals. textitIPMU 2010, 465–470. Springer CCIS vol. 80.
197. M. Couceiro, T. Waldhauser. Sugeno Utility Functions I: Axiomatizations. MDAI 2010, 79–90. Springer LNCS vol. 6408.
198. M. Couceiro, T. Waldhauser. Sugeno Utility Functions II: Factorizations. MDAI 2010, 91–103. Springer LNCS vol. 6408.
199. M. Couceiro, J.-L. Marichal. Polynomial functions on bounded chains. IFSA-EUSFLAT 2009, 525–530.
200. M. Couceiro, J.-L. Marichal. Quasi-polynomial functions on bounded chains. IFSA-EUSFLAT 2009, 531–536.
201. M. Couceiro, J.-L. Marichal. From Discrete Sugeno integrals to generalized lattice polynomial functions: axiomatizations and representations. AGOP 2009, 23–29.
202. M. Bouaziz, M. Couceiro, M. Pouzet. Irreducible Boolean functions. ROGICS 2008, 47–56.
203. M. Couceiro, E. Lehtonen. On the arity gap of finite functions: results and applications. ROGICS 2008, 65–72.
204. M. Couceiro, M. Pouzet. Equational definability and a quasi-order on Boolean functions. BFCA 2006, 157–174.
205. M. Couceiro, S. Foldes, E. Lehtonen. On the complexity of representing sets of vertices in the n-cube. ICNAAM 2005, 876–877.
206. M. Couceiro, S. Foldes, E. Lehtonen. On compositions of clones of Boolean functions. ICCMSE 2004, 849–851. VSP/Brill, Utrecht.

Peer-reviewed Workshop Articles

207. J. Pilimon, D. Ma, M. Couceiro, Y. Lepage. Agrégation par analogie : reconstruction et classification d’image. To appear in the proceedings of JIAF@PFIA 2026.
208. Francisco Malaca, Yves Lepage, Miguel Couceiro. Fonctions PAC-apprenables compatibles avec l’analogie numérique : premiers résultats théoriques et expérimentaux. To appear in the proceedings of JIAF@PFIA 2026.
209. G.D. Pelegrina, A. Kulkarni, M. Couceiro. Paralinguistics interpretability through Shapley Values in Emotion Recognition. To Appear MDAI'2026.
210. S. Alsaidi, M. Vincent, O. Boyer, N. Garcelon, M. Couceiro, A. Coulet. Comparing representations of long clinical texts for the task of patient-note identification. CL4Health@NAACL2025, 109–123.
211. J. Pilimon, M. Couceiro, Y. Lepage. Analogical pooling for image reconstruction. IARML@IJCAI 2025, 27–42.
212. N.-E. Mbengue, M. Couceiro, Y. Lepage, P. Monnin. Which Pairs to Choose? Exploring Analogical Competency for Knowledge Graph Pruning. IARML@IJCAI 2025, 43–59.
213. Y. Lepage, M. Couceiro. L'analogie numérique revisitée et étendue, précisée, rétrécie ou agrandie. JIAF-JFPDA 2025, 133–142.
214. P. Monnin, C.-H. Nousradine, L. Jarnac, L. Zuckerman, M. Couceiro. KGPrune: une application Web pour extraire des sous-graphes d’intérêt de Wikidata par élagage analogique. 1024 - Bulletin de la Société Informatique de France 24 (November 2024). Société Informatique de France.
215. Y. Lepage, M. Couceiro. Towards a unified framework of numerical analogies: Open questions and perspectives. IARML@IJCAI 2024, 47–58.
216. F. Olivier, M. Couceiro, Z. Bouraoui. Probing Large Language Models to Perform Analogical Transformation. IARML@IJCAI 2024, 75–80.
217. Y. Lepage, M. Couceiro. Analogie et moyenne généralisée. To appear in the proceedings of JIAF@PFIA 2024.
218. A. Kulkarni, A. Tokareva, R. Qureshi, M. Couceiro. The Balancing Act: Unmasking and Alleviating ASR Biases in Portuguese. LT-EDI@ACL 2024, 31–40.
219. E. Marquer, F. Badra, M.-J. Lesot, M. Couceiro, D. Leake. Less is Better: An Energy-Based Approach to Case Base Competence. ATA@ICCBR 2023, 27–42. CEUR vol. 3438.
220. E. Marquer, P.-A. Murena, M. Couceiro. Transferring Learned Models of Morphological Analogy. ATA@ICCBR 2022, 14–29. CEUR vol. 3389.
221. S. Alsaidi, M. Couceiro, E. Marquer, S. Quennelle, A. Burgun, N. Garcelon, A. Coulet. An analogy based framework for patient-stay identification in healthcare. ATA@ICCBR 2022, 68–80.CEUR vol. 3389.
222. P. Monnin, M. Couceiro. Interactions Between Knowledge Graph-Related Tasks and Analogical Reasoning: A Discussion. ATA@ICCBR 2022, 57–67. CEUR vol. 3389.
223. K. Chan, S. P. Kaszefski-Yaschuk, C. Saran, E. Marquer, M. Couceiro. Solving Morphological Analogies Through Generation. IARML@IJCAI-ECAI 2022, 29–39. CEUR vol. 3174
224. S. Alsaidi, M. Couceiro, S. Quennelle, A. Burgun, N. Garcelon, A. Coulet. Exploring Analogical Inference in Healthcare. IARML@IJCAI-ECAI 2022, 40-50. CEUR vol. 3174
225. M. Couceiro, E. Lehtonen. A Galois Framework for the Study of Analogical Classifiers. IARML@IJCAI-ECAI 2022, 51-61. CEUR vol. 3174
226. M. Couceiro. Analogical proportions: from Boolean to nominal and beyond... ISAIM 2022.
227. M. Amblard, M. Couceiro. A New Broad NLP Training from Speech to Knowledge. TeachingNLP@ACL 2021, 34–45.
228. G. Zervakis, E. Vincent, M. Couceiro, M. Schoenauer. On Refining BERT Contextualized Embeddings using Semantic Lexicons. MLSMKG@ECML/PKDD 2021. CEUR vol. 2997.
229. C. Theobald, B. Arcelin, F. Pennerath, B. Conan-Guez, M. Couceiro, A. Napoli. A Bayesian Neural Network based on Dropout Regulation. WUML@ECML/PKDD 2020, 12 pages.
230. V. Bhargava, M. Couceiro, A. Napoli. LimeOut: An Ensemble Approach To Improve Process Fairness. XKDD@ECML/PKDD 2020, 475–491. Springer CCIS vol. 1323
231. E. Marquer, A. Kulkarni, M. Couceiro. Embedding Formal Contexts Using Unordered Composition. FCA4AI@IJCAI-ECAI 2020, 7–18. CEUR vol. 2729.
232. A. Abboud and A. Lahmadi and M. Rusinowitch and M. Couceiro and A. Bouhoula. Minimizing range rules for packet filtering using a double mask representation. IEEE IFIP 2019, 1–2.
233. N. Juniarta, V. Codocedo, M. Couceiro, A. Napoli. Formal Concept Analysis for Identifying Biclusters with Coherent Sign Changes. SFC 2019, 35–40. HAL
234. N. Juniarta, V. Codocedo, M. Couceiro, A. Napoli. Biclustering Based on FCA and Partition Pattern Structures for Recommendation Systems. FCA4AI@IJCAI-ECAI 2018, 105–116. CEUR vol. 2149.
235. Q. Brabant, M. Couceiro, D. Dubois, H. Prade, A. Rico. Sugeno Integral for Rule-Based Ordinal Classification. LR@IJCAI-ECAI 2018, 2 pages.
236. N. Juniarta, M. Couceiro, A. Napoli, C. Raïssi. Sequence Mining within Formal Concept Analysis for Analyzing Visitor Trajectories. IEEE SMAP 2018), 19–24
237. N. Juniarta, V. Codocedo, M. Couceiro, A. Napoli. Biclustering Based on FCA and Partition Pattern Structures for Recommendation Systems. SFC 2018, 4 pages.
238. M. Couceiro, E. Lehtonen, P. Mercuriali, R. Péchoux, M. Soeken. Normal form systems generated by single connectives have mutually equivalent efficiency. DICE 2018, 5 pages.
239. M. Couceiro, D. Dubois, H. Prade, A. Rico. Intégrales de Sugeno généralisées en analyse de données. LFA 2017, 8 pages.
240. M. Couceiro, P. Mercuriali, R. Péchoux, A. Saffidine. Sur l’efficacité des systèmes de formes normales de fonctions Booléennes. LFA 2017, 8 pages.
241. M. Couceiro, J. Devillet, J.-L. Marichal. Sur les uninormes discrètes idempotentes. LFA 2017, 8 pages.
242. M. Couceiro, N. Hug, H. Prade, G. Richard. Fonctions préservées par analogie : une méthode pour étendre des données booléennes. Proceedings of IAF 2017, 9 pages.
243. K. Dalleau, M. Couceiro, M.-D. Devignes, C. Raïssi, M. Smaïl-Tabbone. Using aggregation functions on structured data: a use case in the FIGHT-HF project. ISAS 2016, 2 pages.
244. Q. Brabant, M. Couceiro. Apprentissage d'intégrales de Sugeno à partir de données inconsistantes. LFA 2016, 49–56.
245. M. Couceiro, J.-L. Marichal, B. Teheux. Agrégation des valeurs médianes et fonctions compatibles pour la comparaison. LFA 2015, 163–168.
246. Q. Brabant, M. Couceiro. Axiomatisation des intégrales de Sugeno k-maxitives. LFA 2015, 179–186.
247. M. Couceiro, B. Teheux. An Arrow-like theorem over conservative median algebras. DA2PL 2014, 72–75.
248. M. Couceiro, E. Lehtonen, K. Schötzel. Sur des classes de fonctions à seuil caractérisables par des contraintes relationnelles. LFA 2013, 145–152.
249. M. Couceiro, J.-L. Marichal. On comonotonically modular functions, in the proceedings of the LINZ 2013, 16–20.
250. M. Couceiro and J.-L. Marichal, Quasi-extensions de Lovász et leur version symétrique. LFA 2012, 34–41.
251. D. Bouyssou, M. Couceiro, C. Labreuche, J.-L. Marichal, B. Mayag. Using Choquet integral in Machine Learning: what can MCDA bring? DA2PL 2012, 41–47.
252. M. Couceiro, E. Lehtonen, J.-L. Marichal, T. Waldhauser. An algorithm for producing median normal form representations for Boolean functions. Reed–Muller Workshop 2011, 49–54.
253. M. Couceiro, E. Lehtonen, T. Waldhauser. On the arity gap of aggregation functions. LINZ 2011, 25–28.
254. M. Couceiro, J.-L. Marichal. On three properties of the discrete Choquet integral. LINZ 2011, 29–32.
255. M. Couceiro, J.-L. Marichal. Characterizations of discrete Sugeno integrals as lattice polynomial functions LINZ 2009, 17–20.
256. M. Couceiro, S. Foldes. Linear functional equations and linear predicates for Boolean function classes. Kalmár Workshop on Logic and Computer Science, 89–98, 2003. bigskip

Open Source Tools, Datasets & Other Publications

257. L. Jarnac, Y. Chabot, M. Couceiro. TrustFuse & WikiConflict: Experimenting with Knowledge Fusion for Knowledge Graphs: A Versatile Playground. https://github.com/Orange-OpenSource/trustfuse
258. N.-E. Mbengue, L. Zuckerman, M. Couceiro, P. Monnin: Wikidata Thematic Subgraph Selection - An Artwork Dataset for experiments. https://zenodo.org/records/15600971
259. M. Munar, M. Couceiro, S. Massanet, D. Ruiz-Aguilera. Discrete Dataset - A dataset for computing with operators defined on a finite chain. https://zenodo.org/records/10184482
260. KGPrune: a tool for extracting subgraphs of Wikidata related to input entities of interest to you. Coordinator with C. H. Nousradine, L. Jarnac and P. Monnin.
261. L. Jarnac, M. Couceiro, P. Monnin. Wikidata Thematic Subgraph Selection. https://zenodo.org/records/8091584
262. E. Marquer, M. Couceiro, S. Alsaidi, A. Decker. Siganalogies - morphological analogies from Sigmorphon 2016 and 2019. doi:10.12763/MLCFIE
263. ANNa: a tool for multilingual morphological analogy detection and resolution. Coordinator with E. Marquer.
264. FixOut: FaIrness through eXplanations and feature dropOut. Coordinator with G. Alves.

Platforms & Projects

Open-source tools

• KGPrune – a web application for extracting subgraphs of interest from Wikidata using analogical pruning. Coordinator, with C.-H. Nousradine, L. Jarnac and P. Monnin.
• TrustFuse & WikiConflict – a versatile playground for experimenting with knowledge fusion for knowledge graphs, with L. Jarnac and Y. Chabot.
• ANNa – a tool for multilingual morphological analogy detection and resolution. Coordinator, with E. Marquer.
• FixOut – FaIrness through eXplanations and feature dropOut. Coordinator, with G. Alves.

European projects

• 2019–2022 – H2020 ICT–48: Trustworthy AI Integrating Learning, Optimization and Reasoning (TAILOR). Coord.: F. Heintz.
• 2016–2018 – H2020: Management and dissemination of cross-cultural heritage knowledge in Europe (CrossCult). Leader: LIST Luxembourg.

French national projects (coordination and participation)

• 2023–2027 – ANR Project: Intrinsic and Extrinsic evaluation of biases in large language models (InExtenso). Coord.: K. Fort.
• 2023–2026 – ANR Project: Analogies: from Theory to Tools and Applications (AT2TA). Coord.: M. Couceiro (PI).
• 2023–2026 – ANR Project: ResIlienCe to reCurrent HEat Stresses in plants (Ricochets). Coord.: Christine Granier. (Local PI: M. Couceiro.)
• 2022–2025 – ANR Project: Formal Concept Analysis: A Smart Tool for Analyzing Complex Data (SmartFCA). Coord.: M. Huchard.
• 2019–2022 – Inria Project Lab (IPL): Hybrid Approaches for Interpretable Artificial Intelligence (HyAIAI). Coord.: E. Fromont.
• 2017–2021 – ANR Project: Enhancing Link Keys: Extraction and Reasoning (ELKER). Coord.: M. Atencia.
• 2016–2020 – RHU Project: Fighting Heart Failure (FIGHT-HF). Coord.: P. Rossignol.
• 2017–2018 – Mastodons Project: Quality in Consensualizing and Mining biological and chemical datasets (QCM-BioChem). Coord.: S. Cohen Boulakia.
• 2016–2018 – LabEx Project, Centre International de Mathématiques et Informatique de Toulouse (CIMI): Intégrale de Sugeno, interpolation, et proportion analogique (ISIPA). Coord.: H. Prade.
• 2015–2016 – CNRS PEPS-FaSciDo Project: Fouille interactive fondée sur les préférences utilisateur (Prefute). Coord.: B. Crémilleux.
• 2015 – CNRS PEPS-FaSciDo Project: Approche ordinale pour la prédiction de préférences (ApprOPPre). Coord.: M. Couceiro.
• 2012–2015 – Internal research project, University of Luxembourg: Mathematics Research in Decision Making and Operations Research (MRDO2). Coord.: J.-L. Marichal.
• 2009–2011 – Internal research project, University of Luxembourg: Mathematics Research in Decision Making and Operations Research (MRDO). Coord.: J.-L. Marichal.
• 2008–2011 – Internal research project, University of Luxembourg: Recherches mathématiques en sciences de la décision (RMSD). Coord.: R. Bisdorff.

Scientific honours and awards

• Best paper award, Interspeech 2024 Special Session “Responsible Speech Foundational Models”: Unveiling Biases while Embracing Sustainability: Assessing the Dual Challenges of Automatic Speech Recognition Systems.
• Distinguished Reviewer Award, 33rd ACM International Conference on Information and Knowledge Management (CIKM 2024).
• Prime d’encadrement doctoral et de recherche (rank A), 2020–2023.
• Best Paper Award: Steps in the Representation of Concept Lattices and Median Graphs, CLA 2020.
• Délégation CNRS, 2018–2019.
• Future Leader – Lorraine Université d’Excellence (LUE): MetaKD – Defining meta-mining for exploration of complex and heterogeneous data, 2018.
• Outstanding Contributed Paper Award: Relation graphs and partial clones on a 2-element set, IEEE ISMVL 2014.
• Sampo-Varma Prize, Finnish Mathematical Society, 2003.
• Best Master’s Thesis in Mathematics, University of Tampere, 2002.

Contact Information

Address

Instituto Superior Técnico
Av. Rovisco Pais, 1
1049-001 Lisboa, Portugal

Previous contact (LORIA, until 2024)

Email: miguel.couceiro @ {inria,loria}.fr
LORIA, Campus Scientifique BP 239
655 Rue du Jardin Botanique
54506 Vandoeuvre-lès-Nancy, France

Teaching and Supervision

Please select Animation, Teaching, or Supervision from the navigation menu above to view the respective details.