research
∙
09/16/2022
User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version)
We present a method for generating possible proofs of a query with respe...
research
∙
05/15/2022