Verifying Properties of Infinite Sequences of Description Logic Actions.

Franz Baader, Hongkai Liu, Anees ul Mehdi

Browse the full ECAI paper archive.