Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Dirk Walther 0002
Author information
- Departament of Artificial Intelligence, Technical University of Madrid
Other persons with the same name
- Dirk Walther — Max-Planck Institute of Molecular Plant Physiology
2010 – today
- 2013
[j6]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. 203: 66-103 (2013)- [c12]Andreas Ecke, Michel Ludwig, Dirk Walther: The Concept Difference for EL-Terminologies using Hypergraphs. DChanges 2013
- 2012
- [j5]Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter: The Logical Difference for the Lightweight Description Logic EL. J. Artif. Intell. Res. (JAIR) 44: 633-708 (2012)
- [e1]Thomas Schneider, Dirk Walther (Eds.): Proceedings of the 6th International Workshop on Modular Ontologies, Graz, Austria, July 24, 2012. CEUR Workshop Proceedings 875, CEUR-WS.org 2012
- 2011
- [c11]
- 2010
- [j4]Wiebe van der Hoek, Dirk Walther, Michael Wooldridge: Reasoning About the Transfer of Control. J. Artif. Intell. Res. (JAIR) 37: 437-477 (2010)
- [c10]
2000 – 2009
- 2009
- [c9]Boris Konev, Dirk Walther, Frank Wolter: Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Description Logics 2009
- [c8]Boris Konev, Dirk Walther, Frank Wolter: Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. IJCAI 2009: 830-835
- [p1]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Formal Properties of Modularisation. Modular Ontologies 2009: 25-66
- 2008
- [c7]Boris Konev, Dirk Walther, Frank Wolter: The Logical Difference Problem for Description Logic Terminologies. IJCAR 2008: 259-274
- [c6]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Logical Difference and Module Extraction with CEX and MEX. Description Logics 2008
- [c5]Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Semantic Modularity and Module Extraction in Description Logics. ECAI 2008: 55-59
- 2007
- [j3]Carsten Lutz, Dirk Walther, Frank Wolter: Quantitative temporal logics over the reals: PSpace and below. Inf. Comput. 205(1): 99-123 (2007)
- [c4]Carsten Lutz, Dirk Walther, Frank Wolter: Conservative Extensions in Expressive Description Logics. IJCAI 2007: 453-458
- [c3]Dirk Walther, Wiebe van der Hoek, Michael Wooldridge: Alternating-time temporal logic with explicit strategies. TARK 2007: 269-278
- 2006
- [j2]Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge: ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16(6): 765-787 (2006)
- 2005
- [j1]Carsten Lutz, Dirk Walther: PDL with Negation of Atomic Programs. Journal of Applied Non-Classical Logics 15(2): 189-213 (2005)
- [c2]Carsten Lutz, Dirk Walther, Frank Wolter: Quantitative Temporal Logics: PSPACE and Below. TIME 2005: 138-146
- 2004
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:27 CEST by the dblp team