Interval computation as deduction in chip

DOI10.1016/0743-1066(93)90045-IzbMATH Open0784.68021OpenAlexW2008716926MaRDI QIDQ5289310FDOQ5289310

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

Recommendations

• scientific article; zbMATH DE number 1368927
• 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

zbMATH Keywords

interval arithmeticfloating-point arithmeticconstraint propagationlogic programmingCHIP programming language

Mathematics Subject Classification ID

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

Cited In (3)

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

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)