Sarat Chandra Varanasi et al.: UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper). (2023)conf/padl/VaranasiMAB2310.1007/978-3-031-24841-2_16UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper).4Sarat Chandra Varanasi1Baoluo Meng2Christopher C. Alexander3Szabolcs Borgyos4250-260PADLPADL20232023provenance information for RDF data of dblp record 'conf/padl/VaranasiMAB23'2023-01-31T15:18:38+0100