Barbara Morawska

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Dismatching and local disunification in $\mathcal {EL}$	2017-07-12	Paper
Extending unification in $\mathcal{EL}$ to disunification: the case of dismatching and local disunification Logical Methods in Computer Science	2017-04-11	Paper
Deciding unifiability and computing local unifiers in the description logic $\mathcal{EL}$ without top constructor Notre Dame Journal of Formal Logic	2016-12-15	Paper
scientific article; zbMATH DE number 6302892 (Why is no real title available?)	2014-06-11	Paper
Hybrid unification in the description logic $\mathcal{EL}$ Frontiers of Combining Systems	2013-09-20	Paper
UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description Automated Reasoning	2012-09-05	Paper
SAT encoding of unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. cycle-restricted ontologies Automated Reasoning	2012-09-05	Paper
Finding finite Herbrand models Logic for Programming, Artificial Intelligence, and Reasoning	2012-06-15	Paper
Unification in the description logic $\mathcal{EL}$ without the top concept Lecture Notes in Computer Science	2011-07-29	Paper
SAT Encoding of Unification in $\mathcal{EL}$ Logic for Programming, Artificial Intelligence, and Reasoning	2010-10-12	Paper
Unification in the description logic EL Logical Methods in Computer Science	2010-09-21	Paper
Completeness of $E$-unification with eager variable elimination	2010-02-24	Paper
Unification in the Description Logic $\mathcal{EL}$ Rewriting Techniques and Applications	2009-06-30	Paper
General $E$-unification with eager variable elimination and a nice cycle rule Journal of Automated Reasoning	2007-08-17	Paper
scientific article; zbMATH DE number 1941930 (Why is no real title available?)	2003-11-05	Paper
scientific article; zbMATH DE number 1722709 (Why is no real title available?)	2002-03-21	Paper

Research outcomes over time

This page was built for person: Barbara Morawska