Paraconsistent reasoning and preferential entailments by signed quantified boolean formulae (2007)

by Ofer Arieli
Venue:26 Frederick Maier, Yue Ma, Pascal Hitzler / Paraconsistent OWL and Related Logics