NeMo+: Object-oriented constraint programming environment based on subdefinite models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1330, Issue , 1997, Pages 534-548

  Shvetsov, Igor ^a   Telerman, Vitaly ^a   Ushakov, Dmitry ^a  

^a RUSSIAN ACADEMY OF SCIENCES   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

C++ (PROGRAMMING LANGUAGE); CONSTRAINT THEORY;

CONSTRAINT PROGRAMMING; DATA TYPE; DECLARATIVE LANGUAGES; OBJECT ORIENTED;

OBJECT ORIENTED PROGRAMMING;

EID: 84891426692     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0017465     Document Type: Conference Paper

References (17)

1. Colmerauer A. An introduction to Prolog III, Comm.ACM, 33(7),(1990), 69-90.
2. Jaffar J., et al. The CLP(R) language and system, ACM Transactions on Programming Languages and Systems, 14(3), (1992), 339-395.
3. Benhamou F., McAllester D., Van Hentenryck P. CLP (Intervals) Revisited, Proceedings of ILPS-94, Ithaca, NY, (1994), (124-138).
4. Van Hentenryck P. Constraint Satisfaction in Logic Programming, Logic Programming Series, The MIT Press, Cambridge, MA, 1989.
5. Codognet P., Diaz D. Boolean Constraint Solving Using clp(FD). Proc. of the International Logic Programming Symposium, (1993), 525-539.
6. Puget J.-F. A C++ Implementation of CLP, Tech. Report, Ilog, January 1994.
7. Narin'yani A.S. Subdefinite Set-a Formal Model of incomņletely Specified Aggregate, Proc. of the Symp. on Fuzzy Sets and Possibility Theory, Acapulco, (1980).
8. Narin'yani A.S. Subdefiniteness and Basic Means of Knowledge Representation, Computers and Artificial Intelligence, Bratislawa, 2, No.5, (1983), 443-452.
9. Telerman V., Ushakov D. Subdefinite Models as a Variety of Constraint Programming, Proc. of the Intern. Conf. Tools of Artificial Intelligence, Toulouse, 1996.
10. Shvetsov I., Semenov A., Telerman V. Application of Subdefinite Models in Engineering, Artificial Intelligence in Engineenring 11 (1997), 15-24.
11. Narin'yani A.S., Borde S.B., Ivanov D.A. Subdefinite Mathematics and Novel Scheduling Technology, Artificial Intelligence in Engineenring 11 (1997).
12. Alefeld G., Herzberger Ju.: Introduction in Interval Computations, Academic Press, New York, 1983.
13. Hyvonen E. Constraint Reasoning Based on interval Arithmetic: the tolerance propagation approach, Artificial Intelligence, V.58, (1992), 71-112.
14. Telerman V., et al. Interval and Multiinterval Extensions in Subdefinite Models, International Conf. on Interval Methods and Computer Aided Proofs in Science and Engineering (INTER.VAL'96), Wurzburg, (1996), 131-132.
15. Benhamou F., Older W.J. Applying Interval Arithmetic to Real, Integer and Boolean Constraints, Journal of Logic Programming, 1996.
16. van Emden M.H. Value constraints in the CLP scheme, Proc. of the ILPS-95, Workshop on Interval Constraints, Portland, Oregon, 1995.
17. Benhamou F. Heterogeneous Constraint Solving, Proc. of the 5th Intern. Conf. on Algebraic and Logic Programming, LNCS 1139, Springer, (1996), 62-76.