Author:Stefan Borgwardt

Publications
Finding Small Proofs for Description Logic Entailments: Theory and Practice Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Temporal Query Answering in DL-Lite with Negation Stefan Borgwardt and Veronika Thost In:GCAI 2015. Global Conference on Artificial Intelligence
Recent Advances in Unification for the EL Family Franz Baader, Stefan Borgwardt and Barbara Morawska In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification