Follow
Pavlos Marantidis
Pavlos Marantidis
Verified email at tu-dresden.de
Title
Cited by
Cited by
Year
Matching in the Description Logic FL0 with respect to General TBoxes
F Baader, OF Gil, P Marantidis
LPAR, 76-94, 2018
152018
Approximate Unification in the Description Logic
F Baader, P Marantidis, A Okhotin
European Conference on Logics in Artificial Intelligence, 49-63, 2016
132016
The Data Complexity of Answering Instance Queries in FL0
F Baader, P Marantidis, M Pensel
Companion Proceedings of the The Web Conference 2018, 1603-1607, 2018
82018
Extensions of unification modulo ACUI
F Baader, P Marantidis, A Mottet, A Okhotin
Mathematical Structures in Computer Science, 1-30, 2019
62019
Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in
F Baader, O Fernández Gil, P Marantidis
International Conference on Language and Automata Theory and Applications, 3-26, 2017
52017
ACUI unification modulo ground theories
F Baader, P Marantidis, A Mottet
Proceedings of the 32th International Workshop on Unification (UNIF 2018), 37-41, 2018
32018
Approximately solving set equations
F Baader, P Marantidis, A Okhotin
Proceedings of the 30th International Workshop on Unification (UNIF’16), 37-41, 2016
32016
Quantitative variants of language equations and their applications to description logics
P Marantidis
12019
Language equations for approximate matching in the Description Logic FL0
F Baader, P Marantidis
Proceedings of the 31st International Workshop on Unification (UNIF’17), 9, 0
1
Quantitative Variants of Language Equations and their Applications to Description Logics
P Marantidis
KI-Künstliche Intelligenz 34 (3), 405-409, 2020
2020
Approximate Unification in the Description Logic FL₀
F Baader, P Marantidis, A Okhotin
2016
Approximation in Description Logics
F Baader, OF Gil, P Marantidis
2016
Approximate Unification in the Description Logic FL0
P Marantidis
The system can't perform the operation now. Try again later.
Articles 1–13