The following pages link to Dirk Walther (Q868029):
Displayed 18 items.
- Quantitative temporal logics over the reals: PSpace and below (Q868030) (← links)
- Modeling attention to salient proto-objects (Q885412) (← links)
- A logic of strategic ability under bounded memory (Q1006515) (← links)
- Computing minimal projection modules for \(\mathcal{ELH}^r\)-terminologies (Q2296720) (← links)
- Model-theoretic inseparability and modularity of description logic ontologies (Q2351041) (← links)
- Reasoning about Actions Meets Strategic Logics (Q2859103) (← links)
- The Logical Difference for the Lightweight Description Logic EL (Q2905394) (← links)
- On Satisfiability in ATL with Strategy Contexts (Q2915087) (← links)
- An Epistemic Logic with Hypotheses (Q3094014) (← links)
- ATL Satisfiability is Indeed EXPTIME-complete (Q3431973) (← links)
- The Logical Difference Problem for Description Logic Terminologies (Q3541706) (← links)
- Reasoning About the Transfer of Control (Q3563092) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- PDL with negation of atomic programs (Q3647227) (← links)
- (Q4423610) (← links)
- (Q4423631) (← links)
- (Q5283020) (← links)
- Automated Reasoning (Q5307064) (← links)