Sciweavers

Share
360 search results - page 1 / 72
» Explanations and Proof Trees
Sort
View
CAI
2006
Springer
12 years 1 months ago
Explanations and Proof Trees
Gérard Ferrand, Willy Lesaint, Alexandre Te...
EXACT
2008
12 years 3 months ago
Towards Reasoning and Explanations for Social Tagging
This paper describes a project aiming at enhancing social tagging with reasoning and explanations. So as to keep with the ease of use characteristic of social media, simple explana...
François Bry, Jakub Kotowski
JFPLC
2004
12 years 3 months ago
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
Gérard Ferrand, Willy Lesaint, Alexandre Te...
CORR
2002
Springer
81views Education» more  CORR 2002»
12 years 1 months ago
Value withdrawal explanations: a theoretical tool for programming environments
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
Willy Lesaint
ENTCS
2002
78views more  ENTCS 2002»
12 years 1 months ago
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction
Solvers on finite domains use local consistency notions to remove values from the domains. This paper defines value withdrawal explanations. Domain reduction is formalized with ch...
Gérard Ferrand, Willy Lesaint, Alexandre Te...
books