Sarat Chandra Varanasi, Baoluo Meng, Christopher Alexander, Szabolcs Borgyos, Brendan Hall. Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming. In Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber 0001, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily Leblanc, Michael Morak, Elmer Salazar, Jessica Zangari, editors, Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022. Volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]
Abstract is missing.