Knowledge engineering of the aircraft design process
Knowledge based problem solving
Constraint programming languages: their specification and generation
Constraint programming languages: their specification and generation
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Algebraic constraints
A new basis for spreadsheet computing: Interval Solver for Microsoft Excel
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
A Unified Framework for Interval Constraints and Interval Arithmetic
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Hull consistency under monotonicity
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Hi-index | 0.00 |
Current numerical constraint propagation systems accept as input only problems represented by exact numerical values and correspondingly produce only crisp solutions as output. In order to remove this limitation we have designed and implemented a generalized constraint propagation scheme based on interval arithmetic instead of conventional arithmetic. By using intervals instead of exact values we may express inexact numerical constraints in a well-defined way and compute necessary conditions for consistency in inconsistent underconstrained or overconstrained situations. If only singleton intervals are used our system produces similar results as conventional exact value systems.