Oliver Fernandez Gil
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2018
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | LPAR | Matching in the Description Logic FL0 with respect to General TBoxes. | Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis |
| 2017 | LATA | Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in | Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis |
| 2017 | SAC | Decidability and complexity of threshold description logics induced by concept similarity measures. | Franz Baader, Oliver Fernandez Gil |
| 2016 | ECAI | Extending the Description Logic with Acyclic TBoxes. | Franz Baader, Oliver Fernandez Gil |
| 2014 | LATA | Satisfiability for MTL and TPTL over Non-monotonic Data Words. | Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas |