Constraint propagation with interval labels
From MaRDI portal
Publication:1101265
DOI10.1016/0004-3702(87)90091-9zbMath0642.68176OpenAlexW2042619750MaRDI QIDQ1101265
Publication date: 1987
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(87)90091-9
Related Items (52)
Nonlinear bounded-error state estimation of continuous-time systems ⋮ Incorporating bounds from decision diagrams into integer programming ⋮ Model-based inference in CHARME. ⋮ On handling indicator constraints in mixed integer programming ⋮ Contractor programming ⋮ Computational systems for qualitative economics ⋮ Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness ⋮ Theoretical and numerical constraint-handling techniques used with evolutionary algorithms: A survey of the state-of-the-art ⋮ Guaranteed recursive non-linear state bounding using interval analysis ⋮ On the usage of qualitative reasoning as an approach towards enterprise modelling ⋮ Some fundamental properties of local constraint propagation ⋮ Minimal model semantics for sorted constraint representation ⋮ Bound reduction using pairs of linear inequalities ⋮ Nonlinear State Estimation Using Forward-Backward Propagation of Intervals in an Algorithm ⋮ Thick set inversion ⋮ From LP to LP: Programming with constraints ⋮ Qualitative and quantitative simulation: bridging the gap ⋮ Control of perceptual attention in robot driving ⋮ Domain reduction techniques for global NLP and MINLP optimization ⋮ An Analysis of Slow Convergence in Interval Propagation ⋮ Constraint propagation, relational arithmetic in AI systems and mathematical programs ⋮ The essence of constraint propagation ⋮ Two-row and two-column mixed-integer presolve using hashing-based pairing methods ⋮ A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability ⋮ Temporal constraint networks ⋮ Propagating belief functions through constraint systems ⋮ A canonical form for generalized linear constraints ⋮ Reverse propagation of McCormick relaxations ⋮ Integrating operations research in constraint programming ⋮ Integrating operations research in constraint programming ⋮ Interval constraint propagation with application to bounded-error estimation ⋮ The logic of constraint satisfaction ⋮ Constraint reasoning based on interval arithmetic: The tolerance propagation approach ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ A rigorous global filtering algorithm for quadratic constraints ⋮ Set membership parameter estimation of fractional models based on bounded frequency domain data ⋮ Language-Based Abstraction Refinement for Hybrid System Verification ⋮ Sums and products of intervals in ordered groups and fields ⋮ Tightened reachability constraints for the verification of linear hybrid systems ⋮ A methodology for the reduction of imprecision in the engineering process ⋮ Applications of polyhedral computations to the analysis and verification of hardware and software systems ⋮ On the analytic representation of the Leximin ordering and its application to flexible constraint propagation ⋮ Constraint propagation techniques for the disjunctive scheduling problem ⋮ NUMERICAL METHODS FOR FUZZY INITIAL VALUE PROBLEMS ⋮ On the computational complexity of querying bounds on differences constraints ⋮ Simulation of hybrid circuits in constraint logic programming ⋮ Local search with constraint propagation and conflict-based heuristics ⋮ Accelerating filtering techniques for numeric CSPs ⋮ Arc-consistency for continuous variables ⋮ Knowledge-based system for the completion of traffic data ⋮ Guaranteed non-linear estimation using constraint propagation on sets
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Inferring the positions of bodies from specified spatial relationships
- Consistency in networks of relations
- An approach to nonlinear programming
- Symbolic reasoning among 3-D models and 2-D images
- On the Foundations of Relaxation Labeling Processes
- Deciding Linear Inequalities by Computing Loop Residues
- Synthesizing constraint expressions
- Some undecidable problems involving elementary functions of a real variable
This page was built for publication: Constraint propagation with interval labels
