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). Maastricht: Department of Knowledge Engineering, Maastricht University.
Qiao, Wenzhao ; Roos, Nico. / A Tableau-based Reasoning Method for Four-valued Description Logic $ALC$. Proceedings of the 24th Benelux Conference on Artificial Intelligence (BNAIC 2012). editor / Jos W.H.M. Uiterwijk ; Nico Roos ; Mark H.M. Winands. Maastricht : Department of Knowledge Engineering, Maastricht University, 2012. pp. 202-209
@inproceedings{f5519d5ee7bc4448973de17ceebbf205,
title = "A Tableau-based Reasoning Method for Four-valued Description Logic $ALC$",
author = "Wenzhao Qiao and Nico Roos",
year = "2012",
month = "10",
day = "1",
language = "English",
pages = "202--209",
editor = "Uiterwijk, {Jos W.H.M.} and Nico Roos and Winands, {Mark H.M.}",
booktitle = "Proceedings of the 24th Benelux Conference on Artificial Intelligence (BNAIC 2012)",
publisher = "Department of Knowledge Engineering, Maastricht University",

}

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

A Tableau-based Reasoning Method for Four-valued Description Logic $ALC$. / Qiao, Wenzhao; Roos, Nico.

Proceedings of the 24th Benelux Conference on Artificial Intelligence (BNAIC 2012). ed. / Jos W.H.M. Uiterwijk; Nico Roos; Mark H.M. Winands. Maastricht : Department of Knowledge Engineering, Maastricht University, 2012. p. 202-209.

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

TY - GEN

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

AU - Qiao, Wenzhao

AU - Roos, Nico

PY - 2012/10/1

Y1 - 2012/10/1

M3 - Conference article in proceeding

SP - 202

EP - 209

BT - Proceedings of the 24th Benelux Conference on Artificial Intelligence (BNAIC 2012)

A2 - Uiterwijk, Jos W.H.M.

A2 - Roos, Nico

A2 - Winands, Mark H.M.

PB - Department of Knowledge Engineering, Maastricht University

CY - Maastricht

ER -

Qiao W, Roos N. A Tableau-based Reasoning Method for Four-valued Description Logic $ALC$. In Uiterwijk JWHM, Roos N, Winands MHM, editors, Proceedings of the 24th Benelux Conference on Artificial Intelligence (BNAIC 2012). Maastricht: Department of Knowledge Engineering, Maastricht University. 2012. p. 202-209