%0 Journal Article %1 journals/ki/CarralDK20 %A Carral, David %A Dragoste, Irina %A Krötzsch, Markus %D 2020 %J Künstliche Intell. %K dblp %N 4 %P 453-463 %T Reasoner = Logical Calculus + Rule Engine. %U http://dblp.uni-trier.de/db/journals/ki/ki34.html#CarralDK20 %V 34

@article{journals/ki/CarralDK20, added-at = {2020-12-31T00:00:00.000+0100}, author = {Carral, David and Dragoste, Irina and Krötzsch, Markus}, biburl = {https://www.bibsonomy.org/bibtex/264cfd59007dd4a947f14582b82263812/dblp}, ee = {https://doi.org/10.1007/s13218-020-00667-6}, interhash = {0f4239ae8abcd57cce31f7b6b9b19e3d}, intrahash = {64cfd59007dd4a947f14582b82263812}, journal = {Künstliche Intell.}, keywords = {dblp}, number = 4, pages = {453-463}, timestamp = {2024-04-08T13:14:31.000+0200}, title = {Reasoner = Logical Calculus + Rule Engine.}, url = {http://dblp.uni-trier.de/db/journals/ki/ki34.html#CarralDK20}, volume = 34, year = 2020 }