Homepage of Dirk Walther
I hold a Juan de la Cierva postdoctoral fellowship from Spain and I'm working at the Departamento Inteligencia Artificial (DIA) of the Facultad de Informática at the Universidad Politécnica de Madrid (UPM). I'm a member of the projects 'Foundations and Extensions of Answer Set programming Technology' (FEAST) at UPM, 'Agreement Technologies (AT)' at the Universidad Rey Juan Carlos (URJC) and 'Sintelnet - European Network for Social Intelligence'. Also I collaborate with the SEALS Project at UPM.
I obtained my PhD from the University of Liverpool where I also worked as research associate in the Department of Computer Science on the EPSRC research project 'Composing and decomposing ontologies: a logic-based approach' together with Frank Wolter and Boris Konev.
My research interest is concerned with the study of computational complexity and expressiveness of logics for multi-agent systems, metric temporal logics, dynamic logics, description logics, epistemic logics and products of modal logics.

Address
Departamento Inteligencia Artificial (DIA)
Facultad de Informática
Universidad Politécnica de Madrid (UPM)
Campus Montegancedo
28660 Boadilla del Monte (Madrid)
España

Room: Despacho 3205

EMail
Dirk. Walther @ upm.es

PhD thesis
'Strategic Logics: Complexity, Completeness and Expressivity', 2007.

Publications
Journal

• Dirk Walther, Wiebe van der Hoek, and Michael Wooldridge. Alternating-time Temporal Logic with Explicit Strategies.
  To be submitted shortly, 2012.
   
• Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. Semantic Modularity and Module Extraction in Description Logics.
  To be submitted shortly to Journal of Artificial Intelligence Research (JAIR), 2012.
   
• Boris Konev, Michel Ludwig, Dirk Walther and Frank Wolter. The Logical Diff for the Lightweight Description Logic EL.
  Journal of Artificial Intelligence Research (JAIR), volume 44, pages 633-708, 2012.
   
• Wiebe van der Hoek, Dirk Walther, and Michael Wooldridge. Reasoning about the transfer of control.
  Journal of Artificial Intelligence Research (JAIR), volume 37, pages 437-477, 2010.
   
• Thomas Agotnes and Dirk Walther. A Logic of Strategic Ability Under Bounded Memory.
  Journal of Logic, Language and Information, Springer Netherlands, 2008.
   
• Carsten Lutz, Dirk Walther, and Frank Wolter. Quantitative Temporal Logics over the Reals: PSPACE and below.
  TIME'05 special issue of Information and Computation, Academic Press, Inc., Duluth, MN, USA, 205(1): 99-123, 2007.
   
• Dirk Walther, Carsten Lutz, Frank Wolter, and Michael Wooldridge. ATL-Satisfiability is Indeed ExpTime-Complete.
  Journal of Logic and Computation, Oxford University Press, 16: 765-787, 2006.
   
• Carsten Lutz and Dirk Walther. PDL with Negation of Atomic Programs.
  Journal of Applied Non-Classical Logics, 15/2: 189-213, 2005.
   
• Kubin, Hellmuth; Preiß, Holger; Vetter, Christian; Walther, Dirk: Rapid-Prototyping mit VME-Bus-Echtzeitrechner unter Nutzung von MATLAB/Simulink.
  atp - Automatisierungstechnische Praxis, 44(2002) H9, S. 66-72.
   

• Francisco Martin-Recuerda and Dirk Walther. Towards Understanding Reasoning Complexity in Practice.
  In proceedings of BNAIC'11: the 23rd Benelux Conference on Artificial Intelligence, 2011.
   
• Nicolas Troquard and Dirk Walther. Alternating-time Dynamic Logic.
  In proceedings of AAMAS'10: 9th International Conference on Autonomous Agents and Multiagent Systems, 10-14 May 2010, Toronto, Canada.
   
• Boris Konev, Dirk Walther, and Frank Wolter. Forgetting and uniform interpolation in large-scale description logic terminologies.
  In proceedings of IJCAI'09: 21st International Joint Conference on Artificial Intelligence, 11-17 July 2009, Pasadena, California, USA.
   
• Boris Konev, Dirk Walther, and Frank Wolter. The logical difference problem for description logic terminologies.
  In proceedings of IJCAR'08: 4th International Joint Conference on Automated Reasoning, 10-15 August 2008, Sydney, Australia, pages 259-274. Springer-Verlag Berlin/Heidelberg, 2008.
   
• Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. Semantic Modularity and Module Extraction in Description Logics.
  In proceedings of ECAI'08: 18th European conference on Artificial Intelligence, Patras, Greece, 21-25 July 2008.
   
• Dirk Walther, Wiebe van der Hoek, and Michael Wooldridge. Alternating-time Temporal Logic with Explicit Strategies.
  In proceedings of TARK'07: the 11th conference on Theoretical Aspects of Rationality and Knowledge, 25-27 June 2007, Brussels, Belgium.
   
• Carsten Lutz, Dirk Walther, and Frank Wolter. Conservative extensions for expressive description logics.
  In proceedings of IJCAI'07: the 20th International Joint Conference on Artificial Intelligence, pages 453-458, 6-12 January 2007, Hyderabad, India.
   
• Carsten Lutz, Dirk Walther, and Frank Wolter. Quantitative Temporal Logics: PSpace and below.
  In proceedings of TIME'05: the 12th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press, Washington, DC, USA, 138-146, 2005.
   
