FasTraC a decentralized traffic control system based on logic programming

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

Volumn 1104, Issue , 1996, Pages 216-220

  Felici, Giovanni ^a,c   Rinaldi, Giovanni ^b   Truemper, Klaus ^c  

^a CENTRO RICERCHE FIAT   (Italy)

^b UNIVERSITY OF TEXAS AT DALLAS   (United States)

^c CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CONTROL SYSTEMS; FORMAL LOGIC; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE; THEOREM PROVING; TRAFFIC CONTROL;

CONTROL UNIT; ENGLISH LANGUAGES; INDEPENDENT CONTROL; PROPOSITIONAL LOGIC; URBAN NETWORKS;

COMPUTER CIRCUITS;

EID: 84957718917     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61511-3_82     Document Type: Conference Paper

References (5)

1. G. Felici, G. Rinaldi, and K. Truemper, Development of a Decentralized Traffic Control System base on Logic Programming, proceedings of the 4th International Conference on Applications of Advanced Technologies in Transportation Engineering, Capri, Italy, 27-30 June 1995
2. G. Felici, G. Rinaldi, and K. Truemper, Controllo decentralizzato del traffico tramite programmazione logica, proceedings of the II Convegno Nazionale del Progetto Fi- nalizzato Trasporto II, CNR, Genova, Italy, 29-31 May 1995
3. Leibniz System for Logic Programming Ver. 4.0, Leibniz Plano, Texas 75023, U.S.A. (1994).
4. S. Lengyel, G. Rinaldi, and K. Truemper, Un sistema di controllo del traffico che utilizza la programmazione logica, Progetto Finalizzato Trasporti 2, atti del Primo Convegno Nazionale, Roma, 19-21 Ottobre 1993
5. G. Rinaldi and K. Truemper, A Decentralized Traffic Control System Bases on Logic Programming, Proceedings of TRIennial Symposium on Transportation Analysis, Capri, 23-28, June 1994