Browse by Author "Lin, Zuoquan"
Now showing items 1-2 of 2
| 1. |
A tableau algorithm for paraconsistent and nonmonotonic reasoning in description logic-based system
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2011 Author(s): Lin, Zuoquan, Zhang, Xiaowang, Wang, Kewen |
| 2. |
Towards a Paradoxical Description Logic for the
Semantic Web
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2010 Author(s): Lin, Zuoquan, Wang, Kewen, Zhang, Xiaowang |
Now showing items 1-2 of 2
Footer information
This document has been optimised for printing, some elements from the original webpage may have been altered or removed.
Back to top