Paraconsistent preferential reasoning by signed quantified Boolean formulae (2004)

by Ofer Arieli
Venue:In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004