Armin Wolf  Home/Search
Context
Related
| first.gmd.de/pub/p...olf_cl2000_ws.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: pst.informatik.unimuen...cl2000r (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In the past, we presented a method to solve constraint hierarchies over nite domains that are based on nontrivial error functions. This earlier work is extended here: a new incremental algorithm is presented that keeps ordinary constraint systems equivalent to dynamic constraint hierarchies. More specifically, hierarchies of inequalities over finite integer domains are transformed into equivalent constraint systems that are adapted whenever these hierarchies change. Unlike other approaches, a... (Update)
Active bibliography (related documents): More All
0.3: Theoretical Properties and Efficient Satisfaction of Hierarchical .. - Hosobe (1997) (Correct)
0.3: Interactive Assessment of User Preference Models: The.. - Linden, Hanks, Lesh (1997) (Correct)
0.3: Solving Finite Domain Hierarchical Constraint Optimization Problems - Chong (2001) (Correct)
Similar documents based on text: More All
0.4: Attributed Variables for Dynamic Constraint Solving - Armin Wolf Fraunhofer (2001) (Correct)
0.3: An Inexact Trust-Region Feasible-Point Algorithm for.. - Hallabi, Tapia (1995) (Correct)
0.2: Using Constraint Hierarchies and Dynamic Constraint - Solving For Industrial (Correct)
BibTeX entry: (Update)
@misc{ wolf-toward,
author = "Armin Wolf",
title = "Toward a Rule-Based Solution of Dynamic Constraint Hierarchies Over Finite
Domains",
url = "citeseer.ist.psu.edu/333171.html" }
Citations (may not include all citations):132 An assumption-based TMS (context) - de Kleer - 1986
64 Theory and practice of constraint handling rules - Fr - 1998
19 Bjorn Freeman-Benson (context) - Borning, Duisberg - 1987
12 Department of Computer Science and Engineering (context) - Wilson, Logic et al. - 1993
8 Choices without backtracking (context) - de Kleer - 1984
8 DeltaStar: A general algorithm for incremental satisfaction .. (context) - Freeman-Benson, Wilson et al. - 1992
8 Defeasible constraint solving (context) - Menezes, Barahona - 1996
7 Fundamentals and Logical Foundations of Truth Maintenance (context) - Reinfrank - 1989
7 Computing soft constraints by hierarchical constraint logic .. (context) - Satoh, Aiba - 1991
5 Transforming ordered constraint hierarchies into ordinary co.. - Wolf - 1996
3 Hierachical constraint logic programming (context) - Wilson, Borning - 1993
1 chapter 16: An Incremental Hierarchical Constraint Solver (context) - Menezes, Barahona - 1995
1 On incremental adaptation of CHR derivations - Wolf, Gruenhagen et al. - 2000
1 Solving hierarchies of nite-domain constraints (context) - Wolf - 1998
1 An ecient algorithm of logic programming with constraint hie.. (context) - Tsusumi - 1994
Documents on the same site (http://www.pst.informatik.uni-muenchen.de/~fruehwir/cl2000r.html): More
CHR and Harrop formulas: entailment, universal constraints.. - Padioleau, Ridoux (2000) (Correct)
Applying Constraint Handling Rules to HPSG - Penn (2000) (Correct)
Towards a Methodology for Solving Constraints Using a Rule-Based.. - Castro (2000) (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