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

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.

• Type: Journal
• Year: 2010
• Where: RULEML
• Authors: Ho-Pun Lam, Guido Governatori
• Keywords: Ambiguity Propagating, Defeasible Logic, Defeasible Logic Implementation, Internet Technology, RULEML 2010