Oliver Fernndez Gil
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FSCD | The Unification Type of an Equational Theory May Depend on the Instantiation Preorder. | Franz Baader, Oliver Fernndez Gil |
| 2024 | IJCAR | Unification in the Description Logic | Franz Baader, Oliver Fernndez Gil |
| 2023 | ECAI | Optimal Alignment of Temporal Knowledge Bases. | Oliver Fernndez Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan |
| 2021 | AAAI | Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. | Oliver Fernndez Gil, Anni-Yasmin Turhan |