David Carral, Irina Dragoste, Markus Krötzsch. Reasoner = Logical Calculus + Rule Engine. KI, 34(4):453-463, 2020. [doi]
@article{CarralDK20, title = {Reasoner = Logical Calculus + Rule Engine}, author = {David Carral and Irina Dragoste and Markus Krötzsch}, year = {2020}, doi = {10.1007/s13218-020-00667-6}, url = {https://doi.org/10.1007/s13218-020-00667-6}, researchr = {https://researchr.org/publication/CarralDK20}, cites = {0}, citedby = {0}, journal = {KI}, volume = {34}, number = {4}, pages = {453-463}, }