Search - Archive ouverte HAL Access content directly

Filter your results

14 Results
Image document

Explanations and Proof Trees

Gérard Ferrand , Willy Lesaint , Alexandre Tessier
Computing and Informatics, 2006, 25, pp.105-125
Journal articles hal-00085545v1
Image document

Explanations to Understand the Trace of a Finite Domain Constraint Solver

Gérard Ferrand , Willy Lesaint , Alexandre Tessier
14th Workshop on Logic Programming Environments, 2004, Saint-Malo, France. pp.19-33
Conference papers hal-00085550v1
Image document

Towards declarative diagnosis of constraint programs over finite domains

Gérard Ferrand , Willy Lesaint , Alexandre Tessier
Fifth International Workshop on Automated Debugging, AADEBUG2003, 2003, Ghent, Belgium. pp.159-170
Conference papers hal-00459189v1
Image document

Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines Finis

Gérard Ferrand , Willy Lesaint , Alexandre Tessier
Treizièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes, 2004, France. pp.37-53
Conference papers hal-00085554v1
Image document

Correctness of Constraint Retraction Algorithms

Romuald Debruyne , Gérard Ferrand , Narendra Jussien , Willy Lesaint , Samir Ouis et al.
FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, 2003, United States. pp.172-176
Conference papers hal-00085555v1
Image document

Explanations and Proof Trees

Gérard Ferrand , Willy Lesaint , Alexandre Tessier
International Symposium on Explanation-Aware Computing, ExaCt 2005, 2005, United States. pp.76-85
Conference papers hal-00085549v1
Image document

Value Withdrawal Explanations: a Theoretical Tool for Programming Environments

Willy Lesaint
12th Workshop on Logic Programming Environments, 2002, Denmark. pp.17-33
Conference papers hal-00459195v1
Image document

Une modélisation en CSP des grammaires de propriétés

Denys Duchier , Thi-Bich-Hanh Dao , Yannick Parmentier , Willy Lesaint
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.123-132
Conference papers inria-00520308v1
Image document

Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction

Gérard Ferrand , Willy Lesaint , Alexandre Tessier
11th International Workshop on Functional and (Constraint) Logic Programming, 2002, Grado, Italy. pp.211-224
Conference papers hal-00459199v1

Une Modélisation des Grammaires de Propriétés sous forme de Problème de Satisfaction de Contraintes

Denys Duchier , Thi-Bich-Hanh Dao , Yannick Parmentier , Willy Lesaint
2010
Other publications hal-00533022v1
Image document

Theoretical foundations of value withdrawal explanations for domain reduction

Gérard Ferrand , Willy Lesaint , Alexandre Tessier
Electronic Notes in Theoretical Computer Science, 2002, 76, pp.99-114
Journal articles hal-00514500v1

Value Withdrawal Explanation in CSP

Gerard Ferrand , Willy Lesaint , Alexandre Tessier
Fourth International Workshop on Automated Debugging, AADEBUG, 2000, Munich, Germany
Conference papers hal-00459217v1

Clustering conceptuel et relationnel en programmation par contraintes

Thi-Bich-Hanh Dao , Willy Lesaint , Christel Vrain
JFPC 2015, Jun 2015, Bordeaux, France
Conference papers hal-01151527v1

Property Grammar Parsing Seen as a Constraint Optimization Problem

Denys Duchier , Thi-Bich-Hanh Dao , Yannick Parmentier , Willy Lesaint
Proceedings of the 15th International Conference on Formal Grammar (FG 2010), Aug 2010, Copenhagen, Denmark. pp.82-96
Conference papers hal-00504684v1