Constraint logic programming framework for integrated decision supports

Decision Support Systems

Volumn 22, Issue 2, 1998, Pages 155-170

  Ryu, Young U ^a,b  

^a UNIVERSITY OF TEXAS AT DALLAS   (United States)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Constraint logic programming; Decision support systems; Logic modelling; Model management

Indexed keywords

COMPUTATIONAL LINGUISTICS; CONSTRAINT THEORY; DECISION MAKING; INTERACTIVE COMPUTER SYSTEMS; LOGIC PROGRAMMING; PROBLEM SOLVING;

CONSTRAINT LOGIC PROGRAMMING;

DECISION SUPPORT SYSTEMS;

EID: 0032002816     PISSN: 01679236     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-9236(97)00053-5     Document Type: Article

References (29)

1. A.V. Aho, J.E. Hopcroft, J.D. Ullman, Data Structures and Algorithms, Addision-Wesley, Reading, MA, 1983.
2. K.R. Apt, Introduction to logic programming, Technical Report TR-87-35 (Revised and Extended Version), Department of Computer Science, The University of Texas at Austin, 1988.
3. J. Cohen, Constraint logic programming languages, Commun. ACM 33 (7) (1990) 52-68.
4. A. Colmerauer, An introduction to Prolog III, Commun. ACM 33 (7) (1990) 69-90.
5. R. Fourer, D.M. Gay, B.W. Kernighan, A modelling language for mathematical programming, Manage. Sci. 36 (5) (1990) 519-554.
6. A.M. Geoffrion, An introduction to structured modelling, Manage. Sci. 33 (5) (1987) 547-588.
7. N.C. Heintze, S. Michaylov, P.J. Stuckey, CLP(ℜ) and some electrical engineering problems, in: Proceedings of the Fourth International Conference on Logic Programming, Melbourne, Australia, 1987, pp. 675-703.
8. K. Hiraishi, A constraint logic programming language Keyed CLP and its applications to decision making problems in OR\MS, Decision Support Syst. 14 (5) (1995) 269-281.
9. S.N. Hong, M.V. Mannino, B.S. Greenberg, Inheritance and instantiation in model management, in: Proceedings of the Twenty-Third Annual Hawaii International Conference on System Sciences, vol. 3, 1990.
10. J. Jaffar, J.L. Lassez, Constraint logic programming, in: Proceedings of the Fourteenth ACM Symposium of the Principles of Programming Languages, Munich, Germany, 1987, pp. 111-119.
11. J. Jaffar, S. Michaylov, Methodology and implementation of a CLP system, in: Proceedings of the Fourth International Conference on Logic Programming, Melbourne, Australia, 1987, pp. 196-218.
12. J. Jaffar, S. Michaylov, P.J. Stuckey, R. Yap, The CLP(ℜ) language and system, ACM Tran. Programming Languages Syst. 14 (3) (1992) 339-395.
13. R. Kowalski, Predicate logic as programming language, in: J.L. Rosenfeld, (Ed.), Proceedings of IFIP 74, 1974, pp. 569-574.
14. C. Lassez, K. McAloon, R. Yap, Constraint logic programming and option trading, IEEE Expert 2 (3) (1987) 42-50.
15. H.G. Lee, R.M. Lee, G. Yu, Constraint logic programming and mixed integer programming, in: Proceedings of the Twenty-Sixth Annual Hawaii International Conference on System Sciences, vol. 3, 1993, pp. 543-553.
16. H.G. Lee, R.M. Lee, G. Yu, Constraint logic programming for qualitative and quantitative constraint satisfaction problems, Decision Support Syst. 6 (1) (1996) 67-83.
17. J.W. Lloyd, Foundations of Logic Programming, Springer-Verlag, Berlin, Germany, 2nd edn., 1987.
18. M.V. Mannino, B.S. Greenberg, S.N. Hong, Knowledge representation for model libraries, in: Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences, vol. 3, 1988, pp. 349-355.
19. R. Marcus, An artificial intelligence to operations research, Commun. ACM 27 (10) (1984) 1044-1047.
20. H.J. Nilsson, Principles of Artificial Intelligence, Morgan Kaufmann, Palo Alto, CA, 1980.
21. E. Rich, K. Knight, Artificial Intelligence, McGraw-Hill, New York, 2nd edn., 1991.
22. J.A. Robinson, A machine-oriented logic based on the resolution principle, J. ACM 12 (1) (1965) 23-41.
23. G. Sidebottom, W.S. Havens, Hierarchical arc consistency for disjoint real intervals in constraint logic programming, Technical Report CSS-IS-92-16, Centre for Systems Science, Simon Fraser University, 1992.
24. S. Sidebottom, W.S. Havens, S. Kindersley, Echidna Constraint Reasoning System: Programming Manual, Expert Systems Laboratory, Centre for Systems Science, Simon Fraser University, 1992.
25. R.H. Sprague Jr., E.R. Carlson, Building Effective Decision Support Systems, Prentice-Hall, Englewood Cliffs, 1982.
26. A. Tarski, A Decision Method for Elementary Algebra and Geometry, University of California Press, Berkeley, CA, 2nd edn., 1948.
27. P. van Hentenryck, Constraint Satisfaction in Logic Programming, MIT Press, Cambridge, MA, 1989.
28. P. van Hentenryck, H. Simonis, M. Dincbas, Constraint satisfaction using constraint logic programming, Artificial Intelligence 58 (1-3) (1992) 113-159.
29. M. Wilson, A. Borning, Hierarchical constraint logic programming, J. Logic Programming 16 (3-4) (1993) 277-318.