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]
@inproceedings{CostantiniF19,
title = {Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features},
author = {Stefania Costantini and Andrea Formisano},
year = {2019},
url = {http://ceur-ws.org/Vol-2396/paper1.pdf},
researchr = {https://researchr.org/publication/CostantiniF19},
cites = {0},
citedby = {0},
pages = {14-29},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019},
editor = {Alberto Casagrande and Eugenio G. Omodeo},
volume = {2396},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}