F. Wolter | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

D. Gabelaia
1 publication
R. Kontchakov
1 publication
A. Kurucz
1 publication
M. Zakharyaschev
1 publication
F. Baader
1 publication
C. Lutz
1 publication
H. Sturm
1 publication

research

∙ 10/12/2011

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity

In this paper, we construct and investigate a hierarchy of spatio-tempor...

0 D. Gabelaia, et al. ∙

research

∙ 06/09/2011

Fusions of Description Logics and Abstract Description Systems

Fusions are a simple way of combining logics. For normal modal logics, f...

0 F. Baader, et al. ∙