Auflistung nach Autor "Rudolph, Sebastian"
Anzeige der Dokumente 1-2 von 2
-
Is Your Database System a Semantic Web Reasoner?
Krötzsch, Markus; Rudolph, Sebastian
169-176 -
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT
Manthey, Norbert; Peñaloza, Rafael; Rudolph, Sebastian
389-394