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
∙
03/07/2018
On the Verification of Logically Decorated Graph Transformations
We address the problem of reasoning on graph transformations featuring a...
research
∙
06/24/2014