Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Browse the full AiML paper archive.