A Model-Theoretic Semantics for Defeasible Logic (2002)

by M J Maher
Venue:in ‘Paraconsistent Computational Logic