Dirk Walther

Affiliations:

According to our database¹, Dirk Walther authored at least 3 papers between 2007 and 2009.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2009

A Logic of Strategic Ability Under Bounded Memory.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2009

2008

Deciding the logical difference problem for EL with role inclusions.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Ontologies: Reasoning and Modularity, 2008

2007

Strategic logics : complexity, completeness and expressivity.

[BibT_eX]

[DOI]

PhD thesis, 2007