Oliver Fernández Gil

17 papers A* 1A 1B 1Journal 4Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories. CoRR Franz Baader, Oliver Fernández Gil
2025	B	`conf`	The Unification Type of an Equational Theory May Depend on the Instantiation Preorder. FSCD Franz Baader, Oliver Fernández Gil
2024	J	`jnl`	Extending the description logic EL with threshold concepts induced by concept measures. Artif. Intell. Franz Baader, Oliver Fernández Gil
2024	—	`conf`	Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). Description Logics Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
2024	—	`conf`	Unification in the Description Logic IJCAR (2) Franz Baader, Oliver Fernández Gil
2024	—	`conf`	Unification in ℰℒℋ Description Logics Franz Baader, Oliver Fernández Gil
2023	A	`conf`	Optimal Alignment of Temporal Knowledge Bases. ECAI Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
2023	J	`jnl`	Optimal Alignment of Temporal Knowledge Bases. CoRR Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
2023	—	`conf`	Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas. Description Logics Oliver Fernández Gil, Pavlos Marantidis
2021	A*	`conf`	Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. AAAI Oliver Fernández Gil, Anni-Yasmin Turhan
2021	—	`conf`	Restricted Unification in the DL FL0 (Extended Abstract). Description Logics Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
2021	—	`conf`	Restricted Unification in the DL ℱ FroCoS Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
2020	J	`jnl`	MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability. ACM Trans. Comput. Log. Shiguang Feng, Claudia Carapelle, Oliver Fernández Gil, Karin Quaas
2020	—	`conf`	Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). Description Logics Oliver Fernández Gil, Anni-Yasmin Turhan
2019	—	`conf`	Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). Description Logics Franz Baader, Oliver Fernández Gil, Pavlos Marantidis
2019	—	`conf`	Towards an Equivalence Degree of EL CQs (Extended Abstract). Description Logics Oliver Fernández Gil, Anni-Yasmin Turhan
2016	—	`—`	Adding Threshold Concepts to the Description Logic EL Oliver Fernández Gil