Constraint propagation with interval labels
Artificial Intelligence
Constraint reasoning based on interval arithmetic: the tolerance propagation approach
Artificial Intelligence - Special volume on constraint-based reasoning
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Solving Polynomial Systems Using a Branch and Prune Approach
SIAM Journal on Numerical Analysis
Acceleration methods of numeric CSPc
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Constraint reasoning based on interval arithmetic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets
Concurrency, Graphs and Models
Calc/Cream: openoffice spreadsheet front-end for constraint programming
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Hi-index | 0.00 |
There is a fundamental mismatch between the computational basis of spreadsheets and our knowledge of the real world. In spreadsheets numerical daa is represented as exact numbers and their mutual relations as functions, whose values (output) are computed from given argument values (input). However, in the real wold data is often inexact and uncertain in many ways and the relationships, i.e., constraints, between input and output are far more complicated. This paper shows that Interval Constraint Solving, an emerging Artificial Intelligence based technology, provides a more versatile and useful foundation for spreadsheets. The new computational basis is 100% downward compatible with the traditional spreadsheet paradigm. The idea has been sessfully integrated with Microsoft Excel as the add-in Interval Solver that seamlessly upgrades the arithmetic core of Excel into interval constraint solving. The product has been downloaded by thousands of end-users in about 70 countries around the world and has been used in various applications on business computing, engineering, education and science. There is an intriguing chance for a major breakthrough of the AI technology on the spreadsheet platform: Tens of millions of Excel users are making important decisions based on spreadsheet calculations.