Integrating Action Calculi and Description Logics (Proceedings of the 30th Annual German Conference on Artificial Intelligence (KI 2007), 2007)

(untitled) - Drescher, C; Thielscher, M