Unification in the description logic EL F Baader, B Morawska Logical Methods in Computer Science 6, 2010 | 143 | 2010 |
Extending unification in EL towards general TBoxes F Baader, S Borgwardt, B Morawska Thirteenth International Conference on the Principles of Knowledge …, 2012 | 57 | 2012 |
Automatic decidability C Lynch, B Morawska Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 7-16, 2002 | 46 | 2002 |
Basic syntactic mutation C Lynch, B Morawska International Conference on Automated Deduction, 471-485, 2002 | 35 | 2002 |
SAT Encoding of Unification in F Baader, B Morawska International Conference on Logic for Programming Artificial Intelligence …, 2010 | 29 | 2010 |
Transfer learning-based UWB indoor localization using MHT-MDC and clusterization-based sparse fingerprinting B Morawska, P Lipinski, K Lichy, K Adamkiewicz Journal of Computational Science 61, 101654, 2022 | 20 | 2022 |
SAT Encoding of Unification in wrt Cycle-Restricted Ontologies F Baader, S Borgwardt, B Morawska International Joint Conference on Automated Reasoning, 30-44, 2012 | 15 | 2012 |
A Goal-Oriented Algorithm for Unification in wrt Cycle-Restricted Ontologies F Baader, S Borgwardt, B Morawska Australasian Joint Conference on Artificial Intelligence, 493-504, 2012 | 12 | 2012 |
Matching with Respect to General Concept Inclusions in the Description Logic F Baader, B Morawska Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2014 | 11 | 2014 |
A goal-oriented algorithm for unification in EL wrt cycle-restricted TBoxes F Baader, S Borgwardt, B Morawska Proc. of the 25th Int. Workshop on Description Logics (DL’12) 846, 37-47, 2012 | 10 | 2012 |
Goal-Directed E-Unification C Lynch, B Morawska International Conference on Rewriting Techniques and Applications, 231-245, 2001 | 10 | 2001 |
UEL: Unification solver for EL F Baader, S Borgwardt, JA Mendez, B Morawska Proc. of the 25th Int. Workshop on Description Logics (DL’12) 846, 26-36, 2012 | 9 | 2012 |
Improving UWB indoor localization accuracy using sparse fingerprinting and transfer learning K Adamkiewicz, P Koch, B Morawska, P Lipiński, K Lichy, M Leplawy International Conference on Computational Science, 291-302, 2021 | 7 | 2021 |
UEL: Unification Solver for the Description Logic–System Description F Baader, J Mendez, B Morawska International Joint Conference on Automated Reasoning, 45-51, 2012 | 7 | 2012 |
Finding finite Herbrand models S Borgwardt, B Morawska International Conference on Logic for Programming Artificial Intelligence …, 2012 | 7 | 2012 |
General E-unification with Eager Variable Elimination and a Nice Cycle Rule B Morawska Journal of Automated Reasoning 39, 77-106, 2007 | 7 | 2007 |
Approximating E-unification C Lynch, B Morawska 15th Annual Workshop on Unification Theory, Siena, Italy, 2001 | 7 | 2001 |
Constructing SNOMED CT concepts via disunification. LTCS-Report 17–07, Chair for Automata Theory F Baader, S Borgwardt, B Morawska Institute for Theoretical Computer Science, Technische Universität Dresden …, 2017 | 6 | 2017 |
Unification in the Description Logic without the Top Concept F Baader, NT Binh, S Borgwardt, B Morawska International Conference on Automated Deduction, 70-84, 2011 | 6 | 2011 |
Unification in the description logic EL wrt cycle-restricted TBoxes. LTCS-Report 11-05, Chair for Automata Theory F Baader, S Borgwardt, B Morawska Institute for Theoretical Computer Science, Technische Universität Dresden …, 2011 | 6 | 2011 |