Partenaires
Accueil du site > Prix et récompenses
Prix et récompenses
Collègues distingués
Pierre Marquis nommé ECCAI Fellow 2009
Communications internationales primées
SAT 2011 Best paper award Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, On freezeing and reactivating learnt clauses. in Fourteenth International Conference on Theory and Applications of Satisfiability Testing (SAT’11), pp. 188-200, june 2011.
CP 2009 Runner-up as best paper Lecoutre Christophe, Roussel Olivier, Failed Value Consistencies for Constraint Satisfaction, dans 15th International Conference on Principles and Practice of Constraint Programming (CP’09), LNCS 5732, Springer, pp. 554-568, septembre 2009.
Ramamoorthy Best Paper Award Hamadi Youssef, Jabbour Said, Saïs Lakhdar, Learning for Dynamic Subsumption, dans 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI’09), IEEE Computer Society, pp. 328-335, novembre 2009.
Best Student Paper Award Benferhat Salem, Tabia Karim, Novel and anomalous behavior detection using Bayesian network classifiers, Prceedings of the International Conference on Security and Cryptography (SECRYPT’08), Springer, pp. 13-20, 2008.
[AAAI 2007 distinguished paper (46 papiers distingués sur 921 soumis). Lecoutre Christophe, Cardon Stéphane, Vion Julien, Conservative Dual Consistency, dans 22nd Conference on Artificial Intelligence (AAAI’07), pp. 237-242, juillet 2007.
Ray Reiter Award. S. Coste-Marquis, J. Lang, P. Liberatore and P. Marquis Expressive Power and Succinctness of Propositional Languages for Preference Representation. Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR’04), Whistler, 2004 (203-212).
IJCAII-JAIR Best Paper Award 2006 A. Darwiche and P. Marquis A Knowledge Compilation Map Journal of Artificial Intelligence Research 17:229-264, Morgan Kaufmann, 2002.
Communications nationales primées
Prix du meilleur papier à AFIA’11 P. Besnard, É. Grégoire, C. Piette, B. Raddaoui, Génération d’arguments et contre-arguments par calcul de MUS, dans 10e Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA’11), pp.827-840.
Prix du meilleur papier en intelligence artificielle à RFIA’04. S. Konieczny, J . Lang et P. Marquis Raisonnement en présence d’incohérence : le connecteur oublié Actes du 14e Congrès AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA’04), Toulouse, 2004 (1091-1100).
Prix du meilleur papier en intelligence artificielle à RFIA’02. S. Coste-Marquis, H. Fargier, J . Lang, D. Le Berre et P. Marquis Résolution de formules booléennes quantifiées : problèmes et algorithmes Actes du 13e Congrès AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA’02), Angers, 2002 (289-298).
Logiciels primés
Ppfolio est revenu avec 16 médailles de la competition SAT 2011.
- Une médaille d’argent et une 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.
Glucose Une médaille d’or et une médaille d’argent aux compétitions internationales de prouveurs SAT 2009 et SAT 2011
LySat Deux médailles de bronze à la compétition internationale de prouveurs SAT 2009
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 2006 (résolvant le plus d’instances).
ValCSP a été classé premier dans la catégorie CSP binaire en
extension de la compétition CSP 2006.