1 A METHODOLOGY FOR TRAFFIC SIGNAL CONTROL BASED ON LOGIC PROGRAMMING Giovanni FeliciIstituto di Analisi dei Sistemi ed Informatica (IASI-CNR), Consiglio.