Integrating Description Logics and Action Formalisms: First Results.

Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter

Browse the full AAAI paper archive.