Folgen
Dirk Walther
Dirk Walther
DNV AS, Norway
Bestätigte E-Mail-Adresse bei dnv.com
Titel
Zitiert von
Zitiert von
Jahr
Conservative Extensions in Expressive Description Logics.
C Lutz, D Walther, F Wolter
IJCAI 7, 453-458, 2007
2622007
The logical difference problem for description logic terminologies
B Konev, D Walther, F Wolter
International Joint Conference on Automated Reasoning, 259-274, 2008
1552008
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies.
B Konev, D Walther, F Wolter
IJCAI, 830-835, 2009
1422009
Formal properties of modularisation
B Konev, C Lutz, D Walther, F Wolter
Modular Ontologies: Concepts, Theories and Techniques for Knowledge …, 2009
1372009
Alternating-time temporal logic with explicit strategies
D Walther, W van der Hoek, M Wooldridge
Proceedings of the 11th conference on Theoretical aspects of rationality and …, 2007
1192007
Semantic Modularity and Module Extraction in Description Logics.
B Konev, C Lutz, D Walther, F Wolter
ECAI, 55-59, 2008
1182008
Model-theoretic inseparability and modularity of description logic ontologies
B Konev, C Lutz, D Walther, F Wolter
Artificial Intelligence 203, 66-103, 2013
1062013
The logical difference for the lightweight description logic EL
B Konev, M Ludwig, D Walther, F Wolter
Journal of Artificial Intelligence Research 44, 633-708, 2012
812012
ATL satisfiability is indeed EXPTIME-complete
D Walther, C Lutz, F Wolter, M Wooldridge
Journal of Logic and Computation 16 (6), 765-787, 2006
812006
PDL with negation of atomic programs
C Lutz, D Walther
Journal of Applied Non-Classical Logics 15 (2), 189-213, 2005
342005
A logic of strategic ability under bounded memory
T Ågotnes, D Walther
Journal of Logic, Language and Information 18 (1), 55-77, 2009
312009
Ontology extraction for large ontologies via modularity and forgetting
J Chen, G Alghamdi, RA Schmidt, D Walther, Y Gao
Proceedings of the 10th International Conference on Knowledge Capture, 45-52, 2019
292019
Logical Difference and Module Extraction with CEX and MEX.
B Konev, C Lutz, D Walther, F Wolter
Description Logics 353, 2008
272008
Zooming in on ontologies: Minimal modules and best excerpts
J Chen, M Ludwig, Y Ma, D Walther
The Semantic Web–ISWC 2017: 16th International Semantic Web Conference …, 2017
262017
Forgetting and Uniform Interpolation in Extensions of the Description Logic EL.
B Konev, D Walther, F Wolter
Description Logics 9, 2009
252009
Quantitative temporal logics over the reals: PSPACE and below
C Lutz, D Walther, F Wolter
Information and Computation 205 (1), 99-123, 2007
252007
The Logical Difference for [Escr ][Lscr ][Hscr ]r-Terminologies using Hypergraphs
M Ludwig, D Walther
ECAI 2014, 555-560, 2014
222014
Reasoning about actions meets strategic logics
A Herzig, E Lorini, D Walther
International Workshop on Logic, Rationality and Interaction, 162-175, 2013
222013
Reasoning about the transfer of control
W van der Hoek, D Walther, M Wooldridge
Journal of Artificial Intelligence Research 37, 437-477, 2010
202010
Fast modularisation and atomic decomposition of ontologies using axiom dependency hypergraphs
F Martín-Recuerda, D Walther
The Semantic Web–ISWC 2014: 13th International Semantic Web Conference, Riva …, 2014
182014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20