Pavlos Marantidis

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Extensions of unification modulo ACUI
Mathematical Structures in Computer Science
2020-12-08Paper
Matching in the Description Logic FL0 with respect to General TBoxes
EPiC Series in Computing
2019-07-04Paper
Approximation in description logics: how weighted tree automata can help to define the required concept comparison measures in \(\mathcal {FL}_0\)
Language and Automata Theory and Applications
2017-06-01Paper
Approximate unification in the description logic \(\mathcal {FL}_0\)
Logics in Artificial Intelligence
2016-11-30Paper


Research outcomes over time


This page was built for person: Pavlos Marantidis