Author:Barbara Morawska

Publications
UNIF 2013. 27th International Workshop on Unification Konstantin Korovin and Barbara Morawska (editors) EPiC Series in Computing, volume 19
Subsumption in FL_⊥reg with TBox Is in ExpTime. Michał Henne, Barbara Morawska and Paweł Parys In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
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
Hybrid Unification in the Description Logic EL Franz Baader, Oliver Fernandez Gil and Barbara Morawska In:UNIF 2013. 27th International Workshop on Unification