@inproceedings{da181bb95e3642f4b0f50837e1a6fc19,
title = "Handling preferences in constraint logic programming with relational optimization",
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 programmer defines a preference relation which indicates when a solution is better than another solution. We study several schemes based on pruning for optimizing an objective function, and we show how these schemes can be generalized to handle preference relations defined by CLP programs, while preserving a straightforward logical semantics. Further we show on some examples that the greater flexibility of the relational optimization scheme is not at the cost of efficiency.",
keywords = "Constraint logic programming, Hierarchical constraint logic programming, Optimization, Preference",
author = "Fran{\c c}ois Fages and Julian Fowler and Thierry Sola",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1994.; 6th International Symposium on Programming Language Implementation and Logic Programming, PLILP 1994 ; Conference date: 14-09-1994 Through 16-09-1994",
year = "1994",
month = jan,
day = "1",
doi = "10.1007/3-540-58402-1\_19",
language = "English",
isbn = "9783540584025",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "261--276",
editor = "Manuel Hermenegildo and Jaan Penjam",
booktitle = "Programming Language Implementation and Logic Programming - 6th International Symposium, PLILP '94, Proceedings",
}