Dirk Walther

Identifiers

• name variant Dirk Walther 0.60 · backfill

Papers (2)

1. The Logical Difference for the Lightweight Description Logic EL cs.LO · 2014 · author #3
2. Reasoning About the Transfer of Control cs.AI · 2014 · author #2

Mentions

• 1401.5850 #3 · backfill · confidence 0.70 Dirk Walther
• 1401.3825 #2 · backfill · confidence 0.70 Dirk Walther

Frequent Coauthors

• Boris Konev 1 shared papers
• Frank Wolter 1 shared papers
• Michael Wooldridge 1 shared papers
• Michel Ludwig 1 shared papers
• Wiebe van der Hoek 1 shared papers