| Conservative Extensions in Expressive Description Logics. C Lutz, D Walther, F Wolter IJCAI 7, 453-458, 2007 | 262 | 2007 |
| The logical difference problem for description logic terminologies B Konev, D Walther, F Wolter International Joint Conference on Automated Reasoning, 259-274, 2008 | 161 | 2008 |
| Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. B Konev, D Walther, F Wolter IJCAI, 830-835, 2009 | 155 | 2009 |
| Formal properties of modularisation B Konev, C Lutz, D Walther, F Wolter Modular Ontologies: Concepts, Theories and Techniques for Knowledge …, 2009 | 141 | 2009 |
| Alternating-time temporal logic with explicit strategies D Walther, W van der Hoek, M Wooldridge Proceedings of the 11th conference on Theoretical aspects of rationality and …, 2007 | 127 | 2007 |
| Semantic modularity and module extraction in description logics B Konev, C Lutz, D Walther, F Wolter ECAI 2008, 55-59, 2008 | 121 | 2008 |
| Model-theoretic inseparability and modularity of description logic ontologies B Konev, C Lutz, D Walther, F Wolter Artificial Intelligence 203, 66-103, 2013 | 117 | 2013 |
| ATL satisfiability is indeed EXPTIME-complete D Walther, C Lutz, F Wolter, M Wooldridge Journal of Logic and Computation 16 (6), 765-787, 2006 | 85 | 2006 |
| The logical difference for the lightweight description logic EL B Konev, M Ludwig, D Walther, F Wolter Journal of Artificial Intelligence Research 44, 633-708, 2012 | 82 | 2012 |
| Ontology extraction for large ontologies via modularity and forgetting J Chen, G Alghamdi, RA Schmidt, D Walther, Y Gao Proceedings of the 10th International Conference on Knowledge Capture, 45-52, 2019 | 36 | 2019 |
| A logic of strategic ability under bounded memory T Ågotnes, D Walther Journal of Logic, Language and Information 18 (1), 55-77, 2009 | 36 | 2009 |
| PDL with negation of atomic programs C Lutz, D Walther Journal of Applied Non-Classical Logics 15 (2), 189-213, 2005 | 36 | 2005 |
| Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. B Konev, D Walther, F Wolter Description Logics 9, 2009 | 32 | 2009 |
| Zooming in on ontologies: Minimal modules and best excerpts J Chen, M Ludwig, Y Ma, D Walther International Semantic Web Conference, 173-189, 2017 | 30 | 2017 |
| Logical Difference and Module Extraction with CEX and MEX. B Konev, C Lutz, D Walther, F Wolter Description Logics 353, 2008 | 28 | 2008 |
| Quantitative temporal logics over the reals: PSPACE and below C Lutz, D Walther, F Wolter Information and Computation 205 (1), 99-123, 2007 | 26 | 2007 |
| Reasoning about actions meets strategic logics A Herzig, E Lorini, D Walther International Workshop on Logic, Rationality and Interaction, 162-175, 2013 | 24 | 2013 |
| The Logical Difference for [Escr ][Lscr ][Hscr ]r-Terminologies using Hypergraphs M Ludwig, D Walther ECAI 2014, 555-560, 2014 | 22 | 2014 |
| Computing Minimal Subsumption Modules of Ontologies. J Chen, M Ludwig, D Walther GCAI 18, 41-53, 2018 | 20 | 2018 |
| Reasoning about the transfer of control W van der Hoek, D Walther, M Wooldridge Journal of Artificial Intelligence Research 37, 437-477, 2010 | 20 | 2010 |
