Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

14 résultats
Page :
triés par
Image document

Explanations and Proof Trees

 Gérard Ferrand , Willy Lesaint , Alexandre Tessier
Computing and Informatics, 2006, 25, pp.105-125
Article dans une revue hal-00085545v1
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
Communication dans un congrès 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
Communication dans un congrès hal-00085555v1
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
Communication dans un congrès 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
Communication dans un congrès hal-00459189v1
Image document

Value Withdrawal Explanations: a Theoretical Tool for Programming Environments

 Willy Lesaint
12th Workshop on Logic Programming Environments, 2002, Denmark. pp.17-33
Communication dans un congrès hal-00459195v1
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
Communication dans un congrès hal-00085549v1
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
Communication dans un congrès inria-00520308v1

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
Communication dans un congrès hal-00504684v1

Clustering conceptuel et relationnel en programmation par contraintes

 Thi-Bich-Hanh Dao , Willy Lesaint , Christel Vrain
JFPC 2015, Jun 2015, Bordeaux, France
Communication dans un congrès hal-01151527v1

Value Withdrawal Explanation in CSP

 Gerard Ferrand , Willy Lesaint , Alexandre Tessier
Fourth International Workshop on Automated Debugging, AADEBUG, 2000, Munich, Germany
Communication dans un congrès hal-00459217v1
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
Communication dans un congrès hal-00459199v1
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
Article dans une revue hal-00514500v1

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
Autre publication scientifique hal-00533022v1
Page :