Oliver Fernández Gil

MaRDI QIDQ831923zbMATH OpenFDO

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!

Publication	Date of Publication	Type
Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures Artificial Intelligence	2024-02-13	Paper
Restricted unification in the DL \(\mathcal{FL}_0\)	2022-03-24	Paper
On the expressiveness of TPTL and MTL over \(\omega\)-data words	2021-06-22	Paper
On the expressiveness of TPTL and MTL over \(\omega\)-data words (available as arXiv preprint)	2021-06-22	Paper
MTL and TPTL for One-Counter Machines ACM Transactions on Computational Logic	2020-02-14	Paper
Matching in the Description Logic FL0 with respect to General TBoxes EPiC Series in Computing	2019-07-04	Paper
Extending the description logic \(\tau\mathcal{EL}(\deg)\) with acyclic TBoxes	2018-07-12	Paper
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-01	Paper
Adding threshold concepts to the description logic \(\mathcal{EL}\) Frontiers of Combining Systems	2017-02-27	Paper
Satisfiability for MTL and TPTL over non-monotonic data words Language and Automata Theory and Applications	2014-03-31	Paper
Hybrid unification in the description logic \(\mathcal{EL}\) Frontiers of Combining Systems	2013-09-20	Paper

Research outcomes over time

This page was built for person: Oliver Fernández Gil