Filter your results
- 10
- 4
- 11
- 2
- 1
- 14
- 1
- 3
- 1
- 1
- 2
- 2
- 3
- 1
- 10
- 4
- 14
- 1
- 1
- 14
- 9
- 8
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
14 Results
|
|
sorted by
|
|
Explanations and Proof TreesComputing and Informatics, 2006, 25, pp.105-125
Journal articles
hal-00085545v1
|
||
|
Explanations to Understand the Trace of a Finite Domain Constraint Solver14th Workshop on Logic Programming Environments, 2004, Saint-Malo, France. pp.19-33
Conference papers
hal-00085550v1
|
||
|
Towards declarative diagnosis of constraint programs over finite domainsFifth International Workshop on Automated Debugging, AADEBUG2003, 2003, Ghent, Belgium. pp.159-170
Conference papers
hal-00459189v1
|
||
|
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
Conference papers
hal-00085554v1
|
||
|
Correctness of Constraint Retraction AlgorithmsFLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, 2003, United States. pp.172-176
Conference papers
hal-00085555v1
|
||
|
Explanations and Proof TreesInternational Symposium on Explanation-Aware Computing, ExaCt 2005, 2005, United States. pp.76-85
Conference papers
hal-00085549v1
|
||
|
Value Withdrawal Explanations: a Theoretical Tool for Programming Environments12th Workshop on Logic Programming Environments, 2002, Denmark. pp.17-33
Conference papers
hal-00459195v1
|
||
|
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
Conference papers
inria-00520308v1
|
||
|
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction11th 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 Contraintes2010
Other publications
hal-00533022v1
|
|||
|
Theoretical foundations of value withdrawal explanations for domain reductionElectronic Notes in Theoretical Computer Science, 2002, 76, pp.99-114
Journal articles
hal-00514500v1
|
||
|
Value Withdrawal Explanation in CSPFourth International Workshop on Automated Debugging, AADEBUG, 2000, Munich, Germany
Conference papers
hal-00459217v1
|
||
Clustering conceptuel et relationnel en programmation par contraintesJFPC 2015, Jun 2015, Bordeaux, France
Conference papers
hal-01151527v1
|
|||
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
Conference papers
hal-00504684v1
|