Bochum researchers (IMAGE) Ruhr-University Bochum Caption They've brought together the seemingly incompatible inductive approach of machine learning with deductive logic: Stephanie Schörner, Axel Mosig and David Schuhmacher (left to right). Credit RUB, Marquard Usage Restrictions The image may only be used for reporting about the research by Axel Mosig at Ruhr-Universität Bochum. License Original content Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.