William Older, André Vellino  Home/Search
Context Related
| als.com/pub/ps/bnrpaprs/ieee90.ps.gz unh.edu/pub/csp/archi...BNRIEEE90.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: als.com/als/clpbn...clpbnr_papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Prolog can be extended by a system of constraints on closed intervals to perform declarative relational arithmetic. Imposing constraints on an interval can narrow its range and propagate the narrowing to other intervals related to it by constraint equations or inequalities. Relational interval arithmetic can be used to contain floating point errors and, when combined with Prolog backtracking, to obtain numeric solutions to linear and non-linear rational constraint satisfaction problems over the ... (Update)
Cited by: More
Acceleration Methods for Numeric CSPs - Lebbah, Lhomme (1998) (Correct)
Accelerating Filtering Techniques for Numeric CSPs - Lebbah, Lhomme (2002) (Correct)
Consistency Techniques for Linear Arithmetic and Functional.. - Zhang (1998) (Correct)
Similar documents (at the sentence level):
63.2%: Extending Prolog with Constraint Arithmetic on Real Intervals - Older, Vellino (1990) (Correct)
7.3%: Computing Time Intervals Logically - Andre Vellino William (Correct)
Active bibliography (related documents): More All
0.5: Constraint Arithmetic on Real Intervals - Older (1993) (Correct)
0.5: Constraint Logic Programming on Boolean, Integer and Real.. - Benhamou, Older, Vellino (1994) (Correct)
0.1: Interval Computations On The Spreadsheet - Hyvönen, De Pascale (1996) (Correct)
Similar documents based on text: More All
0.1: Agents for Mobility with a Java-enabled Orbiter - Vellino (Correct)
0.1: Algebraic and Geometric Reasoning using Dixon Resultants - Kapur, Saxena, Yang (1994) (Correct)
0.1: Use of PrologIII in Teaching Artificial Intelligence Techniques - Smolarova, Navrat (1995) (Correct)
Related documents from co-citation: More All
31: Interval Analysis (context) - Moore - 1966
30: Consistency in networks of relations (context) - Mackworth - 1977
28: Applying Interval Arithmetic to Real (context) - Benhamou, Older - 1997
BibTeX entry: (Update)
Older, W. and Vellino, A., Extending Prolog with constraint arithmetics on real intervals. In Proceedings of the Canadian Conference on Computer & Electrical Engineering, Ottawa, Canada, 1990. http://citeseer.ist.psu.edu/article/older90extending.html More
@inproceedings{ older90extending,
author = "W. J. Older and A. Velino",
title = "Extending {P}rolog with Constraint Arithmetic on Real Intervals",
booktitle = "Proc. of {IEEE} Canadian conference on Electrical and Computer Engineering",
publisher = "IEEE Computer Society Press",
address = "New York",
year = "1990",
url = "citeseer.ist.psu.edu/article/older90extending.html" }
Citations (may not include all citations):384 Interval Analysis (context) - Moore - 1966
142 Constraint propagation with interval labels (context) - Davis - 1987
66 Methodology and Implementation of a CLP system (context) - Jaffar, Michaylov - 1987
53 Constraint Reasoning Based on Interval Arithmetic (context) - Hyvonen - 1989
36 Constraint Programming Languages their specification and gen.. (context) - Leler - 1988
36 Opening the Prolog-III Universe (context) - Colmerauer - 1987
21 Logical Arithmetic (context) - Cleary - 1987
2 Soving Large Combinatorial Problems in Logic Programming (context) - Dincbas, Simonis et al. - 1990
2 Optimization with Constraint Programming Systems (context) - Brown, Chinneck et al. - 1989
2 The role of Interval Methods in Scientific Computing (context) - Moore - 1988
1 Complete Logic Systems Inc (context) - Andrews - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://frege.als.com/als/clpbnr/clpbnr_papers.html): More
Constraint Logic Programming on Boolean, Integer and Real.. - Benhamou, Older, Vellino (1994) (Correct)
Constraint Arithmetic on Real Intervals - Older (1993) (Correct)
Programming in CLP(BNR) - Older, Benhamou (1993) (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