Dirk Walther

发表

CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL

B. Konev, C. Lutz, Dirk Walther, 2008 .

Conservative Extensions in Expressive Description Logics

Carsten Lutz, Dirk Walther, Frank Wolter, 2007, IJCAI.

Data quality as a microservice: an ontology and rule based approach for quality assurance of sensor data in manufacturing machines

Dirk Walther, Jørgen Stang, Per Myrseth, 2022, SEA4DQ@ESEC/SIGSOFT FSE.

Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology

Dirk Walther, Yongsheng Gao, Renate A. Schmidt, 2019, Description Logics.

Model-theoretic inseparability and modularity of description logic ontologies

Boris Konev, Carsten Lutz, Dirk Walther, 2013, Artif. Intell..

Reasoning About the Transfer of Control

Michael Wooldridge, Dirk Walther, Wiebe van der Hoek, 2014, J. Artif. Intell. Res..

Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies

Boris Konev, Dirk Walther, Frank Wolter, 2009, IJCAI.

PDL with negation of atomic programs

Carsten Lutz, Dirk Walther, C. Lutz, 2004, J. Appl. Non Class. Logics.

Computing Minimal Projection Modules for Conjunctive Queries

Dirk Walther, Yue Ma, Michel Ludwig, 2018, Description Logics.

Completeness by Modal Definitions

Levan Uridia, Dirk Walther, Dirk Walther, 2018, IBERAMIA.

An Epistemic Logic with Hypotheses

Levan Uridia, Dirk Walther, Dirk Walther, 2011, LORI.

Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach

Dirk Walther, Michel Ludwig, Dirk Walther, 2016, GCAI.

Ontology Extraction for Large Ontologies via Modularity and Forgetting

Yongsheng Gao, Renate A. Schmidt, Jieying Chen, 2019, K-CAP.

Formal Properties of Modularisation

Boris Konev, Carsten Lutz, Dirk Walther, 2009, Modular Ontologies.

The Logical Difference Problem for Description Logic Terminologies

Boris Konev, Dirk Walther, Frank Wolter, 2008, IJCAR.

Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses

Levan Uridia, Dirk Walther, Dirk Walther, 2020, Inteligencia Artif..

Common Knowledge in Epistemic Logic With Hypotheses

Levan Uridia, Dirk Walther, Dirk Walther, 2019, GCAI.

ATL Satisfiability is Indeed EXPTIME-complete

Michael Wooldridge, Carsten Lutz, Dirk Walther, 2006, J. Log. Comput..

Logical Difference and Module Extraction with CEX and MEX

Boris Konev, Carsten Lutz, Dirk Walther, 2008, Description Logics.

Alternating-time dynamic logic

Dirk Walther, Nicolas Troquard, Dirk Walther, 2010, AAMAS.

Alternating-time temporal logic with explicit strategies

Michael Wooldridge, Dirk Walther, Wiebe van der Hoek, 2007, TARK '07.

Towards Extracting Ontology Excerpts

Dirk Walther, Yue Ma, Michel Ludwig, 2015, KSEM.

Identification of a prion protein epitope modulating transmission of bovine spongiform encephalopathy prions to transgenic mice.

F. Cohen, S. Prusiner, S. DeArmond, 1997, Proceedings of the National Academy of Sciences of the United States of America.

CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL

Boris Konev, Carsten Lutz, Dirk Walther, 2008, OWL: Experiences and Directions.

Satisfiability of ATEL with Common and Distributed Knowledge is ExpTime-Complete

Dirk Walther, Dirk Walther, 2005 .

The Logical Difference for the Lightweight Description Logic EL

Boris Konev, Dirk Walther, Frank Wolter, 2012, J. Artif. Intell. Res..

Reasoning about Actions Meets Strategic Logics

Emiliano Lorini, Andreas Herzig, Dirk Walther, 2013, LORI.

The Logical Dierence for the Lightweight Description LogicEL

Boris Konev, Dirk Walther, Frank Wolter, 2012 .