Barbara Morawska

From International Center for Computational Logic

Dr. Barbara Morawska

Former member

Newest Publications

View full publication list

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
Notre Dame Journal of Formal Logic, 57(4):443–476, 2016
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification
Logical Methods of Computer Science, 12(4:1):1–28, 2016
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and local disunification in EL
In Maribel Fernández, eds., Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA’15), volume 36 of Leibniz International Proceedings in Informatics, 40–56, 2015. Dagstuhl Publishing
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and Local Disunification in EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-03, 2015. LTCS-Report
Details Download
Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-03, 2014. LTCS-Report
Details Download
Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
In Temur Kutsia and Christophe Ringeissen, eds., Proceedings of the 28th International Workshop on Unification (UNIF'14), RISC-Linz Report Series No. 14-06, 22-26, 2014
Details Download
Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
In Carsten Lutz and Michael Thielscher, eds., Proceedings of the 37th German Conference on Artificial Intelligence (KI'14), volume 8736 of Lecture Notes in Artificial Intelligence, 135-146, 2014. Springer
Details Download
Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 33-44, 2014
Details Download
Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-07, 2013. LTCS-Report
Details Download
Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 295-310, September 2013. Springer
Details Download
View full publication list