Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Dr. rer. nat. Oliver Fernandez Gil
Person

Zugehörigkeiten

Seniorprofessor für Automatentheorie
- Wissenschaftliches Personal

Identifizierungsnummern

Scopus Autor ID	56770940800

Veröffentlichungen
Auszeichnungen

The Unification Type of an Equational Theory May Depend on the Instantiation Preorder

Baader, F. & Gil, O. F., 7 Juli 2025, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025. Fernandez, M. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs, Band 337).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies

Fernandez Gil, O. & Baader, F., 2 Juli 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. (Hrsg.). Springer, S. 279-297 19 S. (Lecture Notes in Computer Science, Band 14740).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Extending the description logic EL with threshold concepts induced by concept measures

Baader, F. & Fernandez Gil, O., Jan. 2024, in: Artificial Intelligence. 326, 66 S., 104034.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

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. (Hrsg.). Bergen, Norway: CEUR-WS.org, 5 S. (CEUR Workshop Proceedings, Band 3739).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Unification in ELH_R+ 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. (Hrsg.). Bergen, Norway: CEUR-WS.org, 5 S. (CEUR Workshop Proceedings, Band 3739).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (37)

Best Student Paper Award of the 22nd European Conference on Artificial Intelligence (ECAI 2016)

Fernandez Gil, O. (Empfänger:in) & Baader, F. (Empfänger:in), 2016

Auszeichnung: Preis › Publikations-/Konferenzpreis

Alle Auszeichnungen ansehen (1)