Dr. rer. nat. Oliver Fernandez GilPerson
Person
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 für 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 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. (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
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