Publications
Export 1 results:
Filters: First Letter Of Keyword is T and Author is Sebastian Rudolph [Clear All Filters]
“Type-Elimination-Based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog”, Logical Methods in Computer Science, vol. 8, 2012. type-elimination-2012.pdf (368.62 KB)
,