Symposium on Practical Aspects of Declarative Languages

• UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper)