Quasi-classical description logic (2012)

by X Zhang, Z Lin
Venue:Multiple-Valued Logic and Soft Computing