360 search results - page 1 / 72 » Explanations and Proof Trees |
CAI
2006
Springer
13 years 4 months ago
2006
Springer
EXACT
2008
13 years 6 months ago
2008
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...
JFPLC
2004
13 years 5 months ago
2004
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...
CORR
2002
Springer
13 years 4 months ago
2002
Springer
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
ENTCS
2002
13 years 4 months ago
2002
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...