| Making Repairs in Description Logics More Gentle F Baader, F Kriegel, A Nuradiansyah, R Peñaloza KR 2018: 16th International Conference on Principles of Knowledge …, 2018 | 80* | 2018 |
| Computing Compliant Anonymisations of Quantified ABoxes w.r.t. Policies F Baader, F Kriegel, A Nuradiansyah, R Peñaloza ISWC 2020: 19th International Semantic Web Conference, Athens, Greece …, 2020 | 32* | 2020 |
| Computing Optimal Repairs of Quantified ABoxes w.r.t. Static TBoxes F Baader, P Koopmann, F Kriegel, A Nuradiansyah CADE-28: 28th International Conference on Automated Deduction, Virtual Event …, 2021 | 30* | 2021 |
| Optimal ABox Repair w.r.t. Static TBoxes: from Quantified ABoxes back to ABoxes F Baader, P Koopmann, F Kriegel, A Nuradiansyah ESWC 2022: 19th Extended Semantic Web Conference, Hersonissos, Greece, May …, 2022 | 24* | 2022 |
| Axiomatisation of General Concept Inclusions from Finite Interpretations D Borchmann, F Distel, F Kriegel Journal of Applied Non-Classical Logics 26 (1), 1-46, 2016 | 21* | 2016 |
| NextClosures: Parallel Computation of the Canonical Base F Kriegel, D Borchmann CLA 2015: 12th International Conference on Concept Lattices and Their …, 2015 | 18 | 2015 |
| Pushing Optimal ABox Repair from Towards More Expressive Horn-DLs F Baader, F Kriegel KR 2022: 19th International Conference on Principles of Knowledge …, 2022 | 15* | 2022 |
| Most Specific Consequences in the Description Logic F Kriegel Discrete Applied Mathematics 273, 172–204, 2020 | 14 | 2020 |
| Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis F Kriegel Doctoral Thesis, Theoretical Computer Science, Technische Universität Dresden, 2019 | 14* | 2019 |
| Acquisition of Terminological Knowledge from Social Networks in Description Logic F Kriegel Formal Concept Analysis of Social Networks, 97-142, 2017 | 12 | 2017 |
| Parallel Attribute Exploration F Kriegel ICCS 2016: 22nd International Conference on Conceptual Structures, Annecy …, 2016 | 11 | 2016 |
| NextClosures: Parallel Computation of the Canonical Base with Background Knowledge F Kriegel, D Borchmann International Journal of General Systems 46 (5), 490-510, 2017 | 10 | 2017 |
| Error-Tolerant Reasoning in the Description Logic based on Optimal Repairs F Baader, F Kriegel, A Nuradiansyah RuleML+RR 2022: 6th International Joint Conference on Rules and Reasoning …, 2022 | 9* | 2022 |
| Navigating the Subsumption Hierarchy F Kriegel DL 2021: 34th International Workshop on Description Logics, Hybrid Event …, 2021 | 9* | 2021 |
| The Distributive, Graded Lattice of Concept Descriptions and its Neighborhood Relation F Kriegel CLA 2018: 14th International Conference on Concept Lattices and Their …, 2018 | 9* | 2018 |
| Probabilistic Implication Bases in FCA and Probabilistic Bases of GCIs in F Kriegel International Journal of General Systems 46 (5), 511-546, 2017 | 9 | 2017 |
| NextClosures with Constraints F Kriegel CLA 2016: 13th International Conference on Concept Lattices and Their …, 2016 | 9 | 2016 |
| Probabilistic Implication Bases in FCA and Probabilistic Bases of GCIs in F Kriegel CLA 2015: 12th International Conference on Concept Lattices and Their …, 2015 | 9* | 2015 |
| NextClosures – Parallel Exploration of Constrained Closure Operators F Kriegel LTCS-Report 15-01, Theoretical Computer Science, Technische Universität Dresden, 2015 | 9* | 2015 |
| Safety of Quantified ABoxes w.r.t. Singleton Policies F Baader, F Kriegel, A Nuradiansyah, R Peñaloza SAC 2021: 36th Annual ACM Symposium on Applied Computing, Virtual Event …, 2021 | 8* | 2021 |
Franz BaaderProfessor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/LeipzigVerified email at tu-dresden.de
