Oliver Fernández Gil

Intelligent Systems Department
Computer Science Institute
University of Leipzig
Augustusplatz 10, Room A416
04109 Leipzig

email: fernandez AT informatik dot uni-leipzig dot de
phone: +493419732334

I am a doctoral student in the QuantLA Reasearch Training Group. My supervisors are Prof. Dr. Gerhard Brewka and Prof. Dr.-Ing. Franz Baader


Satisfiability for MTL and TPTL over Non-monotonic Data Words (with Claudia Carapelle, Shiguang Feng and Karin Quaas). In Proceedings of LATA 2014. to appear.

Hybrid Unification in the Description Logic EL (with Franz Baader and Barbara Morawska). In Pascal Fontaine, Christophe Ringeissen, and Renate A. Schmidt, editors, Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, pages 295-310. Nancy, France, Springer-Verlag, September 2013.
Paper (pdf) Technical Report (pdf)

Hybrid EL-Unification is NP-Complete (with Franz Baader and Barbara Morawska). In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Krötzsch, editors, Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, pages 29-40, July 2013.
Paper (pdf)