Name Card

Full name Familienname, Vorname
Glimm, Birte
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Bajraktari, Labinot ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Clopen Knowledge Bases: Combining Description Logics and Answer Set ProgrammingKonferenzbeitrag Inproceedings 2017
2Labai, Nadia ; Homola, Martin ; Ortiz de la Fuente, M.Magdalena Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report)Konferenzbeitrag Inproceedings 2017
3Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Evolving Graph Databases under Description Logic ConstraintsKonferenzbeitrag Inproceedings 2013
4Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui Tractability Guarantees for DL-Lite Query AnsweringKonferenzbeitrag Inproceedings 2013
5Eiter, Thomas ; Glimm, Birte ; Kazakov, Yevgeny ; Krötzsch, Markus Informal Proceedings of the 26th International Workshop on Description LogicsKonferenzband Proceedings2013