An ASP Framework for Efficient Urban Traffic Optimization