papers
Publications (2)
cs.AI2011
Fusions of Description Logics and Abstract Description Systems
F. Baader, C. Lutz, H. Sturm +1
Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidabi…
physics.ed-ph2018
VIPER - Student research on extraterrestrial ice penetration technology
F. Baader, M. Reiswich, M. Bartsch +13
Recent analysis of scientific data from Cassini and earth-based observations gave evidence for a global ocean under a surrounding solid ice shell on Saturn's moon Enceladus. Images…