NCLP(ℝ): Interval-based nonlinear constraint logic programming over the reals

Proceedings of the 20th Workshop on Logic Programming, WLP 2006

Volumn , Issue , 2006, Pages 91-100

  De Koninck, Leslie ^a   Schrijvers, Tom ^a   Demoen, Bart ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

PROLOG (PROGRAMMING LANGUAGE);

CONSTRAINT HANDLING RULES; CONSTRAINT LOGIC PROGRAMMING; INTERVAL TECHNIQUE; NON-LINEAR CONSTRAINTS;

LOGIC PROGRAMMING;

EID: 84893466857     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. Götz Alefeld and Günter Mayer. Interval analysis: theory and applications. Journal of Computational and Applied Mathematics, 121:421-464, Sep 2000.
2. Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, and Jean-Francois Puget. Revising hull and box consistency. In ICLP, pages 230-244, 1999.
3. Frédéric Benhamou, David A. Me Allester, and Pascal Van Hentenryck. CLP(Intervals) revisited. In SLP, pages 124-138, 1994.
4. Bart Demoen. hProlog. http://www.es.kuleuven.be/~bmd/hProlog/.
5. Bart Demoen. Dynamic attributes, their hProlog implementation, and a first evaluation. Technical Report CW 350, K.U. Leuven, 2002.
6. Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, and Christian Holzbaur. The refined operational semantics of Constraint Handling Rules. In Bart Demoen and Vladimir Lifschitz, editors, ICLP, volume 3132 of Lecture Notes in Computer Science, pages 90-104. Springer, 2004.
7. Thom W. Friihwirth. Constraint Handling Rules. In Andreas Podelski, editor, Constraint Programming, volume 910 of Lecture Notes in Computer Science, pages 90-107. Springer, 1994.
8. Chao-Yang Gau and Mark A. Stadtherr. Nonlinear parameter estimation using interval analysis. AIChE Symp. Ser., 94(304):445-450, 1999.
9. Laurent Granvilliers, Frédéric Goualard, and Frédéric Benhamou. Box consistency through weak box consistency. In ICTAI, pages 373-380, 1999.
10. Pascal Van Hentenryck. Numerica: a modeling language for global optimization. In IJCAI, pages 1642-1650, 1997.
11. Pascal Van Hentenryck, Laurent Michel, and Frédéric Benhamou. Newton-constraint programming over nonlinear constraints. Sci. Comput. Program., 30(1-2):83-118, 1998.
12. Stefan Herbort and Dietmar Ratz. Improving the efficiency of a nonlinear-system-solver using a componentwise Newton method. Technical Report 2, Universität Karlsruhe, 1997.
13. Timothy J. Hickey, Qun Ju, and Maarten H. van Emden. Interval arithmetic: from principles to implementation. J. ACM, 48(5):1038-1068, 2001.
14. Christian Holzbaur. OFAI CLP(Q, R) manual. Technical Report TR-95-09, Austria Research Institute for Artificial Intelligence, 1995.
15. IC-Parc. ECL'PSe 3.4 knowledge base user manual, Sep 1994.
16. Ralph Baker Kearfott, Mitsuhiro T. Nakao, Arnold Neumaier, Siegfried M. Rump, Sergey P. Shary, and Pascal Van Hentenryck. Standardized notation in interval analysis. Reliable Computing, to appear.
17. Leslie De Koninck. Constraint solvers for SWI-Prolog. Master's thesis, K.U. Leuven, Belgium, 2005. in Dutch.
18. Laurent Michel and Pascal Van Hentenryck. Helios: a modeling language for global optimization and its implementation in Newton. Theor. Comput. Sci., 173(l):3-48, 1997.
19. Don P. Mitchell. Robust ray intersection with interval arithmetic. In Proceedings on Graphics interface '90, pages 68-74, Toronto, Ont., Canada, Canada, 1990. Canadian Information Processing Society.
20. Guy Alain Narboni. From Prolog III to Prolog IV: the logic of constraint programming revisited. Constraints, 4(4):313-335, 1999.
21. Maurice Obstfeld and Alan M. Taylor. Nonlinear aspects of goods-market arbitrage and adjustment: Heckscher's commodity points revisited. Journal of the Japanese and International Economies, ll(4):441-479, 1997.
22. Swedish Institute of Computer Science. SICStus Prolog user's manual. Technical report, Oct 2001.
23. Jean-Francois Puget. Applications et évolutions d'ILOG SOLVER. In Jean-Jacques Chabrier, editor, JFPLC, page 429, 1995.
24. Dietmar Ratz. A nonsmooth global optimization technique using slopes {pipe} the one dimensional case, 1999.
25. Siegfried M. Rump. Expansion and estimation of the range of nonlinear functions. Math. Comput., 65(216):1503-1512, 1996.
26. Tom Schrijvers and Bart Demoen. The K.U. Leuven CHR system: implementation and application. In First workshop on constraint handling rules: selected contributions, pages 1-5, 2004. Jan Wielemaker. SWI-Prolog 5.3 reference manual, Jun 2004.