[fca-list] [RuleML+RR 2025] 2nd Call for papers