110 citations · 332 across the 24 of their papers we have counts for
3 papers · 1 filter
Representation results for defeasible logic
G. Antoniou, D. Billington, G. Governatori +1
The importance of transformations and normal forms in logic programming, and generally in computer science, is well documented. This paper investigates transformations and normal f…
A tableau methodology for deontic conditional logics
Alberto Artosi, Guido Governatori
In this paper we present a theorem proving methodology for a restricted but significant fragment of the conditional language made up of (boolean combinations of) conditional statem…
A flexible framework for defeasible logics
G. Antoniou, D. Billigton, G. Governatori +1
Logics for knowledge representation suffer from over-specialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for o…