Reasoner = Logical Calculus + Rule Engine

David Carral, Irina Dragoste, Markus Krötzsch. Reasoner = Logical Calculus + Rule Engine. KI, 34(4):453-463, 2020. [doi]

Abstract

Abstract is missing.