2 papers
cs.LO2000
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…
cs.AI2000
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…