Bharat Jayaraman, Kannan Govindarajan, et al.  Home/Search
Context
Related
| buffalo.edu/pub/WWW/LRG/Papers...plp.ps buffalo.edu/LRG/Papers/plp.ps buffalo.edu/pub/WWW/LRG/Pape...scp98.ps 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: buffalo.edu/pub/WWW/LRG/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper discusses a logic programming (LP) paradigm and accompanying semantic foundations for specifying constraints and preferences. While the use of constraints in LP languages is well-known, we show that preferences are also natural and are useful in logical specification of optimization and relaxation problems which arise in many applications involving constraints, e.g., engineering design, scheduling, decision support, etc. In optimization, we are interested in finding the optimal... (Update)
Similar documents (at the sentence level):
20.2%: Optimization and Relaxation in Constraint Logic Languages - Govindarajan, Jayaraman.. (1996) (Correct)
7.6%: Preference Logic Programming - Kannan Govindarajan (1995) (Correct)
5.9%: Relaxation in Constraint Logic Languages - Govindarajan, Jayaraman, Mantha (1995) (Correct)
Active bibliography (related documents): More All
0.5: Preference Queries in Deductive Databases - Kannan Govindarajan (1995) (Correct)
0.5: Theoretical Properties and Efficient Satisfaction of Hierarchical .. - Hosobe (1997) (Correct)
0.5: Constraints for Object Recognition in Aerial Images - Handling of.. - Kolbe (1998) (Correct)
Similar documents based on text: More All
0.3: Preference Logic Grammars - Jayaraman, Govindarajan, Mantha (1998) (Correct)
0.2: Preference Datalog - Summary Kannan (Correct)
0.1: Preference Logic Programming: Optimization as Inference - Kannan Govindarajan (1994) (Correct)
BibTeX entry: (Update)
@misc{ jayaraman-logic,
author = "Bharat Jayaraman and Kannan Govindarajan and et al.",
title = "Logic Programming with Preferences and Constraints",
url = "citeseer.ist.psu.edu/175999.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987 ACM DBLP
395 An Abstract Prolog Instruction Set (context) - Warren - 1983
380 Constraint Satisfaction in Logic Programming (context) - van Hentenryck - 1989 ACM
373 Constraint Logic Programming: A Survey - Jaffar, Maher - 1994 DBLP
311 Partial Constraint Satisfaction - Freuder - 1989 ACM DBLP
135 Definite Clause Grammars for Language Analysis - A Survey of.. (context) - Pereira, Warren - 1980 DBLP
106 The Traveling Salesman Problem: a Guided Tour of Combinatori.. (context) - Lawler, Lenstra et al. - 1985
76 Constraint Hierarchies and Logic Programming - Borning, Maher et al. - 1989 DBLP
58 Memoing for Logic Programs (context) - Warren - 1992 ACM DBLP
50 Hierarchical Constraint Logic Programming - Wilson, Borning - 1993 ACM DBLP
36 A Constraint-Oriented Simulation Laboratory (context) - Borning, Language et al. - 1981
36 Constraint Programming Languages: Their Specification and Ge.. (context) - Leler - 1987 ACM
33 Minimum and Maximum Predicates in Logic Programming - Ganguly, Greco et al. - 1991 ACM DBLP
31 A Higher-Order Logic as the Basis for Logic Programming - Nadathur - 1987 ACM
28 A Man-Machine Graphical Communication System (context) - Sutherland - 1963
28 Constructive Negation by Pruning - Fages - 1997 DBLP
28 Expanding Query Power in Constraint Logic Programming Langua.. (context) - Maher, Stuckey - 1989 DBLP
25 Preference Logic Programming - Govindarajan, Jayaraman et al. - 1995 DBLP
16 Programming with Equations (context) - Jayaraman, Plaisted - 1989 ACM DBLP
15 Heuristic Methods for Over-Constrained Constraint Satisfacti.. - Freuder, Wallace - 1995 ACM DBLP
15 the Semantics of Optimization Predicates in CLP Languages - Fages - 1993
14 Partial Order Programming (context) - Parker - 1989 DBLP
13 Foundations of Deductive Databases and Logic Programming (context) - Apt, Blair et al. - 1988 ACM DBLP
12 Handling Preferences in Constraint Logic Programming with Re.. - Fages, Fowler et al. - 1994 ACM DBLP
12 Preferences: Putting More Knowledge into Queries (context) - Lacroix, Lavency - 1987
12 First-Order Preference Theories and their Applications (context) - Mantha - 1991 ACM
11 Top-down Beats Bottom-up for Constraint Based Extensions of .. (context) - Toman - 1995 DBLP
11 Optimization and Relaxation in Constraint Logic Languages - Govindarajan, Jayaraman et al. - 1996 ACM DBLP
10 Semantics of Constraint Logic Programs with Optimization - Marriott, Stuckey - 1993 ACM DBLP
8 Preference Logics: Towards a Unified Approach to Non-Monoton.. (context) - Brown, Mantha et al. - 1994
7 Preference Logic Grammars - Govindarajan, Jayaraman et al. - 1998 ACM DBLP
6 The Implementation and Definition of a Computer Programming .. (context) - Steele - 1980
5 University of Edinburgh Press (context) - von Wright, of - 1963
3 Preference Queries in Deductive Databases - Govindarajan, Jayaraman et al. - 1995 ACM DBLP
3 Optimization and Relaxation in Logic Languages (context) - Govindarajan - 1997 ACM
2 Transformations between HCLP and PCSP - Jampel, Jacquet et al. - 1995 DBLP
2 Over-Constrained Systems in CLP and CSP - Jampel - 1996
2 Experiments on Geometric Traveling Salesman Problem (context) - Bentley - 1990
Documents on the same site (http://www.cse.buffalo.edu/pub/WWW/LRG/papers.html): More
From Context-Free To Definite-Clause Grammars: A.. - Juergen Haas (1993) (Correct)
Scoping Constructs in Logic Programming: Implementation.. - Nadathur, Jayaraman.. (1995) (Correct)
Preference Logic Grammars - Jayaraman, Govindarajan, Mantha (1998) (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