Applications of Goal-directed Answer Set Programming to Avionics Industry*

Brendan Hall∗, Sarat Chandra Varanasi†, Jan Fiedor‡, Joaquin Arias§, Kinjal Basu†, Fang Li†, Devesh Bhatt∗, Kevin Driscoll∗, Elmer Salazar†, Gopal Gupta† ∗Honeywell Advanced Technology, Plymouth, USA †Department of Computer Science, The University of Texas at Dallas, Richardson, TX, USA ‡ Honeywell International s.r.o, Brno, Czech Republic & Brno Univ. of Technology §Universidad Rey Juan Carlos, Madrid, Spain