Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos. UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper). In Michael Hanus, Daniela Inclezan, editors, Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings. Volume 13880 of Lecture Notes in Computer Science, pages 250-260, Springer, 2023. [doi]
Abstract is missing.