Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features

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]

Authors

Stefania Costantini

This author has not been identified. Look up 'Stefania Costantini' in Google

Andrea Formisano

This author has not been identified. Look up 'Andrea Formisano' in Google