Stefania Costantini, Andrea Formisano. Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features. 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, pages 14-29, CEUR-WS.org, 2019. [doi]
Abstract is missing.