M.H. van Emden  Home/Search
Context Related
| cwi.nl/ftp/CWIreports/A...CSR9603.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: info4u.cwi.nl/static/pu...CS1996 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper addresses the question of how to incorporate constraint propagation into logic programming. A likely candidate is the CLP scheme, which allows one to exploit algorithmic opportunities while staying within logic programming semantics. CLP(R) is an example: it combines logic programming with the algorithms for solving linear equalities and inequalities. In this paper we describe two contrasting constraint store management strategies within the CLP scheme. One leads to CLP(R), while ... (Update)
Context of citations to this paper: More
...than notations in terms of cartesian products as in [3] for example. Here we only consider the framework of domain reduction as in [19, 5, 4, 18]. More general framework is described in [14] A Constraint Satisfaction Problem (CSP) is made of two parts, the syntactic...
...models 3 Now, of course, with nonstandard analysis, we know how to do infinitesimals. in the domain of reals. Accordingly, in [26] we show that interval techniques can be used, yet with the variables ranging over the reals. It does this by associating an active...
Cited by: More
Combining Numerical Analysis and Constraint - Processing By Means (Correct)
Algorithmic Power from Declarative Use of Redundant Constraints - van Emden (1999) (Correct)
The Logic Programming Paradigm in Numerical Computation - van Emden (1999) (Correct)
Similar documents (at the sentence level):
73.1%: Value constraints in the CLP scheme - van Emden (1995) (Correct)
Active bibliography (related documents): More All
0.4: An Interval Constraint method for Constrained Global.. - Chen, van Emden (Correct)
0.4: Declarative Numerical Analysis: an Interval Constraint-based.. - Hickey (1999) (Correct)
0.4: A Unified Framework for Interval Constraints and Interval.. - Hickey, van Emden, Wu (1998) (Correct)
Similar documents based on text: More All
0.3: Uniform Convergence of Curve Estimators for Ergodic Diffusion.. - van Zanten (2000) (Correct)
0.2: Structured Inspections of Code - van Emden (1993) (Correct)
0.2: Can Continuous Speech Recognizers Handle Isolated Speech? - Alleva, Huang, Hwang, Jiang (1997) (Correct)
Related documents from co-citation: More All
3: Interval Analysis (context) - Moore - 1966
3: Interval Methods for Systems of Equations (context) - Neumaier - 1990
2: Global Optimization Using Interval Analysis (context) - Hansen - 1992
BibTeX entry: (Update)
M. H. Van Emden. Value Constraints in the CLP scheme. In International Logic Programming Symposium, post-conference workshop on Interval Constraints, 1995. http://citeseer.ist.psu.edu/article/vanemden96value.html More
@incollection{ vanemden96value,
author = "Maarten H. van Emden",
title = "Value constraints in the {CLP} scheme",
booktitle = "111",
month = "31",
publisher = "Centrum voor Wiskunde en Informatica (CWI)",
address = "ISSN 0169-118X",
pages = "15",
year = "1996",
url = "citeseer.ist.psu.edu/article/vanemden96value.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
702 Consistency in networks of relations (context) - Mackworth - 1977
384 Interval Analysis (context) - Moore - 1966
262 Global Optimization Using Interval Analysis (context) - Hansen - 1992
201 Understanding line drawings in scenes with shadows - Waltz - 1975
166 Unification revisited (context) - Lassez, Maher et al. - 1988
88 Principles of Database and Knowledge-Base Systems (context) - Ullman - 1988
86 Van Hentenryck (context) - Benhamou, McAllester - 1994
80 Constraint logic programming: A survey - Jaffar, Maher - 1994
69 Constraint arithmetic on real intervals - Older, Vellino - 1993
30 Closures and fairness in the semantics of programming logic (context) - Lassez, Maher - 1984
15 Applying interval arithmetic to real (context) - Benhamou, Older
11 The application of theorem-proving to question-answering sys.. (context) - Green - 1969
8 The constraint programming language CHIP (context) - Dincbas, Van Hentenryck et al. - 1988
5 Constraint propagation with labels (context) - Davis - 1987
5 Application of relational interval arithmetic to ordinary di.. - Older - 1994
4 and constrained ODE's (context) - Hickey - 1994
3 Interval constraints for unconstrained global optimization (context) - Chen, van Emden
2 Computation as deduction (context) - Hayes - 1973
1 van Emden (context) - Chen
Documents on the same site (http://info4u.cwi.nl/static/publications/reports/CS-1996.html): More
Logging in a Computational Steering Environment - Mulder, van Wijk (1995) (Correct)
3D Computational Steering with Parametrized Geometric Objects - Mulder, van Wijk (1995) (Correct)
Implicit Induction Techniques for the Verification of PIM - a .. - Naidich, Dinesh (1996) (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