Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis. Taking stock of available technologies for compliance checking on first-order knowledge. In Roberta Calegari, Giovanni Ciatto, Andrea Omicini, editors, Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022. Volume 3204 of CEUR Workshop Proceedings, pages 1-16, CEUR-WS.org, 2022. [doi]
@inproceedings{RobaldoBCCFGMPS22,
title = {Taking stock of available technologies for compliance checking on first-order knowledge},
author = {Livio Robaldo and Sotiris Batsakis and Roberta Calegari and Francesco Calimeri and Megumi Fujita and Guido Governatori and Maria Concetta Morelli and Giuseppe Pisano and Ken Satoh and Ilias Tachmazidis},
year = {2022},
url = {http://ceur-ws.org/Vol-3204/paper_1.pdf},
researchr = {https://researchr.org/publication/RobaldoBCCFGMPS22},
cites = {0},
citedby = {0},
pages = {1-16},
booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022},
editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini},
volume = {3204},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}