Nombre de documents

14

CV de Willy Lesaint


Communication dans un congrès11 documents

  • Thi-Bich-Hanh Dao, Willy Lesaint, Christel Vrain. Clustering conceptuel et relationnel en programmation par contraintes. JFPC 2015, Jun 2015, Bordeaux, France. <hal-01151527>
  • Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier, Willy Lesaint. Property Grammar Parsing Seen as a Constraint Optimization Problem. Proceedings of the 15th International Conference on Formal Grammar (FG 2010), Aug 2010, Copenhagen, Denmark. pp.82-96, 2010. <hal-00504684>
  • Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier, Willy Lesaint. Une modélisation en CSP des grammaires de propriétés. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.123-132, 2010. <inria-00520308>
  • Gérard Ferrand, Willy Lesaint, Alexandre Tessier. Explanations and Proof Trees. Thomas R. Roth-Berghofer and Stefan Schultz and Andrea Woody. International Symposium on Explanation-Aware Computing, ExaCt 2005, 2005, United States. AAAI Press, pp.76-85, 2005. <hal-00085549>
  • Gérard Ferrand, Willy Lesaint, Alexandre Tessier. Explanations to Understand the Trace of a Finite Domain Constraint Solver. 14th Workshop on Logic Programming Environments, 2004, Saint-Malo, France. pp.19-33, 2004. <hal-00085550>
  • Gérard Ferrand, Willy Lesaint, Alexandre Tessier. Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines Finis. Frédéric Mesnard. Treizièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes, 2004, France. HERMES, pp.37-53, 2004. <hal-00085554>
  • Gérard Ferrand, Willy Lesaint, Alexandre Tessier. Towards declarative diagnosis of constraint programs over finite domains. Michiel Ronsse. Fifth International Workshop on Automated Debugging, AADEBUG2003, 2003, Ghent, Belgium. pp.159-170, 2003. <hal-00459189>
  • Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, et al.. Correctness of Constraint Retraction Algorithms. Ingrid Russell and Susan Haller. FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, 2003, United States. AAAI Press, pp.172-176, 2003. <hal-00085555>
  • Willy Lesaint. Value Withdrawal Explanations: a Theoretical Tool for Programming Environments. 12th Workshop on Logic Programming Environments, 2002, Denmark. pp.17-33, 2002. <hal-00459195>
  • Gérard Ferrand, Willy Lesaint, Alexandre Tessier. Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. Moreno Falashi. 11th International Workshop on Functional and (Constraint) Logic Programming, 2002, Grado, Italy. pp.211-224, 2002. <hal-00459199>
  • Gerard Ferrand, Willy Lesaint, Alexandre Tessier. Value Withdrawal Explanation in CSP. Fourth International Workshop on Automated Debugging, AADEBUG, 2000, Munich, Germany. <hal-00459217>

Autre publication1 document

  • Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier, Willy Lesaint. Une Modélisation des Grammaires de Propriétés sous forme de Problème de Satisfaction de Contraintes. 6e Journée Informatique de la Région Centre (JIRC). 2010. <hal-00533022>

Article dans une revue2 documents

  • Gérard Ferrand, Willy Lesaint, Alexandre Tessier. Explanations and Proof Trees. Computing and Informatics, Slovak University Press, Bratislava, 2006, 25, pp.105-125. <hal-00085545>
  • Gérard Ferrand, Willy Lesaint, Alexandre Tessier. Theoretical foundations of value withdrawal explanations for domain reduction. Electronic Notes in Theoretical Computer Science, Elsevier, 2002, 76, pp.99-114. <hal-00514500>