On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic

* Final gross prices may vary according to local VAT.

Get Access

Abstract

In this paper we present the well founded variants of ambiguity blocking and ambiguity propagating defeasible logics. We also show how to extend SPINdle, a state of the art, defeasible logic implementation to handle all such variants of defeasible logic.