Verification of Description Logic Knowledge and Action Bases.

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali

Browse the full ECAI paper archive.