An ExpTime Upper Bound for ALC with Integers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Nadia Labai' in GoogleThis author has not been identified. Look up 'Magdalena Ortiz' in GoogleThis author has not been identified. Look up 'Mantas Simkus' in Google

runs on WebDSL