Dr. rer. nat. Oliver Fernandez GilPerson
Person
- Chair of Automata Theory- Academic Staff
Affiliations
Identification Numbers
| Scopus author ID | 56770940800 |
|---|
Related content
- Research output
- Prizes
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
Fernandez Gil, O. & Turhan, A-Y., 2021, Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021. AAAI Press, p. 6340-6348 9 p.Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Restricted Unification in the DL FL0
Baader, F., Fernandez Gil, O. & Rostamigiv, M., 2021, Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021. Springer Verlag, Vol. 12941. p. 81-97 (Lecture Notes in Computer Science, Vol. 12941).Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Restricted Unification in the DL FL0 (Extended Abstract)
Fernandez Gil, O., Baader, F. & Rostamigiv, M., 2021, Proceedings of the 34th International Workshop on Description Logics (DL'21). CEUR-WS.orgResearch output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability
Feng, S., Carapelle, C., Fernandez Gil, O. & Quaas, K., 2020, In: ACM Transactions on Computational Logic : TOCL. 21, 2, p. 1-34 34 p.Research output: Contribution to journal › Research article › Contributed › peer-review
Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)
Fernandez Gil, O. & Turhan, A-Y., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL'20). CEUR-WS.orgResearch output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Best Student Paper Award of the 22nd European Conference on Artificial Intelligence (ECAI 2016)
Fernandez Gil, Oliver (Recipient) & Baader, Franz (Recipient), 2016
Prize: Publication prize