Reasoner = Logical Calculus + Rule Engine

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

Authors

David Carral

This author has not been identified. Look up 'David Carral' in Google

Irina Dragoste

This author has not been identified. Look up 'Irina Dragoste' in Google

Markus Krötzsch

This author has not been identified. Look up 'Markus Krötzsch' in Google