Taking stock of available technologies for compliance checking on first-order knowledge - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Livio Robaldo' in GoogleThis author has not been identified. Look up 'Sotiris Batsakis' in GoogleThis author has not been identified. Look up 'Roberta Calegari' in GoogleThis author has not been identified. Look up 'Francesco Calimeri' in GoogleThis author has not been identified. Look up 'Megumi Fujita' in GoogleThis author has not been identified. Look up 'Guido Governatori' in GoogleThis author has not been identified. Look up 'Maria Concetta Morelli' in GoogleThis author has not been identified. Look up 'Giuseppe Pisano' in GoogleThis author has not been identified. Look up 'Ken Satoh' in GoogleThis author has not been identified. Look up 'Ilias Tachmazidis' in Google

runs on WebDSL