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: Morawska:Barbara
Contributed to:
2015
2012
2012
2011200920052002
200220012001Wrote 11 papers:
- RTA-2015-BaaderBM
- 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.
- CADE-2002-LynchM
- 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.
- RTA-2001-LynchM
- Goal-Directed E-Unification (CL, BM), pp. 231–245.