François Fages  Home/Search
Context Related
| brown.edu/pub/ppcp93/fages.ps.Z ens.fr/pub/dmi/use...iens9312.A4.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brown.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Constraint Logic Programming systems which have been implemented include various higherorder predicates for optimization. In CLP(FD) systems, several optimization predicates, such as minimize(G(X),f(X)), minimize-maximum(G(X),[f1(X),...,fn(X)]), are implemented by using branch and bound algorithms. In CLP(R) systems, the Simplex algorithm used for satisfiability checks can also be used for linear optimization through the predicate rmin(f(X)) which adds to the constraints on X the ones... (Update)
Context of citations to this paper: More
.... allows the user to express arbitrary logical combinations of relations and provides a framework for optimization higher order predicates [8]. Negation in logic programming has been extensively studied due to the problems of non monotonicity and non recursive enumerability of...
.... While several approaches to optimization have been proposed in the logic programming and deductive databases literature [20, 23, 32, 43, 48, 61, 67, 77, 84], they do not allow one to fully specify all three of the above components. Our thesis is that the concept of preference...
Cited by: More
J. Logic Programming 1994:19, 20:1--679 1 Constructive.. - Fran Cois Fages (Correct)
Cutting Planes in Constraint Logic Programming - Bockmayr (1994) (Correct)
Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (Correct)
Active bibliography (related documents): More All
0.1: From Constraint Minimization to Goal Optimization in CLP languages - Fages (1995) (Correct)
0.1: Constructive Negation by Pruning - Fages (1995) (Correct)
0.1: Constructive Negation by Pruning and Optimization Higher-order.. - Fages (1994) (Correct)
Similar documents based on text: More All
0.2: Fages' Theorem and Answer Set Programming - Babovich, Erdem, Lifschitz (2000) (Correct)
0.2: Fages' Theorem for Programs with Nested Expressions - Erdem, Lifschitz (2001) (Correct)
0.2: Un Modèle D'exécution Réactif Et.. - Fowler, Sola, Fages (Correct)
Related documents from co-citation: More All
13: Expanding Query Power in Constraint Logic Programming Languages (context) - Maher, Stuckey - 1989
12: Constraint Logic Programming (context) - Jaffar, Lassez - 1987
10: Constraint Satisfaction in Logic Programming (context) - van Hentenryck - 1990
BibTeX entry: (Update)
Fages, F., On the Semantics of Optimization Predicates in CLP Languages, Proc. 13th FSTTCS conference, Bombay, LNCS 761, Springer-Verlag, pp. 193-204, 1993. http://citeseer.ist.psu.edu/fages93semantics.html More
@inproceedings{ fages93semantics,
author = "Francois Fages",
title = "On the Semantics of Optimization Predicates in {CLP} Languages",
booktitle = "Foundations of Software Technology and Theoretical Computer Science",
pages = "193-204",
year = "1993",
url = "citeseer.ist.psu.edu/fages93semantics.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987 ACM DBLP
214 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
186 Negation in logic programming (context) - Kunen - 1987 ACM DBLP
77 Constructive negation for constraint logic programming (context) - Stuckey - 1991 DBLP
40 Semantics of logic programs with aggregates - Kemp, Stuckey - 1991 DBLP
33 Minimum and maximum predicates in logic programming - Ganguly, Greco et al. - 1991 ACM DBLP
12 Signed data dependencies in logic programming (context) - Kunen - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/ftp.cs.brown.edu.html): More
Indexing for Data Models with Constraints and Classes - Kanellakis, Ramaswamy.. (1993) (Correct)
Reinforcement Learning for Planning and Control - Dean, Basye, Shewchuk (1993) (Correct)
An Interactive 3D Toolkit for Constructing 3D Widgets - Zeleznik, Herndon.. (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