NewEvery arXiv paper, its researchers & institutions — mapped.
papers

Publications (2)

cs.AI2011

Fusions of Description Logics and Abstract Description Systems

F. Baader, C. Lutz, H. Sturm +1

physics.ed-ph2018

VIPER - Student research on extraterrestrial ice penetration technology

F. Baader, M. Reiswich, M. Bartsch +13