Search Results for author:
Found 3 papers, 0 papers with code
Automating Defeasible Reasoning in Law
The paper studies defeasible reasoning in rule-based systems, in particular about legal norms and contracts.
User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version)
Given a (possibly empty) set of user provided facts, our method infers any additional facts that may be needed for the entailment of a query and then outputs these extra facts, without the user needing to explicitly specify the space of all abducibles.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
