Cristina-Iulia Bucur, Tobias Kuhn, Davide Ceolin, Jacco van Ossenbruggen. Expressing High-Level Scientific Claims with Formal Semantics. In Anna Lisa Gentile, Rafael Gonçalves, editors, K-CAP '21: Knowledge Capture Conference, Virtual Event, USA, December 2-3, 2021. pages 233-240, ACM, 2021. [doi]
Abstract is missing.