Nadia Labai, Magdalena Ortiz, Mantas Simkus. An ExpTime Upper Bound for ALC with Integers. In Diego Calvanese, Esra Erdem 0001, Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. pages 614-623, 2020. [doi]
@inproceedings{LabaiOS20,
title = {An ExpTime Upper Bound for ALC with Integers},
author = {Nadia Labai and Magdalena Ortiz and Mantas Simkus},
year = {2020},
doi = {10.24963/kr.2020/61},
url = {https://doi.org/10.24963/kr.2020/61},
researchr = {https://researchr.org/publication/LabaiOS20},
cites = {0},
citedby = {0},
pages = {614-623},
booktitle = {Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020},
editor = {Diego Calvanese and Esra Erdem 0001 and Michael Thielscher},
isbn = {978-0-9992411-7-2},
}