Original language | English |
---|---|
Title of host publication | Proceedings of the 24th Benelux Conference on Artificial Intelligence (BNAIC 2012) |
Editors | Jos W.H.M. Uiterwijk, Nico Roos, Mark H.M. Winands |
Place of Publication | Maastricht |
Publisher | Department of Knowledge Engineering, Maastricht University |
Pages | 202-209 |
Number of pages | 8 |
Publication status | Published - 1 Oct 2012 |
A Tableau-based Reasoning Method for Four-valued Description Logic $ALC$
Wenzhao Qiao, Nico Roos
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review