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
Restricted Unification in the Description Logic 𝓕𝓛⊥
Baader, F. & Gil, O. F., 2022, Proceedings of the 36th International Workshop on Unification (UNIF 2022). Cerna, D. M. & Morawska, B. (eds.). Haifa, IsraelResearch output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
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 𝓕𝓛₀
Baader, F., Gil, O. F. & Rostamigiv, M., 2021, Frontiers of Combining Systems : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings. Konev, B. & Reger, G. (eds.). Springer, Vol. 12941. p. 81-97 17 p. (Lecture Notes in Computer Science, Volume 12941, Vol. 12941).Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Restricted Unification in the DL 𝓕𝓛₀ (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
Best Student Paper Award of the 22nd European Conference on Artificial Intelligence (ECAI 2016)
Fernandez Gil, Oliver (Recipient) & Baader, Franz (Recipient), 2016
Prize: Publication/Conference prize