Knowledge Authoring for Rule-Based Reasoning

Tiantian Gao, Paul Fodor, Michael Kifer. Knowledge Authoring for Rule-Based Reasoning. In Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman, editors, On the Move to Meaningful Internet Systems. OTM 2018 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II. Volume 11230 of Lecture Notes in Computer Science, pages 461-480, Springer, 2018. [doi]

Abstract

Abstract is missing.