Published inFrontiers in Artificial Intelligence Logic and Reasoning in AI4.7 impact factor7.3 citescore