Formal Ontology to the Proof of Facts

Guido Vetere. Formal Ontology to the Proof of Facts. In Stefano Borgo, Roberta Ferrario, Claudio Masolo, Laure Vieu, editors, Ontology Makes Sense - Essays in honor of Nicola Guarino. Volume 316 of Frontiers in Artificial Intelligence and Applications, pages 152-164, IOS Press, 2019. [doi]

Abstract

Abstract is missing.