Railway track possession assignment using constraint satisfaction

Engineering Applications of Artificial Intelligence

Volumn 12, Issue 5, 1999, Pages 599-611

  Cheung, Bruce S N ^a   Chow, K P ^b   Hui, Lucas C K ^b   Yong, Alvin M K ^c  

^a UNIVERSITY OF HONG KONG   (Hong Kong)

^b UNIVERSITY OF HONG KONG   (Hong Kong)

^c ICO Limited   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; CONSTRAINT THEORY; EXPERT SYSTEMS; PROBLEM SOLVING; RAILROAD TRANSPORTATION; RESOURCE ALLOCATION; TRUCKS;

ENGINEERING WORK TRACK POSSESSION ASSIGNMENT SYSTEMS (EWTPAS);

ARTIFICIAL INTELLIGENCE;

EID: 0033204515     PISSN: 09521976     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0952-1976(99)00025-1     Document Type: Article

References (19)

1. Berger, R., 1995. Constraint-based gate allocation for airports, ILOG solver and schedule. In: First International User's Conference Proceeding, Abbaye des Vaux de Cernay, France, 1-9.
2. Brazile, P., Swigger, K., 1988. GATES: an airline gate assignment and tracking. IEEE Expert 3, 33-39.
3. Chow, K.P., Hui, C.K., 1993. Knowledge-based system for rostering. Expert Systems With Applications 6 (3), 361-375.
4. Chow, K.P., Perett, M., 1997. Airport counter allocation using constraint logic programming. In: Proceedings of the Third International Conference of the Practical Application of Constraint Technology, London, UK.
5. Clocksin, W.F., Mellish, C.S., 1981. Programming in Prolog. Springer, New York.
6. Cosytec SA, 1993a. CHIP User's Guide Version 4.0. France.
7. Cosytec SA, 1993b. CHIP Reference Manual Version 4.0. France.
8. Dincbas, M., van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T., Berthier, F., 1988a. The constraint logic programming language CHIP. In: Proceedings of the International Conference on Fifth Generation Computer Systems, ICOT, 693-702.
9. Dincbas, M., Simonis, H., van Hentenryck, P., 1988b. Solving the car sequence problem in constraint logic programming. In: European Conference on Artificial Intelligence (ECAI-88), Munich, West Germany.
10. Dincbas, M., Simonis, H., van Hentenryck, P., 1990. Solving large combinatorial problems in logic programming. Journal of Logic Programming 8, 75-93.
11. Dincbas, M., Simonis, H., 1991. APACHE - a constraint based, automated stand allocation system. In: Proceedings of Advanced Software Technology in Air Transport (ASTAIR'91), Royal Aeronautical Society, 267-282.
12. Horn, A., 1951. On sentences which are true of direct unions of algebras. Journal of Symbolic Logic 16, 14-21.
13. Ibaraki, T., Katoh, N., 1988. Resource Allocation Problems: Algorithmic Approaches. MIT Press, Cambridge, MA.
14. Jo, G., Jung, J., Yang, C., 1997. Expert system for scheduling in an airline gate allocation. Expert Systems With Applications 13 (4), 275-282.
15. Liu, B., 1993. Knowledge-based factory scheduling: resource allocation and constraint satisfaction. Expert Systems With Applications 6 (3), 349-359.
16. Papadimitriou, C., Steiglitz, K., 1982. Combinatorial Optimization: Algorithms and Complexity. Prentice-Hall, Englewood Cliffs, NJ.
17. Schilling, R., Twele, H., 1994. Computer aided planning of track maintenance. In: Fourth International Conference on Computer Aided Design, Manufacture and Operation in Railway and Other Mass Transit Systems (COMPRAIL 94), 175-180.
18. van Hentenryck, P., 1989. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA.
19. Yoshimura, A., Yoshida, Y., Hosokawa, T., Kikuchi, K., 1992. Database system for a railway track maintenance management, micro LABOCS-2 + and its application. In: Third International Conference on Computer Aided Design, Manufacture and Operation in Railway and Other Mass Transit Systems (COMPRAIL 92), 149-160.