Publications

Found 1 results
Filters: Keyword is Horn logic  [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.