Cheng, Jingde Zhu, Zhililang Goto, Yuichi Shi, Kai Anticipatory Runway Incursion Prevention Systems - 2385-2396 p. Subjects--Topical Terms: Runway Incursion PreventionLogic-Based ReasoningAnticipatory Computing