Reasoning About Actions Using Description Logics with General TBoxes.

Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter

Browse the full JELIA paper archive.