Sign in
UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper).
Sarat Chandra Varanasi
Baoluo Meng
Christopher C. Alexander
Szabolcs Borgyos
Published in:
PADL (2023)
Keyphrases
</>
answer set programming
logic programs
logic programming
answer sets
tree decomposition
causal theories
database
machine learning
artificial intelligence
knowledge representation
reasoning tasks
constraint logic programming