(Enter summary)
Abstract: . In many Constraint Logic Programming (CLP) applications
one needs to express not only strict requirements but also preferences.
Constraint hierarchies are one way of describing preferred criteria in the
statement of a problem. In [18] CLP was extended to integrate constraint
hierarchies resulting in Hierarchical Constraint Logic Programming
(HCLP). We propose an alternative approach for describing preferred
criteria in CLP as a problem of relational optimization (RO). In
this approach the... (Update)
Context of citations to this paper: More
.... relational optimization, doesn t need to encode preferences by objective functions, it is discussed and illustrated by one application in [10]. 8. Conclusion The principle of constructive negation by pruning (CNP) provides a correct and complete operational semantics for normal...
...their completeness w.r.t. the declarative semantics. In the last section we study the more general concept of relational optimization [7] [9] where preferences among solutions are not encoded by an objective function, but by a preference predicate defined by a CLP program....
Cited by: More
J. Logic Programming 1994:19, 20:1--679 1 Constructive.. - Fran Cois Fages
(Correct)
Planning with Preferences using Logic Programming - Son, Pontelli (2003)
(Correct)
Global Constraints with Fuzzy Extensions - Hofe (2002)
(Correct)
Active bibliography (related documents): More All
0.5: A Pareto Frontier for Full Stern Submarines via Genetic Algorithm - Thomas (1998)
(Correct)
0.3: Nonmonotonic Reasoning as Prioritized Argumentation - You, Wang, Yuan (2001)
(Correct)
0.3: Nonmonotonic Reasoning by Monotonic Inferences with Priority.. - Wang, You, Yuan (1997)
(Correct)
Similar documents based on text: More All
0.4: A Theoretical Framework for Constraint Hierarchy Solvers - Bartak (2002)
(Correct)
0.3: Experiments In Reactive Constraint Logic Programming - Fages, Fowler, Sola (1998)
(Correct)
0.2: Un Modèle D'exécution Réactif Et.. - Fowler, Sola, Fages
(Correct)
Related documents from co-citation: More All
9: Expanding Query Power in Constraint Logic Programming Languages (context) - Maher, Stuckey - 1989
8: Constraint Logic Programming (context) - Jaffar, Lassez - 1987
8: Constraint logic programming: A survey
- Jaffar, Maher - 1994
BibTeX entry: (Update)
Fages, F., Fowler, J., Sola, T., Handling Preferences in Constraint Logic Programming with relational optimization, Proc of PLILP'94, Madrid, Springer Verlag, LNCS 844, pp.261-276, 1994. http://citeseer.ist.psu.edu/fages94handling.html More
@inproceedings{ fages94handling,
author = "Francois Fages and Julian Fowler and Thierry Sola",
title = "Handling Preferences in Constraint Logic Programming with Relational Optimization",
booktitle = "{PLILP}",
pages = "261-276",
year = "1994",
url = "citeseer.ist.psu.edu/fages94handling.html" }
Citations (may not include all citations):
380
Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
221
Constraint logic programming (context) - Jaffar, Lassez - 1987
186
Negation in logic programming (context) - Kunen - 1987
77
Constructive negation for constraint logic programming (context) - Stuckey - 1991
76
Constraint hierarchies and logic programming
- Borning, Maher et al.
28
Expanding query power in constraint logic programming langua.. (context) - Maher, Stuckey - 1989
28
Constructive negation by pruning
- Fages - 1994
21
Extending hierarchical constraint logic programming: Nonmono..
- Wilson, Borning - 1989
18
and its combination with intelligent backtracking (context) - Codognet, Fages et al. - 1993
15
the semantics of optimization predicates in clp languages
- Fages - 1993
11
This article was processed using the L a T E X macro package.. (context) - Wilson, Borning et al. - 1993
3
Constraint optimization using preference logics: A new role ..
- Jr - 1993
2
An overview of multiple objective decision making (context) - MacCrimmon
1
An incremental hierachical constraint solver (context) - Menezes - 1993
1
Technical Report LACS (context) - Lissajoux, users'manual - 1993
1
Intensional negation in clp (context) - Bruscoli, Levi et al. - 1993
1
An incremental hierachical constraint solver applied to a ti.. (context) - Menezes - 1993
1
How to handle multiple criteria optimization in constraint l.. (context) - Fowler, Dieudonn'e et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ens.fr/~fages/papers.html): More
A Generic Type System for CLP(X) - Fages, Paltrinieri
(Correct)
Constructive Negation by Pruning - Fages (1994)
(Correct)
Un Modèle D'exécution Réactif Et.. - Fowler, Sola, Fages
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC