| Adding threshold concepts to the description logic F Baader, G Brewka, O Fernández Gil International Symposium on Frontiers of Combining Systems, 33-48, 2015 | 32 | 2015 |
| On the non-monotonic description logic alc+ tmin O Fernández Gil 15TH INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING (NMR 2014) VIENNA …, 2014 | 18 | 2014 |
| Matching in the Description Logic FL0 with respect to General TBoxes F Baader, O Fernández Gil, P Marantidis 22nd International Conference on Logic for Programming Artificial …, 2018 | 13 | 2018 |
| Restricted unification in the description logic FL0 F Baader, O Fernández Gil, M Rostamigiv Proc. of the 13th International Symposium on Frontiers of Combining Systems …, 2021 | 9* | 2021 |
| Standard and non-standard inferences in the description logic FL0 using tree automata F Baader, O Fernández Gil, M Pensel 4th Global Conference on Artificial Intelligence (GCAI 2018), 1-14, 2018 | 9 | 2018 |
| Decidability and complexity of threshold description logics induced by concept similarity measures F Baader, O Fernández Gil Proceedings of the 32nd ACM SIGAPP Symposium On Applied Computing, 983-988, 2017 | 7 | 2017 |
| Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in F Baader, O Fernández Gil, P Marantidis International Conference on Language and Automata Theory and Applications, 3-26, 2017 | 7 | 2017 |
| Satisfiability for MTL and TPTL over Non-monotonic Data Words C Carapelle, S Feng, O Fernández Gil, K Quaas International Conference on Language and Automata Theory and Applications …, 2014 | 7 | 2014 |
| Extending the description logic tel (deg) with acyclic tboxes O Fernandez Gil, F Baader Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI …, 2016 | 5* | 2016 |
| Extending the Description Logic EL with Threshold Concepts Induced by Concept Measures F Baader, O Fernández Gil Artificial Intelligence, 104034, 2023 | 4 | 2023 |
| Hybrid Unification in the Description Logic F Baader, O Fernández Gil, B Morawska International Symposium on Frontiers of Combining Systems, 295-310, 2013 | 3 | 2013 |
| Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies F Baader, O Fernández Gil | 2 | 2024 |
| Unification in the Description Logic ELHR+ Without the Top Concept Modulo Cycle-Restricted Ontologies:(Extended Version) F Baader, O Fernandez Gil Technische Universität Dresden, 2024 | 1 | 2024 |
| Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics O Fernández Gil, AY Turhan Proceedings of the AAAI Conference on Artificial Intelligence, 2021 | 1 | 2021 |
| On the Expressiveness of TPTL and MTL over\omega-Data Words C Carapelle, S Feng, O Fernández Gil, K Quaas arXiv preprint arXiv:1311.6250, 2013 | 1 | 2013 |
| Ehrenfeucht-Fraıssé Games for TPTL and MTL over Non-monotonic Data Words C Carapelle, S Feng, O Fernández Gil, K Quaas arXiv preprint arXiv:1311.6250, 2013 | 1 | 2013 |
| Unification in the Description LogicWithout the Top Concept Modulo Cycle-Restricted Ontologies F Baader, OF Gil IJCAR (2), 2024 | | 2024 |
| Unification in cLE 고 without the Top Concept modulo Cycle-Restricted Ontologies F Baader, OF Gil | | 2024 |
| Unification in ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies F Baader, OF Gil | | 2024 |
| Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automata O Fernández Gil, P Marantidis | | 2023 |
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerified email at tu-dresden.de
