Four-valued Description Logic for Paraconsistent Reasoning

Wenzhao Qiao, Nico Roos

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

Original languageEnglish
Title of host publicationProceedings of the 23rd Benelux Conference on Artificial Intelligence (BNAIC 2011)
EditorsPatrick De Causmaecker, Joris Maervoet, Tommy Messelis, Katja Verbeeck, Tim Vermeulen
PublisherCODeS/KaHo Sint-Lieven
Pages175-182
Number of pages8
Publication statusPublished - 1 Nov 2011

Cite this

Qiao, W., & Roos, N. (2011). Four-valued Description Logic for Paraconsistent Reasoning. In P. D. Causmaecker, J. Maervoet, T. Messelis, K. Verbeeck, & T. Vermeulen (Eds.), Proceedings of the 23rd Benelux Conference on Artificial Intelligence (BNAIC 2011) (pp. 175-182). CODeS/KaHo Sint-Lieven.