@dblp

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

, and . EPIA, volume 10423 of Lecture Notes in Computer Science, page 695-708. Springer, (2017)

Links and resources

Tags