Felix Distel
From International Center for Computational Logic
Dr. rer. nat. Felix Distel
Former member
- Former Research Associate in Research Group Automata Theory
Newest Publications
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions
Artificial Intelligence, 218:23-55, 2015
Details Download
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Gödel Description Logics with General Models
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 391-403, 2014
Details Download
Felix Distel, Jamal Atif, Isabelle Bloch
Concept Dissimilarity with Triangle Inequality
Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14), to appear. AAAI Press
Details Download
Felix Distel, Jamal, Atif, Isabelle Bloch
Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations
In Torsten Schaub, eds., Proceedings of the 21st International Conference on Artificial Intelligence (ECAI'14), 2014
Details Download
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Decidable Gödel description logics without the finitely-valued model property
In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 228-237, 2014. AAAI Press
Details Download
Uwe Ryssel, Felix Distel, Daniel Borchmann
Fast algorithms for implication bases and attribute exploration using proper premises
Annals of Mathematics and Artificial Intelligence, Special Issue 65:1-29, 2013
Details Download
Yue Ma, Felix Distel
Learning Formal Definitions for Snomed CT from Text
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-03, 2013. LTCS-Report
Details Download
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Goedel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 13-09, 2013. LTCS-Report
Details Download
Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot
Mathematical Morphology Operators over Concept Lattices
In Peggy Cellier and Felix Distel and Bernhard Ganter, eds., Proceedings of the 11th International Conference on Formal Concept Analysis (ICFCA'13), volume 7880 of Lecture Notes in Computer Science, 28-43, 2013. Springer
Details Download
Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot
A fuzzy extension of explanatory relations based on mathematical morphology
In Gabriella Pasi and Javier Montero, eds., Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2013), to appear
Details
