F.: Integrating Description Logics and Action Formalisms: First Results. (2005)

by F Baader, C Lutz, M Milicic, U Sattler, Wolter
Venue:Proceedings of the 12th Nat. Conf. on Artif. Intell.,