Search the dblp DataBase

Publications of Author

1. Jörg Bredno, Sebastian Brandt, Jörg Dahmen, Berthold B. Wein, Thomas Martin Lehmann
   Kategorisierung von Röntgenbildern mit aktiven Konturmodellen. [Citation Graph (0, 0)][DBLP]
   Bildverarbeitung für die Medizin, 2000, pp:356-360 [Conf]
   
2. Sebastian Brandt
   Implementing Matching in ALE--First Results. [Citation Graph (0, 0)][DBLP]
   Description Logics, 2003, pp:- [Conf]
   
3. Sebastian Brandt
   On Subsumption and Instance Problem in ELH w.r.t. General TBoxes. [Citation Graph (0, 0)][DBLP]
   Description Logics, 2004, pp:- [Conf]
   
4. Sebastian Brandt, Anni-Yasmin Turhan
   Computing Least Common Subsumers for FLE⁺. [Citation Graph (0, 0)][DBLP]
   Description Logics, 2003, pp:- [Conf]
   
5. Sebastian Brandt
   Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else? [Citation Graph (0, 0)][DBLP]
   ECAI, 2004, pp:298-302 [Conf]
   
6. Franz Baader, Sebastian Brandt, Ralf Küsters
   Matching under Side Conditions in Description Logics. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2001, pp:213-218 [Conf]
   
7. Franz Baader, Sebastian Brandt, Carsten Lutz
   Pushing the EL Envelope. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2005, pp:364-369 [Conf]
   
8. Sebastian Brandt, Jörg Model
   Subsumption in w.r.t. Hybrid TBoxes. [Citation Graph (0, 0)][DBLP]
   KI, 2005, pp:34-48 [Conf]
   
9. Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan
   Approximation and Difference in Description Logics. [Citation Graph (0, 0)][DBLP]
   KR, 2002, pp:203-214 [Conf]
   
10. Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters
    Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:122-136 [Conf]
    
11. Sebastian Brandt
    Matching in Hybrid Terminologies. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:166-180 [Conf]
    
12. 
    Why do it the hard way? The Case for an Expressive Description Logic for SNOMED. [Citation Graph (, )][DBLP]