Return to Article Details Formal Logic Inference Guided Uncertainty Quantification for Personalized Federated Learning Download Download PDF