Filtrer vos résultats
- 10
- 4
- 11
- 2
- 1
- 14
- 1
- 3
- 1
- 1
- 2
- 2
- 3
- 1
- 10
- 4
- 14
- 1
- 1
- 14
- 9
- 8
- 4
- 3
- 3
- 1
- 1
- 1
- 1
- 1
14 résultats
|
|
triés par
|
|
Explanations and Proof TreesComputing and Informatics, 2006, 25, pp.105-125
Article dans une revue
hal-00085545v1
|
||
|
Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines FinisTreiziè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
|
||
|
Correctness of Constraint Retraction AlgorithmsFLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, 2003, United States. pp.172-176
Communication dans un congrès
hal-00085555v1
|
||
|
Explanations to Understand the Trace of a Finite Domain Constraint Solver14th Workshop on Logic Programming Environments, 2004, Saint-Malo, France. pp.19-33
Communication dans un congrès
hal-00085550v1
|
||
|
Towards declarative diagnosis of constraint programs over finite domainsFifth International Workshop on Automated Debugging, AADEBUG2003, 2003, Ghent, Belgium. pp.159-170
Communication dans un congrès
hal-00459189v1
|
||
Property Grammar Parsing Seen as a Constraint Optimization ProblemProceedings 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 contraintesJFPC 2015, Jun 2015, Bordeaux, France
Communication dans un congrès
hal-01151527v1
|
|||
|
Value Withdrawal Explanation in CSPFourth International Workshop on Automated Debugging, AADEBUG, 2000, Munich, Germany
Communication dans un congrès
hal-00459217v1
|
||
|
Value Withdrawal Explanations: a Theoretical Tool for Programming Environments12th Workshop on Logic Programming Environments, 2002, Denmark. pp.17-33
Communication dans un congrès
hal-00459195v1
|
||
|
Explanations and Proof TreesInternational Symposium on Explanation-Aware Computing, ExaCt 2005, 2005, United States. pp.76-85
Communication dans un congrès
hal-00085549v1
|
||
|
Une modélisation en CSP des grammaires de propriétésJFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.123-132
Communication dans un congrès
inria-00520308v1
|
||
|
Theoretical foundations of value withdrawal explanations for domain reductionElectronic 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 Contraintes2010
Autre publication scientifique
hal-00533022v1
|
|||
|
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction11th International Workshop on Functional and (Constraint) Logic Programming, 2002, Grado, Italy. pp.211-224
Communication dans un congrès
hal-00459199v1
|