Interval computation as deduction in chip

DOI10.1016/0743-1066(93)90045-IMaRDI QIDQ5289310zbMATH OpenOpenAlexFDO

Authors J. H. M. Lee, M. H. van Emden

Publication date 23 August 1993

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(93)90045-i

zbMATH Keywords

CHIP programming languageconstraint propagationfloating-point arithmeticinterval arithmeticlogic programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Artificial intelligence (68T99)

Recommendations

• The logic programming paradigm in numerical computation
• scientific article; zbMATH DE number 1948394
• Interval arithmetic: from principles to implementation
• Analytic constraint solving and interval arithmetic
• An interval library: The experience of integration of logic and constraint programming

Cited in

(4)

• Interval computing periodic orbits of maps using a piecewise approach
• Enhancing set constraint solvers with lexicographic bounds
• The logic programming paradigm in numerical computation
• Interval propagation to reason about sets: Definition and implementation of a practical language

This page was built for publication: Interval computation as deduction in chip

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5289310)