Name Card

Full name Familienname, Vorname
Hölldobler, Steffen
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Gottlob, Georg ; Ortiz, Magdalena ; Šimkus, Mantas Query Answering in the Description Logic Horn-SHIQKonferenzbeitrag Inproceedings 2008
2Ortiz, Magdalena Extending Carin to the Description Logics of the $\mathcal{SH}$ FamilyKonferenzbeitrag Inproceedings 2008
3Herman, Miki ; Pichler, Reinhard Counting Complexity of Minimal Cardinality and Minimal Weight AbductionKonferenzbeitrag Inproceedings 2008