Artificial intelligence and the air traffic control system report of the Workshop on Artificial Intelligence held at the National Academy of Sciences, Washington, D.C., October 23,...