Integrating description logics and action formalisms: First results (2005)

by Franz Baader, Carsten Lutz, Ulrike Sattler, Frank Wolter
Venue:In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05