Prix et récompenses


2021 Best Student Paper Award

Stefan Mengel, Alexis de Colnet,
« Characterizing Tseitin-Formulas with Short Regular Resolution Refutations »
24th International Conference Theory and Applications of Satisfiability Testing - SAT 2021

2021 Best Paper Award

Yixiao Wang, Zied Bouraoui, Luis Espinosa Anke, Steven Schockaert
« Deriving Word Vectors from Contextualized Language Models using Topic-Aware Mention Selection »
6th Workshop on Representation Learning for NLP (RepL4NLP-2021)

2020 Distinguished paper

Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis, Valentin Montmirail,
« Consolidating Modal Knowledge Bases »
24th European Conference on Artificial Intelligence (ECAI'20)

2020 ACM SIGMOD Research Highlight Award

Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth,
« Constant-Delay Enumeration for Nondeterministic Document Spanners »
SIGMOD record

2019 Best paper award runner-up

Na Li, Zied Bouraoui, Steven Schockaert,
« Ontology Completion Using Graph Convolutional Networks. »
18th International Semantic Web Conference (ISWC 2019)

2018 Area Chair Favorites

Zied Bouraoui, Shoaib Jameel, Steven Schockaert,
« Relation Induction in Word Embeddings Revisited »
27th International Conference on Computational Linguistics (COLING'18)

2015 Best Paper Award

Dragan Doder, Srdjan Vesic
« How to Decrease and Resolve Inconsistency of a Knowledge Base? »
7th International Conference on Agents and Artificial Intelligence (ICAART'15)

2013 Runner-up as Best Student Paper

Said Jabbour, Badran Raddaoui,
« Measuring Inconsistency Through Minimal Proofs »
12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'13)

2013 Best Theoretical AI Paper Award

Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure,
« Questioning the Importance of WCORE-like Minimization Steps in MUC-finding Algorithms »
15th International Conference on Tools with Artificial Intelligence (ICTAI'13)

2011 Best Paper Award

Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs,
« On freezeing and reactivating learnt clauses »
14th International Conference on Theory and Applications of Satisfiability Testing (SAT'11)

2010 Nominated for Best Paper Award

Patricia Everaere, Sébastien Konieczny, Pierre Marquis,
« The epistemic view of belief merging: can we track the truth? »
ECAI'2010 -- Lisbon (Portugal) -- August 16-20, 2010

2010 Nominated for Best Paper

Jean-Francois Condotta, Christophe Lecoutre,
« A Class of df-consistencies for Qualitative Constraint Networks »
12th International Conference on Principles of Knowledge Representation and Reasoning (KR'10)

2009 Runner-up as Best Paper

Christophe Lecoutre, Olivier Roussel,
« Failed Value Consistencies for Constraint Satisfaction »
15th International Conference on Principles and Practice of Constraint Programming (CP'09)

2009 Ramamoorthy Best Paper Award

Youssef Hamadi, Said Jabbour, Lakhdar Saïs,
« Learning for Dynamic Subsumption »
21st International Conference on Tools with Artificial Intelligence (ICTAI'09)

2008 Best Student Paper Award

Salem Benferhat, Karim Tabia,
« Novel and anomalous behavior detection using Bayesian network classifiers »
International Conference on Security and Cryptography(SECRYPT'08)

2007 Distinguished Paper

C. Lecoutre, S. Cardon, J. Vion
« Conservative Dual Consistency »
22nd International Conference on Artificial Intelligence (AAAI’07).

2004 Ray Reiter Award

Sylvie Coste-Marquis, J. Lang, P. Liberatore, Pierre Marquis,
« Expressive power and succinctness of propositional languages for preference representation »
Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-04)

2002 Best Paper Award

Adnan Darwiche, Pierre Marquis,
« A Knowledge Compilation Map »
Journal of Artificial Intelligence Research

1998 Best Paper Award

Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais
« Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach »
8th International Conference Artificial Intelligence: Methodology, Systems, and Applications (AIMSA'98)

2021 Accessit au prix de thèse en Intelligence Artificielle

Romain Wallon
« Raisonnement à partir de contraintes pseudo-booléennes et compilation »
Association Française pour l'Intelligence Artificielle.

2017 Prix du meilleur papier étudiant

Gaël Glorian
« Combinaison de nogoods extraits au redémarrage »
Treizièmes Journées Francophones de Programmation par Contraintes.

2017 Prix de Thèse en Intelligence Artificielle (ex-aequo)

Eric Piette
« Une nouvelle approche au General Game Playing dirigée par les contraintes »
Association Française pour l'Intelligence Artificielle.

2016 Prix de la meilleure contribution et présentation étudiante

Eric Piette
Programmation par contraintes stochastiques pour le General Game Playing avec informations incomplètes
Douzièmes Journées Francophones de Programmation par Contraintes (JFPC)

2011 Meilleur Article RJCIA 2011

P. Besnard, É. Grégoire, C. Piette, B. Raddaoui
« Génération d’arguments et contre-arguments par calcul de MUS »
10e Rencontres des Jeunes Chercheurs en Intelligence Artificielle (AFIA/RJCIA’11).

2004 Prix du meilleur papier en intelligence artificielle

S. Konieczny, J. Lang, P. Marquis
« Raisonnement en présence d’incohérence : le connecteur oublié »
14e Congrès AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA’04).

2002 Prix du meilleur papier en intelligence artificielle

S. Coste-Marquis, H. Fargier, J . Lang, D. Le Berre, P. Marquis
« Résolution de formules booléennes quantifiées : problèmes et algorithmes »
13e Congrès AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA’02).

  • crustabri Crustabri s’est adjugé les meilleurs résultats dans la track principale de l'International Competition on Computational Models of Argumentation (ICCMA'23) en remportant 9 des 13 subtracks ainsi que dans la track dynamique en remportant l’ensemble des 3 subtracks.
  • Lors de la 4ème compétition MC’23, d4 a gagné la track « Projected Model Counting Ranking A+B: Exact(arb) » et s’est classé 2ème de la track « Model Counting Ranking A+B: Exact », 2ème de la track « Weighted Model Counting Ranking B: Exact(small) », et 2ème de la track « Projected Weighted Model Counting Ranking B: Exact(small) ».
  • Lors de la 3ème compétition MC’22, d4 s’est classé 3ème de la track « Weighted Model Counting Ranking B: Exact(small) », et 2ème de la track « Projected Model Counting Ranking A: Exact(arb) ».
  • Lors de la 2ème compétition MC’21, d4 s’est classé 2ème de cette même track, mais aussi 2ème de la track « Projected Model Counting », 3ème de la track « Model Counting » et 3ème de la track «Model Counting (harder/low confidence)».
  • d4 a été classé premier à la première compétition internationale de comptage de modèles (MCC'20), catégorie comptage pondéré (WMC)
  • NACRE a été classé premier dans la catégorie mini-solveur CSP de la compétition internationale XCSP’18.
  • Woodstock a remporté la compétition internationale de General Game Playing 2016.
  • CoQuiAAS a obtenu le premier prix lors de la première compétition d'argumentation International Competition on Computational Models of Argumentation.
  • Ppfolio a obtenu 16 médailles lors de la competition SAT’11.
  • Glucose a obtenu 9 médailles (4 médailles d’or, 3 médailles d’argent et 2 médailles de bronze) lors des compétitions internationales de prouveurs SAT’09, SAT’11 et SAT’13
  • ManySat :
    • médaille d’argent et médaille de bronze à la Sat Race 2010,
    • prix spécial du jury à la compétition internationale de prouveurs SAT 2009,
    • vainqueur de la Sat Race 2008 dans la catégorie prouveurs parallèles.
  • LySat a obtenu 2 médailles de bronze à la compétition internationale de prouveurs SAT’09
  • Le solveur PENELOPE a été classé second de la catégorie "applications - instances UNSAT" et second de la catégorie "applications - instances SAT+UNSAT" à la compétition SAT’09.
  • PRESAT a été le meilleur solveur (phase de qualification) et sixième lors de la phase finale, "Track séquentiel", de la SAT-Race’08.
  • ACE(Abscon) 109 classé premier dans la catégorie "instances non binaires en extension", deuxième dans les catégories "non binaires en intension" et "contraintes globales", troisième dans la catégorie "binaire en intension". Prouveur le plus robuste de la compétition CSP’06 (résolvant le plus d’instances).
  • ValCSP a été classé premier dans la catégorie CSP binaire en extension de la compétition CSP’06.