A distributed constraint-based scheduler

Artificial Intelligence in Engineering

Volumn 11, Issue 2, 1997, Pages 91-105

  Lamma, E ^a   Mello, P ^a   Milano, M ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Constraint logic programming; Distribution; Railway traffic control; Scheduling; Temporal reasoning

Indexed keywords

COMPUTER SOFTWARE; CONSTRAINT THEORY; DESIGN; LOGIC PROGRAMMING; OPTIMIZATION; SCHEDULING;

CONSTRAIN-BASED SCHEDULERS;

RAILROAD TRAFFIC CONTROL;

EID: 0031126235     PISSN: 09541810     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0954-1810(96)00002-7     Document Type: Article

References (28)

1. Fringuelli, B. Lamma, E. Mello, P. Santocchia, G. 'Knowlege based technology for controlling railway stations'. IEEE Expert, 1992, pp. 45-52.
2. Fringuelli, B. Lamma, E. Mello, P. & Santocchia, G. 'An expert system for train traffic control'. Proceedings Expert Systems and Their Applications - Avignon91, Vol. 6 Avignon, 1991, pp. 43-53.
3. Accardi, L. Fabrini, E. & Lucentini, M. 'Study and experimentation for optimising railway traffic'. First National Conference CNR, 'Progetto Finalizzato Trasporti II', Vol. 4, Rome, 1993, pp. 2033-60 (in Italian).
4. Cullyer, W. J. & Wise, W. 'Application of formal methods to railway signalling'. Proceedings of the Safety and Reliability Society Symposium, Bath, 1989, pp. 11-28.
5. Mascis, A. & Sassano, A. 'Job-shop, no-wait in process with blocking models for the ordering of trains within big railway stations'. First National Conference CNR, 'Progetto Finalizzato Trasporti II', Vol. 4, Rome, 1993, pp. 2075-94 (in Italian).
6. Baptiste, P. Legeard, B. Manier, M. A. & Varnier, C., 'A Scheduling problem optimisation solved with constraint logic programming'. Proceedings Practical Applications Of Prolog, London, 1994, pp. 47-66.
7. Breitinger, S. Lock, H. C. R. Modeling and scheduling in CLP (FD). Proceedings Practical Applications of Prolog, London, 1994, pp. 95-110.
8. Caseau, Y. Laburthe, F. Improved CLP scheduling with task intervals. Proceedings International Conference of Logic Programming, S. Margherita, Italy, 1994, pp. 369-83.
9. Christodoulou, N. Stefanitsis, E. Kaltsas, E. & Assimakopoulos, V. 'A constraint logic programming approach to the vehicle-fleet scheduling problem'. Proceedings Practical Applications of Prolog, London, 1994, pp. 137-48.
10. Duncan, T. 'Intelligent vehicle scheduling: experiences with a contraint-based approach'. Proceedings of Expert System 94: the Fourteenth Annual Conference of the British computer Society Specialist Group on Expert Systems Cambridge, UK, 1994.
11. Fox, M. S. & Sadeh, N. 'Why is scheduling difficult? A CSP perspective'. Proceedings ECAI 90, 1990, pp. 754-67.
12. Sauthier, E. & Faltings, B. 'Model-based traffic control'. Artificial Intelligence in Engineering, 1992, 7, 139-51.
13. Van Hentenryck, P. 'Constraint Satisfaction in Logic Programming'. MIT Press, 1989.
14. Jaffar, J. & Lassez, J. L. 'Constraint Logic Programming', Proceedings Conference on Principles of Programming Languages, Munich, 1987.
15. Jaffar, J. & Maher, M. J. 'Constraint Logic Programming: a survey' Journal of Logic Programming, Special Issue for 10 Years of Logic Programming, 1994.
16. Kowalski, R. 'Logic for Problem Solving'. North-Holland, 1979.
17. Lloyd, J. W. 'Foundation of Logic Programming'. 2nd extended edn. Springer-Verlag, 1987.
18. El Fattah, Y. 'Constraint logic programming: applications and implication'. Artificial Intelligence in Engineering, 1992, 7, 175-82.
19. CHIP User's Guide. Version 4.0. A. COSYTEC SA, France, 1993.
20. Dincbas, M. Van Hentenryck, P. Simonis, M. Aggoun, A. Graf, T. & Berthier, F. 'The constraint logic programming language CHIP. Proceedings International Conference on Fifth Generation Computer Systems, Tokyo 1988, pp. 693-702.
21. Jaffar, J. Michaylov, S. Stuckey, P. J. & Yap, R. H. C., 'The CLP(R) language and system'. ACM Transaction on Programming Language and Systems, 1992, 14(3), 339-95.
22. Colmerauer, A. 'An introduction to Prolog III'. ACM Communication, 1990, 33(7), 70-90.
23. e User Manual Release 3.3, ECRC, 1992.
24. Puget, J. F. 'A C++ implementation of CLP'. Technical Report 94-01, ILOG Headquarters, France.
25. SEPIA User Manual Release 3.1, ECRC, 1991.
26. Sabharwal, A., et al. 'Asynchronous production system'. Knowledge Based Systems, Vol. 2, 1989, 2(2) 117-27.
27. Yaampratoom, E. & Allen, J. F. Performance of temporal reasoning system. SIGART Bulletin, 1993, 4(3).
28. Stevens, R. UNIX Network Programming. Prentice Hall, 1991.