2 papers
cs.AI2022
User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version)
Avishkar Mahajan, Martin Strecker, Meng Weng Wong
We present a method for generating possible proofs of a query with respect to a given Answer Set Programming (ASP) rule set using an abductive process where the space of abducibles…
cs.AI2022
Automating Defeasible Reasoning in Law
How Khang Lim, Avishkar Mahajan, Martin Strecker +1
The paper studies defeasible reasoning in rule-based systems, in particular about legal norms and contracts. We identify rule modifiers that specify how rules interact and how they…