Publications

Franz Baader, Stefan Borgwardt, Julian Alfredo Mendez, and Barbara Morawska. UEL: Unifcation solver for EL. In Proceedings of the 25th International Workshop on Description Logics (DL'12), CEUR Workshop Proceedings, Rome, Italy, 2012. To appear.
Franz Baader, Stefan Borgwardt, and Barbara Morawska. A goal-oriented algorithm for unifcation in EL w.r.t. cycle-restricted TBoxes. In Proceedings of the 25th International Workshop on Description Logics (DL'12), CEUR Workshop Proceedings, Rome, Italy, 2012. To appear.
Franz Baader, Stefan Borgwardt, and Barbara Morawska. SAT-encoding of unification in ELH R+ w.r.t. cycle-restricted ontologies. In Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artifcial Intelligence, pages 30-44, Manchester, UK, 2012. Springer-Verlag. To appear.
Franz Baader, Julian Mendez, and Barbara Morawska. UEL: Unification solver for the description logic EL (system description). In Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artifcial Intelligence, pages 45-51, Manchester, UK, 2012. Springer-Verlag. To appear.
Stefan Borgwardt and Barbara Morawska. Finding finite Herbrand models. In Nikolaj Bjørner and Andrei Voronkov, editors, Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR'12), volume 7180 of Lecture Notes in Computer Sci- ence, pages 138-152, Merida, Venezuela, 2012. Springer-Verlag.
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, and Barbara Morawska. Unification in the description logic EL without the Top concept. In Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR-WS, pages 26-36, 2011.
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, and Barbara Morawska. Unification in the description logic EL without the Top concept. In The 25th International Workshop on Unification (UNIF 2011), 2011.
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, and Barbara Morawska. Unification in the description logic EL without the top concept. In Nikolaj Bj??rner and Viorica Sofronie-Stokkermans, editors, Pro- ceedings of the 23rd International Conference on Automated Deduction (CADE 2011), volume 6803 of Lecture Notes in Computer Science, pages 70-84, Wroclaw, Poland, 2011. Springer-Verlag.
Franz Baader and Barbara Morawska. SAT encoding of unifcation in EL. In Christian G. Fermüller and Andrei Voronkov, editors, Proceedings of the 17th International Conference on Logic for Programming, Artical In- telligence, and Reasoning (LPAR-17), volume 6397 of Lecture Notes in Computer Science (subline Advanced Research in Computing and Software Science), pages 97-111, Yogyakarta, Indonesia, October 2010. Springer- Verlag.
Franz Baader and Barbara Morawska. SAT encoding of unification in EL. In The 24th International Workshop on Unification (UNIF 2010), 2010.
Franz Baader and Barbara Morawska. Unification in the description logicEL. Logical Methods in Computer Science, 6(3), 2010. Special Issue of the 20th International Conference on Rewriting Techniques and Applications; also available at http://arxiv.org/abs/1006.2289.
Franz Baader and Barbara Morawska. Unifcation in the description logic EL. In Ralf Treinen, editor, Proceedings of the 20th International Confer- ence on Rewriting Techniques and Applications (RTA 2009), volume 5595 of Lecture Notes in Computer Science, pages 350-364. Springer-Verlag, 2009.
Franz Baader and Barbara Morawska. Unifcation in the description logic EL. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors, Proceedings of the 22nd International Workshop on De- scription Logics (DL 2009), volume 477 of CEUR Workshop Proceedings. CEUR-WS.org, 2009.
Franz Baader and Barbara Morawska. Unifcation in the description logic EL. In The 22nd International Workshop on Unifcation (UNIF 2009), 2009.
Barbara Morawska. General E -unifcation with Eager Variable Eliminationand a nice cycle rule. J. Autom. Reasoning, 39(1):77-106, 2007.
Christopher Lynch and Barbara Morawska. Symbolic debugging in polynomialtime. In The 19th International Workshop on Unifcation (UNIF 2005), 2005.
Christopher Lynch and Barbara Morawska. Faster Basic Syntactic Mutationwith sorts for some separable equational theories. In JÜrgen Giesl, editor, Proceedings of the 16th International Conference on Term Rewriting and Applications, RTA 2005), volume 3467 of Lecture Notes in Computer Science, pages 90-104, 2005.
Barbara Morawska. Completeness of E-unifcation with Eager VariableElimination. In Proceedings of the 10th International Conference on Logic for Programming, Artifcial Intelligence, and Reasoning, (LPAR 2003), volume 2850 of Lecture Notes in Computer Science, pages 198-212, 2003.
Christopher Lynch and Barbara Morawska. Basic Syntactic Mutation. In Andrei Voronkov, editor, Proceedings of the 18th International Conference on Automated Deduction (CADE-18), volume 2392 of Lecture Notes in Computer Science, pages 471-485, 2002.
Christopher Lynch and Barbara Morawska. Automatic decidability. In Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002),. IEEE Computer Society, 2002.
Christopher Lynch and Barbara Morawska. Decidability and complexity of finitely closable linear equational theories. In Rajeev Gorøe, Alexander Leitsch, and Tobias Nipkow, editors, Proceedings of the 1st International Joint Conference on Automated Reasoning, (IJCAR 2001), volume 2083 of Lecture Notes in Computer Science, pages 499-513, 2001.
Christopher Lynch and Barbara Morawska. Approximating E-unification. In 15th International Workshop on Unification (UNIF 2001), 2001.
Christopher Lynch and Barbara Morawska. Complexity of linear standard theories. In Robert Nieuwenhuis and Andrei Voronkov, editors, Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2001), volume 2250 of Lecture Notes in Computer Science, pages 186-200, 2001.
Christopher Lynch and Barbara Morawska. Goal-directed E-unification. In Aart Middeldorp, editor, Proceedings of the 12th International Conference on Rewriting Techniques and Applications (RTA 2001), volume 2051 of Lecture Notes in Computer Science, pages 231-245, 2001.