Reasoning on Information Term Semantics with ASP for Constructive ELꓕ

Loris Bozzato, Camillo Fiorentini. Reasoning on Information Term Semantics with ASP for Constructive ELꓕ. In Francesco Calimeri, Simona Perri, Ester Zumpano, editors, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020. Volume 2710 of CEUR Workshop Proceedings, pages 141-156, CEUR-WS.org, 2020. [doi]

Authors

Loris Bozzato

This author has not been identified. Look up 'Loris Bozzato' in Google

Camillo Fiorentini

This author has not been identified. Look up 'Camillo Fiorentini' in Google