Barbara Morawska
Titel
Zitiert von
Zitiert von
Jahr
Unification in the Description Logic
F Baader, B Morawska
International Conference on Rewriting Techniques and Applications, 350-364, 2009
1052009
Unification in the Description Logic
F Baader, B Morawska
International Conference on Rewriting Techniques and Applications, 350-364, 2009
1052009
Automatic decidability
C Lynch, B Morawska
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 7-16, 2002
412002
Extending unification in EL towards general TBoxes
F Baader, S Borgwardt, B Morawska
Thirteenth International Conference on the Principles of Knowledge …, 2012
372012
Basic syntactic mutation
C Lynch, B Morawska
International Conference on Automated Deduction, 471-485, 2002
292002
SAT Encoding of Unification in
F Baader, B Morawska
International Conference on Logic for Programming Artificial Intelligence …, 2010
232010
SAT Encoding of Unification in
F Baader, B Morawska
International Conference on Logic for Programming Artificial Intelligence …, 2010
232010
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
102012
Goal-Directed E-Unification
C Lynch, B Morawska
International Conference on Rewriting Techniques and Applications, 231-245, 2001
102001
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
92014
A Goal-Oriented Algorithm for Unification in w.r.t. Cycle-Restricted Ontologies
F Baader, S Borgwardt, B Morawska
Australasian Joint Conference on Artificial Intelligence, 493-504, 2012
92012
SAT Encoding of Unification in w.r.t. Cycle-Restricted Ontologies
F Baader, S Borgwardt, B Morawska
International Joint Conference on Automated Reasoning, 30-44, 2012
92012
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
82012
Approximating E-unification
C Lynch, B Morawska
15th Annual Workshop on Unification Theory, Siena, Italy, 2001
72001
Computing minimal EL-unifiers is hard
F Baader, S Borgwardt, B Morawska
Advances in Modal Logic 9 (AiML’12, 2012
62012
General E-unification with Eager Variable Elimination and a Nice Cycle Rule
B Morawska
Journal of Automated Reasoning 39 (1), 77-106, 2007
62007
Decidability and Complexity of Finitely Closable Linear Equational Theories
C Lynch, B Morawska
International Joint Conference on Automated Reasoning, 499-513, 2001
52001
Extending Unification in to Disunification: The Case of Dismatching and Local Disunification
F Baader, S Borgwardt, B Morawska
arXiv preprint arXiv:1609.05621, 2016
42016
Dismatching and local disunification in EL
F Baader, S Borgwardt, B Morawska
26th International Conference on Rewriting Techniques and Applications (RTA …, 2015
42015
Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories
C Lynch, B Morawska
International Conference on Rewriting Techniques and Applications, 90-104, 2005
42005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20