Kannan Govindarajan, Bharat Jayaraman, Surya Mantha  Home/Search
Context Related
| buffalo.edu/users/bharat/poplbj.ps buffalo.edu/pub/techrepor...9537.ps.Z buffalo.edu/~govink/paper...popl.tr.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 (more) From: buffalo.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Optimization and relaxation are two important operations that naturally arise in many applications involving constraints, e.g., engineering design, scheduling, decision support, etc. In optimization, we are interested in finding the optimal (i.e., best) solutions to a set of constraints with respect to an objective function. In many applications, optimal solutions may be difficult or impossible to obtain, and hence we are interested in finding suboptimal solutions, by either relaxing the... (Update)
Context of citations to this paper: More
.... of preference logic grammars, and show how they can be systematically translated into preference logic programs as introduced in [GJM95, GJM96] 2.1 Syntax of Preference Logic Grammars In general, a preference logic grammar is a definite clause grammar (or a definite clause...
...methods of constraint satisfaction. In our proposed language, we will make explicit use of the concept of preference for this purpose [GJM96]. More recently, the constrained object language Siri [Hor92, Hor93] was proposed by Bruce Horn, and is essentially a superset of the...
Cited by: More
A Logical Approach to Quality of Service Specification in Video.. - Bertino (2004) (Correct)
Quality of Service Specification in Video Databases - Elisa Bertino Tiziana (Correct)
Semantics and Applications of Constrained Objects - Jayaraman, Tambay (2001) (Correct)
Similar documents (at the sentence level): More
32.6%: Logic Programming with Preferences and Constraints - Jayaraman, Govindarajan, al. (Correct)
16.4%: Relaxation in Constraint Logic Languages - Govindarajan, Jayaraman, Mantha (1995) (Correct)
14.7%: Preference Logic Programming - Kannan Govindarajan (1995) (Correct)
Active bibliography (related documents): More All
0.5: Preference Logic Programming: Optimization as Inference - Kannan Govindarajan (1994) (Correct)
0.4: Preference Queries in Deductive Databases - Kannan Govindarajan (1995) (Correct)
0.3: Constraint Optimization using Preference Logics: A New Role for .. - Allen Brown (1993) (Correct)
Similar documents based on text: More All
0.3: Preference Datalog - Summary Kannan (Correct)
Related documents from co-citation: More All
8: Constraint Logic Programming (context) - Jaffar, Lassez - 1987
7: Preference Logic Programming - Govindarajan, Jayaraman et al. - 1995
6: Hierarchical Constraint Logic Programming - Wilson - 1993
BibTeX entry: (Update)
K. Govindarajan, B. Jayaraman, and S. Mantha. Optimization and Relaxation in Constraint Logic Languages. In Proceedings of the ACM Symposium on Principles of Programming Languages, 1996. http://citeseer.ist.psu.edu/govindarajan96optimization.html More
@inproceedings{ govindarajan96optimization,
author = "Kannan Govindarajan and Bharat Jayaraman and Surya Mantha",
title = "Optimization and Relaxation in Constraint Logic Languages",
booktitle = "Symposium on Principles of Programming Languages",
pages = "91-103",
year = "1996",
url = "citeseer.ist.psu.edu/govindarajan96optimization.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
373 Constraint Logic Programming: A Survey - Jaffar, Maher - 1994
315 Constraint Query Languages - Kannelakis, Kuper et al. - 1990
135 Definite Clause Grammars for Language Analysis - A Survey of.. (context) - Pereira, Warren - 1980
118 Unfounded Sets and Well-Founded Semantics for General Logic .. (context) - van Gelder, Ross et al. - 1991
106 The Traveling Salesman Problem: a Guided Tour of Combinatori.. (context) - Lawler, Lenstra et al. - 1985
61 Monotonic Aggregation in Deductive Databases - Ross, Sagiv - 1992
50 Hierarchical Constraint Logic Programming - Wilson, Borning - 1993
41 Aggregation and Relevance in Deductive Databases - Sudarshan, Ramakrishnan - 1991
40 Semantics of Logic Programs with Aggregates - Kemp, Stuckey - 1991
33 Minimum and Maximum Predicates in Logic Programming - Ganguly, Greco et al. - 1991
28 Expanding Query Power in Constraint Logic Programming Langua.. (context) - Maher, Stuckey - 1989
25 Preference Logic Programming - Govindarajan, Jayaraman et al. - 1995
15 the Semantics of Optimization Predicates in CLP Languages - Fages - 1993
14 Extending the Well-Founded and Valid Semantics for Aggregati.. - Sudarshan, Srivastava et al. - 1993
12 First-Order Preference Theories and their Applications (context) - Mantha - 1991
12 Handling Preferences in Constraint Logic Programming with Re.. - Fages, Fowler et al. - 1994
10 Semantics of Constraint Logic Programs with Optimization - Marriott, Stuckey - 1993
8 Preference Logics: Towards a Unified Approach to NonMonotoni.. (context) - Brown, Mantha et al. - 1994
7 Preference Logic Grammars - Govindarajan, Jayaraman et al. - 1994
7 Logical Reconstruction of Constraint Relaxation Hierarchies .. (context) - Brown, Mantha et al. - 1993
1 Relaxation in Constraint Logic Languages - Govindarajan, Jayaraman et al. - 1995
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.buffalo.edu.html): More
Computing Robust Tests for Stuck-open Faults from.. - Chakravarty.. (1992) (Correct)
Parallel Incremental Scheduling - Wu (1995) (Correct)
Symmetrical Hopping: A Scalable Scheduling Algorithm for Irregular.. - Wu (1995) (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