Uwe Keller, Stijn Heymans. Deciding Fuzzy Description Logics by Type Elimination. In Fernando Bobillo, Paulo Cesar G. da Costa, Claudia d Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Trevor P. Martin, Matthias Nickles, Michael Pool, Pavel Smrz, editors, Proceedings of the Fourth International Workshop on Uncertainty Reasoning for the Semantic Web, Karlsruhe, Germany, October 26, 2008. Volume 423 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
@inproceedings{KellerH08,
title = {Deciding Fuzzy Description Logics by Type Elimination},
author = {Uwe Keller and Stijn Heymans},
year = {2008},
url = {http://ceur-ws.org/Vol-423/paper1.pdf},
tags = {logic},
researchr = {https://researchr.org/publication/KellerH08},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Fourth International Workshop on Uncertainty Reasoning for the Semantic Web, Karlsruhe, Germany, October 26, 2008},
editor = {Fernando Bobillo and Paulo Cesar G. da Costa and Claudia d Amato and Nicola Fanizzi and Kathryn B. Laskey and Kenneth J. Laskey and Thomas Lukasiewicz and Trevor P. Martin and Matthias Nickles and Michael Pool and Pavel Smrz},
volume = {423},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}