research
∙
08/11/2021
Approximating Defeasible Logics to Improve Scalability
Defeasible rules are used in providing computable representations of leg...
share
research
∙
06/21/2021
Defeasible Reasoning via Datalog^
We address the problem of compiling defeasible theories to Datalog^ prog...
research
∙
02/21/2021
Relative Expressiveness of Defeasible Logics II
(Maher 2012) introduced an approach for relative expressiveness of defea...
research
∙
02/12/2021
On Signings and the Well-Founded Semantics
In this note, we use Kunen's notion of a signing to establish two theore...
research
∙
08/30/2020
Corruption and Audit in Strategic Argumentation
Strategic argumentation provides a simple model of disputation and negot...
research
∙
08/03/2020
A lemma on closures and its application to modularity in logic programming semantics
This note points out a lemma on closures of monotonic increasing functio...
research
∙
01/02/2020
Rethinking Defeasible Reasoning: A Scalable Approach
Recent technological advances have led to unprecedented amounts of gener...
research
∙
02/25/2017
Contractibility for Open Global Constraints
Open forms of global constraints allow the addition of new variables to ...
research
∙
09/24/2009