3 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…
cs.SE2018
Implementation of Smart Contracts Using Hybrid Architectures with On- and Off-Blockchain Components
Carlos Molina-Jimenez, Ioannis Sfyrakis, Ellis Solaiman +4
Recently, decentralised (on-blockchain) platforms have emerged to complement centralised (off-blockchain) platforms for the implementation of automated, digital (smart) contracts.…