Подписаться
Barbara Morawska
Barbara Morawska
Подтвержден адрес электронной почты в домене wmii.uni.lodz.pl
Название
Процитировано
Процитировано
Год
Unification in the description logic EL
F Baader, B Morawska
Logical Methods in Computer Science 6, 2010
1432010
Extending unification in EL towards general TBoxes
F Baader, S Borgwardt, B Morawska
Thirteenth International Conference on the Principles of Knowledge …, 2012
572012
Automatic decidability
C Lynch, B Morawska
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 7-16, 2002
462002
Basic syntactic mutation
C Lynch, B Morawska
International Conference on Automated Deduction, 471-485, 2002
352002
SAT Encoding of Unification in
F Baader, B Morawska
International Conference on Logic for Programming Artificial Intelligence …, 2010
292010
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
202022
SAT Encoding of Unification in wrt Cycle-Restricted Ontologies
F Baader, S Borgwardt, B Morawska
International Joint Conference on Automated Reasoning, 30-44, 2012
152012
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
122012
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
112014
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
102012
Goal-Directed E-Unification
C Lynch, B Morawska
International Conference on Rewriting Techniques and Applications, 231-245, 2001
102001
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
92012
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
72021
UEL: Unification Solver for the Description Logic–System Description
F Baader, J Mendez, B Morawska
International Joint Conference on Automated Reasoning, 45-51, 2012
72012
Finding finite Herbrand models
S Borgwardt, B Morawska
International Conference on Logic for Programming Artificial Intelligence …, 2012
72012
General E-unification with Eager Variable Elimination and a Nice Cycle Rule
B Morawska
Journal of Automated Reasoning 39, 77-106, 2007
72007
Approximating E-unification
C Lynch, B Morawska
15th Annual Workshop on Unification Theory, Siena, Italy, 2001
72001
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
62017
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
62011
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
62011
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20