Publications

Export 1 results:
Filters: Keyword is Horn logic and Author is Markus Krötzsch  [Clear All Filters]
2013
M. Krötzsch, Rudolph, S., and Hitzler, P., “Complexities of Horn Description Logics”, ACM Trans. Comput. Log., vol. 14, p. 2, 2013.PDF icon Hitzler-HornDLs-2013.pdf (764.32 KB)