Published inFrontiers in Artificial Intelligence Logic and Reasoning in AI3.0 impact factor6.1 citescore