Searching for "Constructive Negation by Pruning." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Constructive Negation by Pruning
- … ________________________ ________________________ UPERIEURE S ORMALE N ECOLE CNRS URA 1327 Constructive Negation by Pruning (revised version of Liens 94…
- Cited by 22 (4 self) – Add To MetaCart
-
Constructive Negation by Pruning and Optimization Higher-order Predicates for CLP and CC Languages
- …Constructive Negation by Pruning and Optimization Higher-order Predicates for CLP and CC Languages…
- Cited by 3 (2 self) – Add To MetaCart
-
A Hierarchy of Semantics for Normal Constraint Logic Programs
- … for the rule of constructive negation by pruning is at the center of the hierarchy developed in this paper. We…
- Cited by 6 (1 self) – Add To MetaCart
-
From Constraint Minimization to Goal Optimization in CLP languages
- … derive a complete top-down procedure from the scheme of constructive negation by pruning [5…
- Cited by 1 (0 self) – Add To MetaCart
-
Analysis of normal CLP programs
- … for the observation of the set of computed answer constraints with constructive negation by pruning [9]. By soundness…
- Add To MetaCart
-
Logic Programming with Preferences and Constraints
- …, Fages shows how constructive negation by pruning provides a form of branch-and-bound technique…
- Add To MetaCart
-
Bibliography for An Algebraic Study of Modularity in Logic Programming
- … Report, IBM Res., 1982. [Fag96] F. Fages. Constructive Negation by Pruning. The Journal of Logic…
- Add To MetaCart
Showing 1 through 7.
