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...
share
research
∙
05/15/2022
Automating Defeasible Reasoning in Law
The paper studies defeasible reasoning in rule-based systems, in particu...
research
∙
07/31/2018
