Constraint propagation with interval labels

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

zbMATH Keywords

constraint propagation inference schemes quantity knowledge base

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Related Items

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