Markus Kroetzsch

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Exptime Complete

Expressive Description Logics

Top Venues

Publications

Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik
Practical Reasoning with Nominals in the EL Family of Description Logics. KR (2012)