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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.