Approximate Unification in the Description Logic FL_0. - Franz Baader; Pavlos Marantidis; Alexander Okhotin (JELIA, 2016)

Approximately Solving Set Equations. - Franz Baader; Pavlos Marantidis; Alexander Okhotin (UNIF, 2016)

Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL_0. - Franz Baader; Oliver Fernandez Gil; Pavlos Marantidis (LATA, 2017)

Matching in the Description Logic FL0 with respect to General TBoxes. - Franz Baader; Oliver Fernandez Gil; Pavlos Marantidis (LPAR, 2018)

The Data Complexity of Answering Instance Queries in FL0. - Franz Baader; Pavlos Marantidis; Maximilian Pensel (WWW (Companion Volume), 2018)

Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). - Franz Baader; Oliver Fernández Gil; Pavlos Marantidis (Description Logics, 2019)

Quantitative variants of language equations and their applications to description logics. - Pavlos Marantidis (2019)

Quantitative Variants of Language Equations and their Applications to Description Logics. - Pavlos Marantidis (Künstliche Intell., 2020)

Extensions of unification modulo ACUI. - Franz Baader; Pavlos Marantidis; Antoine Mottet; Alexander Okhotin (Math. Struct. Comput. Sci., 2020)

Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas. - Oliver Fernández Gil; Pavlos Marantidis (Description Logics, 2023)