Dirk Walther

Publication Activity (10 Years)

Years Active: 2004-2020
Publications (10 Years): 14

Top Topics

Epistemic Logic

Reasoning About Actions

Top Venues

Description Logics

Publications

Levan Uridia, Dirk Walther
Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses. Inteligencia Artif. 23 (65) (2020)
Francisco Martín-Recuerda, Dirk Walther, Siegfried Eisinger, Graham Moore, Petter Andersen, Per-Olav Opdahl, Lillian Hella
Revisiting Ontologies of Units of Measure for Harmonising Quantity Values - A Use Case. ISWC (2) (2020)
Levan Uridia, Dirk Walther
Common Knowledge in an Epistemic Logic with Hypotheses. GCAI (2020)
Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao
Ontology Extraction for Large Ontologies via Modularity and Forgetting. K-CAP (2019)
Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao
Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology. Description Logics (2019)
Levan Uridia, Dirk Walther
Common Knowledge in Epistemic Logic With Hypotheses. GCAI (2019)
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
^r -Terminologies. JELIA (2019)
Jieying Chen, Yue Ma, Dirk Walther
Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving. Description Logics (2018)
Jieying Chen, Michel Ludwig, Dirk Walther
Computing Minimal Subsumption Modules of Ontologies. GCAI (2018)
Levan Uridia, Dirk Walther
Completeness by Modal Definitions. IBERAMIA (2018)
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
Computing Minimal Projection Modules for Conjunctive Queries. Description Logics (2018)
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
Zooming in on Ontologies: Minimal Modules and Best Excerpts. ISWC (1) (2017)
Michel Ludwig, Dirk Walther
Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach. GCAI (2016)
Jieying Chen, Michel Ludwig, Dirk Walther
On Computing Minimal EL-Subsumption Modules. JOWO@FOIS (2016)
Shasha Feng, Michel Ludwig, Dirk Walther
Foundations for the Logical Difference of EL-TBoxes. GCAI (2015)
Shasha Feng, Michel Ludwig, Dirk Walther
-TBoxes. KI (2015)
Shasha Feng, Michel Ludwig, Dirk Walther
The Logical Difference for EL: From Terminologies Towards TBoxes. IWOST-1 (2015)
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
Towards Extracting Ontology Excerpts. KSEM (2015)
Michel Ludwig, Dirk Walther
-Terminologies using Hypergraphs. ECAI (2014)
Michel Ludwig, Dirk Walther
Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs. Description Logics (2014)
Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter
The Logical Difference for the Lightweight Description Logic EL. CoRR (2014)
Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge
Reasoning About the Transfer of Control. CoRR (2014)
Francisco Martín-Recuerda, Dirk Walther
Fast Modularisation and Atomic Decomposition of Ontologies Using Axiom Dependency Hypergraphs. ISWC (2) (2014)
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
Evaluation of Extraction Techniques for Ontology Excerpts. Description Logics (2014)
Francisco Martín-Recuerda, Dirk Walther
Axiom Dependency Hypergraphs for Fast Atomic Decomposition of Ontologies. Description Logics (2014)
Stathis Delivorias, Haralampos Hatzikirou, Rafael Peñaloza, Dirk Walther
Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics. ACRI (2014)
Francisco Martín-Recuerda, Dirk Walther
Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs. WoMO (2013)
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. 203 (2013)
Andreas Herzig, Emiliano Lorini, Dirk Walther
Reasoning about Actions Meets Strategic Logics. LORI (2013)
Andreas Ecke, Michel Ludwig, Dirk Walther
The Concept Difference for EL-Terminologies using Hypergraphs. DChanges (2013)
Nicolas Troquard, Dirk Walther
On Satisfiability in ATL with Strategy Contexts. JELIA (2012)
Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter
The Logical Difference for the Lightweight Description Logic EL. J. Artif. Intell. Res. 44 (2012)
Levan Uridia, Dirk Walther
An Epistemic Logic with Hypotheses. LORI (2011)
Nicolas Troquard, Dirk Walther
Alternating-time dynamic logic. AAMAS (2010)
Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge
Reasoning About the Transfer of Control. J. Artif. Intell. Res. 37 (2010)
Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther
Chinese whispers and connected alignments. OM (2010)
Boris Konev, Dirk Walther, Frank Wolter
Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Description Logics (2009)
Boris Konev, Dirk Walther, Frank Wolter
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. IJCAI (2009)
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Logical Difference and Module Extraction with CEX and MEX. Description Logics (2008)
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Semantic Modularity and Module Extraction in Description Logics. ECAI (2008)
Boris Konev, Dirk Walther, Frank Wolter
The Logical Difference Problem for Description Logic Terminologies. IJCAR (2008)
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. OWLED (Spring) (2008)
Dirk Walther, Wiebe van der Hoek, Michael J. Wooldridge
Alternating-time temporal logic with explicit strategies. TARK (2007)
Carsten Lutz, Dirk Walther, Frank Wolter
Conservative Extensions in Expressive Description Logics. IJCAI (2007)
Carsten Lutz, Dirk Walther, Frank Wolter
Quantitative temporal logics over the reals: PSpace and below. Inf. Comput. 205 (1) (2007)
Dirk Walther, Carsten Lutz, Frank Wolter, Michael J. Wooldridge
ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16 (6) (2006)
Carsten Lutz, Dirk Walther, Frank Wolter
Quantitative Temporal Logics: PSPACE and Below. TIME (2005)
Carsten Lutz, Dirk Walther
PDL with Negation of Atomic Programs. J. Appl. Non Class. Logics 15 (2) (2005)
Carsten Lutz, Dirk Walther
PDL with Negation of Atomic Programs. IJCAR (2004)