• Carsten Lutz and Dirk Walther. PDL with Negation of Atomic Programs.
  In proceedings of IJCAR'04: the 2nd International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence vol. 3097, pages 259-273. Springer Verlag, 2004.
   

• Nicolas Troquard and Dirk Walther. ATL with contexts: agency and explicit strategies.
  In proceedings of LAMAS'12: the 5th Workshop on Logical Aspects of Multi-Agent Systems, 2012.
   
• Levan Uridia and Dirk Walther. An epistemic logic with hypotheses.
  In proceedings of LORI-III: the 3rd International Workshop on Logic, Rationality and Interaction, 2011.
   
• Oliver Kutz, Imanuel Normann, Till Mossakowski and Dirk Walther. Chinese whispers and connected alignments.
  In proceedings of WoMO'10: the 5th International Workshop on Ontology Matching collocated with ISWC-2010, 2010.
   
• Boris Konev, Dirk Walther, and Frank Wolter. Forgetting and uniform interpolation in extensions of the description logic EL.
  In proceedings of DL'09: 22st International Workshop on Description Logics 27-30 July 2009, Oxford, United Kingdom.
   
• Daniel Pokrywczynski and Dirk Walther. Deciding the logical difference problem for EL with role inclusions.
  In, Ulrike Sattler and Andrei Tamilin (editors), proceedings of WORM-2008: International Workshop on Ontologies - Reasoning and Modularity (hosted by ESWC 2008), Tenerife, Spain, volume 348 of CEURS-WS, 2008.
   
• Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. Logical difference and module extraction with CEX and MEX.
  In proceedings of DL'08: 21st International Workshop on Description Logics 13-16 May 2008, Dresden, Germany.
   
• Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL.
  In proceedings of OWLED'08: 4th International Workshop Washington, DC, 1-2 April 2008.
   
• Thomas Agotnes and Dirk Walther. Towards a Logic of Strategic Ability under Bounded Memory.
  In proceedings of LRBA'07: the 2nd Workshop on Logics for Resource-Bounded Agents. Durham, UK, 2007.
   
• Dirk Walther. ATEL with Common and Distributed Knowledge is ExpTime-Complete.
  In Proceedings of M4M-4: the 4th Workshop on Methods for Modalities. Humbolt University, Berlin, Germany, 2005.
   

• Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. Formal properties of modularization.
  In H. Stuckenschmidt, S. Spacciapietra, C. Parent, LNCS volume on Ontology Modularization, 2008.
   

• Boris Konev, Dirk Walther, and Frank Wolter. Forgetting and uniform interpolation in large-scale description logic terminologies.
  Technical Report ULCS-09-006, Department of Computer Science, University of Liverpool, 2009.
   
• Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. Semantic Modularity and Module Extraction in Description Logics.
  Technical Report, Department of Computer Science, University of Liverpool, 2008.
   
• Dirk Walther. Satisfiability of ATEL with Common and Distributed Knowledge is ExpTime-Complete.
  Technical Report, Department of Computer Science, University of Liverpool, 2005. [pdf]
   
• Carsten Lutz, Dirk Walther, and Frank Wolter. Quantitative Temporal Logics: PSpace and below.
  LTCS-Report 05-03, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany, 2005.
   

• Daniel Pokrywczynski and Dirk Walther. Deciding the logical difference problem for EL with role inclusions. 2008.

Academic Activities

Program Chair

• WoMO-2012: the 6th International Workshop on Modular Ontologies held in Graz, Austria, July 24, 2012 in conjunction with ICBO/FOIS 2012.
   

• one-week course titled `Modularity in Ontologies' together with Thomas Schneider (University of Bremen, Germany) in ESSLLI-2011: the 23rd European Summer School in Logic, Language and Information held in Ljubjana, Slovenia, August 1-12, 2011.
   

• ICAART-2012: the 4th International Conference on Agents and Artificial Intelligence, Rome, Italy, 28-30 January 2011.
   
• ICAART-2011: the 3rd International Conference on Agents and Artificial Intelligence, Algarve, Portugal, 6-8 February 2012.
   
• WoMO-2011: the 5th International Workshop on Modular Ontologies, co-located with ESSLLI 2011 in Ljubljana, Slovenia, 1-12 August 2011.
   
• ECAI-2010: the 19th European Conference on Artificial Intelligence, Lisbon, Portugal 16-20 August 2010.
   
• DL-2009: the 22nd International Workshop on Description Logics, Oxford, UK, 27-30 July 2009.
   

• ATVA, DL, ESSLLI, ROCOS, JAIR, LOFT, M4M, ECAI, JIC, AIML, EASSS (student session), ICALP, TIME, IJCAR, IJCAI, TABLEAU, JELIA, KER, JoAL, ...
   

• CEX - A prototype implementation in OCaml computing the logical difference between acyclic terminologies formulated in the light-weight Description Logic EL, 2008. [Linux binary available on Boris's site]
   
• CEX 2.5 - A extension and improved version of CEX capable of handling acyclic ELHr-terminologies, i.e. EL-terminologies with additional domain restrictions, range restrictions, and (simple) role inclusions, 2012. [Linux binary and source code available Michel's site]
   
• MEX - A prototype implementation in OCaml computing the smallest semantic module of an acyclic ELI-terminology, 2008. [Linux binary available on Boris's site]
   

Last update: February 2012.