Dr. rer. nat. Oliver Fernandez GilPerson
Person
- Professor (rtd.) for Automata Theory- Academic Staff
Affiliations
Identification Numbers
| Scopus author ID | 56770940800 |
|---|
Related content
- Research output
- Prizes
The Unification Type of an Equational Theory May Depend on the Instantiation Preorder
Baader, F. & Gil, O. F., 7 Jul 2025, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025. Fernandez, M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 337).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies
Fernandez Gil, O. & Baader, F., 2 Jul 2024, Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 1-6, 2024, Proceedings, Part II. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer, p. 279-297 19 p. (Lecture Notes in Computer Science, Vol. 14740).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Extending the description logic EL with threshold concepts induced by concept measures
Baader, F. & Fernandez Gil, O., Jan 2024, In: Artificial Intelligence. 326, 66 p., 104034.Research output: Contribution to journal › Research article › Contributed › peer-review
Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)
Fernández Gil, O., Patrizi, F., Perelli, G. & Turhan, A.-Y., 2024, Proceedings of the 37th International Workshop on Description Logics (DL'24). Giordano, L., Jung, J. C. & Ozaki, A. (eds.). Bergen, Norway: CEUR-WS.org, 5 p. (CEUR Workshop Proceedings, Vol. 3739).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Unification in ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract)
Baader, F. & Gil, O. F., 2024, Proceedings of the 37th International Workshop on Description Logics (DL'24). Jung, J. C., Giordano, L. & Ozaki, A. (eds.). Bergen, Norway: CEUR-WS.org, 5 p. (CEUR Workshop Proceedings, Vol. 3739).Research 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, O. (Recipient) & Baader, F. (Recipient), 2016
Prize: Publication/Conference prize