BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Japan
1 × The Netherlands
1 × United Kingdom
2 × Denmark
2 × Italy
2 × Poland
Collaborated with:
C.Lynch F.Baader S.Borgwardt J.Mendez T.B.Nguyen
Talks about:
unif (6) descript (4) logic (3) syntact (2) theori (2) mutat (2) equat (2) decid (2) basic (2) restrict (1)

Person: Barbara Morawska

DBLP DBLP: Morawska:Barbara

Contributed to:

RTA 20152015
IJCAR 20122012
KR 20122012
CADE 20112011
RTA 20092009
RTA 20052005
CADE 20022002
LICS 20022002
IJCAR 20012001
RTA 20012001

Wrote 11 papers:

Dismatching and Local Disunification in EL (FB, SB, BM), pp. 40–56.
IJCAR-2012-BaaderBM #encoding #ontology #satisfiability #strict #unification
SAT Encoding of Unification in ℰℒℋ_R⁺ w.r.t. Cycle-Restricted Ontologies (FB, SB, BM), pp. 30–44.
IJCAR-2012-BaaderMM #logic #named #unification
UEL: Unification Solver for the Description Logic ℰℒ — System Description (FB, JM, BM), pp. 45–51.
KR-2012-BaaderBM #towards #unification
Extending Unification in EL Towards General TBoxes (FB, SB, BM).
CADE-2011-BaaderBBM #concept #logic #unification
Unification in the Description Logic EL without the Top Concept (FB, TBN, SB, BM), pp. 70–84.
RTA-2009-BaaderM #logic #unification
Unification in the Description Logic EL (FB, BM), pp. 350–364.
RTA-2005-LynchM #equation #performance
Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories (CL, BM), pp. 90–104.
Basic Syntactic Mutation (CL, BM), pp. 471–485.
LICS-2002-LynchM #automation #decidability
Automatic Decidability (CL, BM), p. 7–?.
IJCAR-2001-LynchM #complexity #decidability #equation #linear
Decidability and Complexity of Finitely Closable Linear Equational Theories (CL, BM), pp. 499–513.
Goal-Directed E-Unification (CL, BM), pp. 231–245.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.