Quantitative Temporal Logics: PSPACE and Below. - Carsten Lutz; Dirk Walther 002; Frank Wolter (TIME, 2005)

PDL with Negation of Atomic Programs. - Carsten Lutz; Dirk Walther 002 (J. Appl. Non Class. Logics, 2005)

ATL Satisfiability is Indeed EXPTIME-complete. - Dirk Walther 002; Carsten Lutz; Frank Wolter; Michael J. Wooldridge (J. Log. Comput., 2006)

Conservative Extensions in Expressive Description Logics. - Carsten Lutz; Dirk Walther 002; Frank Wolter (IJCAI, 2007)

Alternating-time temporal logic with explicit strategies. - Dirk Walther 002; Wiebe van der Hoek; Michael J. Wooldridge (TARK, 2007)

Quantitative temporal logics over the reals: PSpace and below. - Carsten Lutz; Dirk Walther 002; Frank Wolter (Inf. Comput., 2007)

The Logical Difference Problem for Description Logic Terminologies. - Boris Konev; Dirk Walther 002; Frank Wolter (IJCAR, 2008)

Logical Difference and Module Extraction with CEX and MEX. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (Description Logics, 2008)

Semantic Modularity and Module Extraction in Description Logics. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (ECAI, 2008)

CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (OWLED (Spring), 2008)

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. - Boris Konev; Dirk Walther 002; Frank Wolter (Description Logics, 2009)

Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. - Boris Konev; Dirk Walther 002; Frank Wolter (IJCAI, 2009)

Formal Properties of Modularisation. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (Modular Ontologies, 2009)

Alternating-time dynamic logic. - Nicolas Troquard; Dirk Walther 002 (AAMAS, 2010)

Chinese whispers and connected alignments. - Oliver Kutz; Immanuel Normann; Till Mossakowski; Dirk Walther 002 (OM, 2010)

Reasoning About the Transfer of Control. - Wiebe van der Hoek; Dirk Walther 002; Michael J. Wooldridge (J. Artif. Intell. Res., 2010)

An Epistemic Logic with Hypotheses. - Levan Uridia; Dirk Walther 002 (LORI, 2011)

On Satisfiability in ATL with Strategy Contexts. - Nicolas Troquard; Dirk Walther 002 (JELIA, 2012)

The Logical Difference for the Lightweight Description Logic EL. - Boris Konev; Michel Ludwig; Dirk Walther 002; Frank Wolter (J. Artif. Intell. Res., 2012)

The Concept Difference for EL-Terminologies using Hypergraphs. - Andreas Ecke; Michel Ludwig; Dirk Walther 002 (DChanges, 2013)

Reasoning about Actions Meets Strategic Logics. - Andreas Herzig; Emiliano Lorini; Dirk Walther 002 (LORI, 2013)

Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs. - Francisco Martín-Recuerda; Dirk Walther 002 (WoMO, 2013)

Model-theoretic inseparability and modularity of description logic ontologies. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (Artif. Intell., 2013)

Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics. - Stathis Delivorias; Haralampos Hatzikirou; Rafael Peñaloza; Dirk Walther 002 (ACRI, 2014)

Evaluation of Extraction Techniques for Ontology Excerpts. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (Description Logics, 2014)

Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs. - Michel Ludwig; Dirk Walther 002 (Description Logics, 2014)

Axiom Dependency Hypergraphs for Fast Atomic Decomposition of Ontologies. - Francisco Martín-Recuerda; Dirk Walther 002 (Description Logics, 2014)

The Logical Difference for ℰℒℋr-Terminologies using Hypergraphs. - Michel Ludwig; Dirk Walther 002 (ECAI, 2014)

Fast Modularisation and Atomic Decomposition of Ontologies Using Axiom Dependency Hypergraphs. - Francisco Martín-Recuerda; Dirk Walther 002 (ISWC (2), 2014)

Foundations for the Logical Difference of EL-TBoxes. - Shasha Feng; Michel Ludwig; Dirk Walther 002 (GCAI, 2015)

The Logical Difference for EL: From Terminologies Towards TBoxes. - Shasha Feng; Michel Ludwig; Dirk Walther 002 (IWOST-1, 2015)

Deciding Subsumers of Least Fixpoint Concepts w.r.t. general EL -TBoxes. - Shasha Feng; Michel Ludwig; Dirk Walther 002 (KI, 2015)

Towards Extracting Ontology Excerpts. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (KSEM, 2015)

On Computing Minimal EL-Subsumption Modules. - Jieying Chen 001; Michel Ludwig; Dirk Walther 002 (JOWO@FOIS, 2016)

Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach. - Michel Ludwig; Dirk Walther 002 (GCAI, 2016)

Zooming in on Ontologies: Minimal Modules and Best Excerpts. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (ISWC (1), 2017)

Computing Minimal Projection Modules for Conjunctive Queries. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (Description Logics, 2018)

Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving. - Jieying Chen 001; Yue Ma 009; Dirk Walther 002 (Description Logics, 2018)

Computing Minimal Subsumption Modules of Ontologies. - Jieying Chen 001; Michel Ludwig; Dirk Walther 002 (GCAI, 2018)

Completeness by Modal Definitions. - Levan Uridia; Dirk Walther 002 (IBERAMIA, 2018)

Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology. - Jieying Chen 001; Ghadah Alghamdi; Renate A. Schmidt; Dirk Walther 002; Yongsheng Gao 005 (Description Logics, 2019)

Common Knowledge in Epistemic Logic With Hypotheses. - Levan Uridia; Dirk Walther 002 (GCAI, 2019)

Computing Minimal Projection Modules for ELH^r -Terminologies. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (JELIA, 2019)

Ontology Extraction for Large Ontologies via Modularity and Forgetting. - Jieying Chen 001; Ghadah Alghamdi; Renate A. Schmidt; Dirk Walther 002; Yongsheng Gao 005 (K-CAP, 2019)

Common Knowledge in an Epistemic Logic with Hypotheses. - Levan Uridia; Dirk Walther 002 (GCAI, 2020)

Revisiting Ontologies of Units of Measure for Harmonising Quantity Values - A Use Case. - Francisco Martín-Recuerda; Dirk Walther 002; Siegfried Eisinger; Graham Moore; Petter Andersen; Per-Olav Opdahl; Lillian Hella (ISWC (2), 2020)

Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses. - Levan Uridia; Dirk Walther 002 (Inteligencia Artif., 2020)