François Fages  Home/Search
Context
Related
| wfu.edu/~burg/ILPS95/ILPS...fages.ps.gz 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: wfu.edu/~burg/ILPS95/ILPS95 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we discuss how the ability of the constraint solvers to deal with constraint minimization can be lifted up to various forms of goal optimization within CLP languages. We emphasis the link there is between optimization and negation both in the declarative semantics and in the operational aspects. We also discuss the design of incremental execution models in an "optimization as interaction" paradigm. 1 Introduction Constraint logic programming and concurrent constraint... (Update)
Similar documents (at the sentence level):
35.6%: Constructive Negation by Pruning - Fages (1994) (Correct)
35.0%: J. Logic Programming 1994:19, 20:1--679 1 Constructive.. - Fran Cois Fages (Correct)
7.6%: Constructive Negation by Pruning and Optimization Higher-order.. - Fages (1994) (Correct)
Active bibliography (related documents): More All
0.5: A Hierarchy of Semantics for Normal Constraint Logic Programs - Fages, GORI (1996) (Correct)
0.3: Analysis of normal CLP programs - Fages, Gori (1997) (Correct)
0.3: Optimization and Relaxation in Constraint Logic Languages - Govindarajan, Jayaraman.. (1996) (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: Using Modes to Ensure Subject Reduction for Typed Logic.. - Smaus, Fages, Deransart (2000) (Correct)
BibTeX entry: (Update)
@inproceedings{ fages96from,
author = "Francois Fages",
title = "From Constraint Minimization to Goal Optimization in {CLP} Languages",
booktitle = "Principles and Practice of Constraint Programming",
pages = "537-538",
year = "1996",
url = "citeseer.ist.psu.edu/fages95from.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
380 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
373 Constraint logic programming: a survey - Jaffar, Maher - 1994
344 Concurrent constraint programming (context) - Saraswat - 1993
186 Negation in logic programming (context) - Kunen - 1987
109 Constructive negation based on the completed database (context) - Chan - 1988
100 A generic arc-consistency algorithm and its specialization (context) - Van Hentenryck, Deville et al. - 1992
77 Constructive negation for constraint logic programming (context) - Stuckey - 1991
65 Improved CLP scheduling with task intervals - Caseau, Laburthe - 1994
61 Monotonic aggregation in deductive databases - Ross, Sagiv - 1992
40 Semantics of logic programs with aggregates - Kemp, Stuckey - 1991
28 Expanding query power in constraint logic programming langua.. (context) - Maher, Stuckey - 1989
28 The well-founded semantics of aggregation (context) - Van Gelder - 1992
28 Constructive negation by pruning - Fages - 1995
25 Preference logic programming - Govindarajan, Jayaraman et al. - 1995
12 Handling preferences in constraint logic programming with re.. - Fages, Fowler et al. - 1994
12 Signed data dependencies in logic programming (context) - Kunen - 1989
11 A reactive constraint logic programming scheme - Fages, Fowler et al. - 1995
10 Semantics of constraint logic programs with optimization - Marriott, Stuckey - 1993
7 Modelling Producer/Consumer Constraints (context) - Simonis, Cornelissens - 1995
5 Constructive negation by pruning and optimization higher-ord.. - Fages - 1995
5 A Kripke/Kleene semantics for logic programs (context) - Fitting - 1985
4 What is failure? An approach to constructive negation - Drabent - 1995
4 Solving linear, Min and Max constraint systems using CLP bas.. (context) - Girodias, Cerny et al. - 1995
Documents on the same site (http://web.mthcsc.wfu.edu/~burg/ILPS95/ILPS95.html): More
Towards Native Code Generation in CLP - Tsarchopoulos (1995) (Correct)
Integrating Stochastic Solvers with Constraint Logic Programming - Stuckey, Tam (Correct)
Reasoning with Aggregation Constraints in Views - Dar, Jagadish, Levy, Srivastava (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