Boosting the Correspondence between Description Logics and Propositional Dynamic Logics.

Giuseppe De Giacomo, Maurizio Lenzerini

Browse the full AAAI paper archive.