Best Paper Award

Salem Benferhat, Hadja Faiza Khellaf-Haned et Ismahane Zeddighai
« On the Decomposition of Min-based Possibilistic Influence Diagrams »
8th International Conference on Agents and Artificial Intelligence (ICAART'16)

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)

Best Theoretical AI Paper Award

E. Grégoire, J.-M. Lagniez, B. Mazure
« Questioning the Importance of WCORE-like Minimization Steps in MUC-finding Algorihtms »
25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI’13).

Runner-up as Best Student Paper

S. Jabbour, B. Raddaoui
« Measuring inconsistency through minimal proofs »
12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’13).

Best Paper Award

G. Audemard, J.-M. Lagniez, B. Mazure, L. Saïs
« On freezeing and reactivating learnt clauses »
14th International Conference on Theory and Applications of Satisfiability Testing (SAT’11)

Nominated for Best Paper

J.-F. Condotta, C. Lecoutre
« A Class of df-consistencies for Qualitative Constraint Networks »
12th International Conference on the Principles of Knowledge Representation and Reasoning (KR’10).

Nominated for Best Paper Award

P. Everaere, S. Konieczny, P. Marquis
« The epistemic view of belief merging :can we track the truth ? »
19th European Conference on Artificial Intelligence (ECAI’10). (607 soumissions, 134 papiers acceptés, 7 papiers nominés).

Ramamoorthy Best Paper Award

Y. Hamadi, S.Jabbour, L. Saïs
« Learning for Dynamic Subsumption »
21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI’09).

Runner-up as Best Paper

C. Lecoutre, O. Roussell
« Failed Value Consistencies for Constraint Satisfaction »
15th International Conference on Principles and Practice of Constraint Programming (CP’09).

Best Student Paper Award

S. Benferhat, K. Tabia
« Novel and anomalous behavior detection using Bayesian network classifiers »
International Conference on Security and Cryptography (SECRYPT’08).

Distinguished Paper

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

Ray Reiter Award

S. Coste-Marquis, J. Lang, P. Liberatore, P. Marquis
« Expressive Power and Succinctness of Propositional Languages for Preference Representation »
9th International Conference on Principles of Knowledge Representation and Reasoning (KR’04).

Best Paper Award

A. Darwiche, P. Marquis
« A Knowledge Compilation Map »
Journal of Artificial Intelligence Research volume 17, 2002.

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)

Best Paper Award

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).

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).

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).

  • 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.
  • 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.