Extending ALC with the power-set construct

Laura Giordano 0001, Alberto Policriti. Extending ALC with the power-set construct. In Alberto Casagrande, Eugenio G. Omodeo, editors, Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. Volume 2396 of CEUR Workshop Proceedings, CEUR-WS.org, 2019.

Abstract

Abstract is missing.