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.
Qiao, Wenzhao ; Roos, Nico. / Four-valued Description Logic for Paraconsistent Reasoning. Proceedings of the 23rd Benelux Conference on Artificial Intelligence (BNAIC 2011). editor / Patrick De Causmaecker ; Joris Maervoet ; Tommy Messelis ; Katja Verbeeck ; Tim Vermeulen. CODeS/KaHo Sint-Lieven, 2011. pp. 175-182
@inproceedings{50f5ae91a37a41afb51c44216f00761e,
title = "Four-valued Description Logic for Paraconsistent Reasoning",
author = "Wenzhao Qiao and Nico Roos",
year = "2011",
month = "11",
day = "1",
language = "English",
pages = "175--182",
editor = "Causmaecker, {Patrick De} and Joris Maervoet and Tommy Messelis and Katja Verbeeck and Tim Vermeulen",
booktitle = "Proceedings of the 23rd Benelux Conference on Artificial Intelligence (BNAIC 2011)",
publisher = "CODeS/KaHo Sint-Lieven",

}

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

Four-valued Description Logic for Paraconsistent Reasoning. / Qiao, Wenzhao; Roos, Nico.

Proceedings of the 23rd Benelux Conference on Artificial Intelligence (BNAIC 2011). ed. / Patrick De Causmaecker; Joris Maervoet; Tommy Messelis; Katja Verbeeck; Tim Vermeulen. CODeS/KaHo Sint-Lieven, 2011. p. 175-182.

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

TY - GEN

T1 - Four-valued Description Logic for Paraconsistent Reasoning

AU - Qiao, Wenzhao

AU - Roos, Nico

PY - 2011/11/1

Y1 - 2011/11/1

M3 - Conference article in proceeding

SP - 175

EP - 182

BT - Proceedings of the 23rd Benelux Conference on Artificial Intelligence (BNAIC 2011)

A2 - Causmaecker, Patrick De

A2 - Maervoet, Joris

A2 - Messelis, Tommy

A2 - Verbeeck, Katja

A2 - Vermeulen, Tim

PB - CODeS/KaHo Sint-Lieven

ER -

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