Interval constraint logic programming-Reference-Cited by-同舟云学术

Interval constraint logic programming

Published:1995 Issue: Volume: Page:1-21
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Benhamou Frédéric

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-59155-9_1.pdf

Reference53 articles.

1. G. Alefeld and J. Herzberger. Introduction to Internal Computations. Academic Press, 1983.

2. J. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 26, pp842–843, 1983.

3. F. Benhamou and A. Colmerauer (eds.) Constraint Logic Programming: Selected Research, MIT Press, 1993.

4. F. Benhamou and J.L. Massat. Boolean Pseudo-Equations in Constraint Logic Programming, Proceedings of ICLP'93, MIT Press, pp 517–531, Budapest, Hungary, 1993.

5. F. Benhamou and W. Older. Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of Logic Programming, 1994. (Submitted).

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Constraint Programming Enabled Automated Ship Hull Geometric Design;Advances in Intelligent Systems and Computing;2019

2. The influence of the level of definition of functional specifications on the environmental performances of a complex system. EcoCSP approach;International Journal of Sustainable Engineering;2016-03-08

3. Interval Constraints with Learning: Application to Air Traffic Control;Lecture Notes in Computer Science;2016

4. Uncertain Data Dependency Constraints in Matrix Models;Integration of AI and OR Techniques in Constraint Programming;2015

5. Discretized Kinetic Models for Abductive Reasoning in Systems Biology;Biomedical Engineering Systems and Technologies;2013