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

by F Baader, C Lutz, M Milicic, U Sattler, F Wolter
Venue:In Proceedings AAAI-2005