5 citations · 5 across the 3 of their papers we have counts for
3 papers
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…
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…
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.…