Sebastian Rudolph, Lukas Schweizer. Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics. In Alessandro Artale, Birte Glimm, Roman Kontchakov, editors, Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. Volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]
@inproceedings{RudolphS17,
title = {Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics},
author = {Sebastian Rudolph and Lukas Schweizer},
year = {2017},
url = {http://ceur-ws.org/Vol-1879/paper28.pdf},
researchr = {https://researchr.org/publication/RudolphS17},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017},
editor = {Alessandro Artale and Birte Glimm and Roman Kontchakov},
volume = {1879},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}