A Tableau-based Reasoning Method for Four-valued Description Logic $ALC$

Wenzhao Qiao, Nico Roos

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the 24th Benelux Conference on Artificial Intelligence (BNAIC 2012)
EditorsJos W.H.M. Uiterwijk, Nico Roos, Mark H.M. Winands
Place of PublicationMaastricht
PublisherDepartment of Knowledge Engineering, Maastricht University
Pages202-209
Number of pages8
Publication statusPublished - 1 Oct 2012

Cite this

Qiao, W., & Roos, N. (2012). A Tableau-based Reasoning Method for Four-valued Description Logic $ALC$. In J. W. H. M. Uiterwijk, N. Roos, & M. H. M. Winands (Eds.), Proceedings of the 24th Benelux Conference on Artificial Intelligence (BNAIC 2012) (pp. 202-209). Department of Knowledge Engineering, Maastricht University.