D. Walther

Available identifiers

Publication	Date of Publication	Type
Computing minimal projection modules for \(\mathcal{ELH}^r\)-terminologies	2020-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q5283020	2017-07-18	Paper
Model-theoretic inseparability and modularity of description logic ontologies	2015-06-26	Paper
Reasoning about Actions Meets Strategic Logics	2013-11-06	Paper
On Satisfiability in ATL with Strategy Contexts	2012-09-21	Paper
The logical difference for the lightweight description logic \(\mathcal {EL}\)	2012-08-27	Paper
An Epistemic Logic with Hypotheses	2011-10-19	Paper
Reasoning About the Transfer of Control	2010-05-31	Paper
PDL with negation of atomic programs	2009-11-30	Paper
Formal Properties of Modularisation	2009-06-09	Paper
A logic of strategic ability under bounded memory	2009-03-24	Paper
The Logical Difference Problem for Description Logic Terminologies	2008-11-27	Paper
Automated Reasoning	2007-09-25	Paper
Modeling attention to salient proto-objects	2007-06-13	Paper
ATL Satisfiability is Indeed EXPTIME-complete	2007-04-13	Paper
Quantitative temporal logics over the reals: PSpace and below	2007-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q4423610	2003-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q4423631	2003-09-08	Paper

This page was built for person: D. Walther