Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Sebastian Rudolph' in GoogleThis author has not been identified. Look up 'Lukas Schweizer' in Google

runs on WebDSL