Dirk Walther

Conservative extensions in expressive description logics

Carsten Lutz, Dirk Walther, Frank Wolter · 2007 · 180 citations

Forgetting and uniform interpolation in large-scale description logic terminologies

Boris Konev, Dirk Walther, Frank Wolter · 2009 · 95 citations

Model-theoretic inseparability and modularity of description logic ontologies

Boris Konev, Carsten Lutz, Dirk Walther et al. · Artificial Intelligence · 2013 · 85 citations

Engineering, Automated Reasoning, Description Logic Ontologies +7

Alternating-time temporal logic with explicit strategies

Dirk Walther, Wiebe van der Hoek, Michael Wooldridge · 2007 · 83 citations

Computational Logic, Engineering, Automated Reasoning +15

ATL Satisfiability is Indeed EXPTIME-complete

Dirk Walther, Carsten Lutz, Frank Wolter et al. · Journal of Logic and Computation · 2006 · 59 citations

Theory Of Computing, Computational Logic, Engineering +13