Guocheng He, Ziyan An, Meiyi Ma. Formal Logic Inference Guided Uncertainty Quantification for Personalized Federated Learning. J. Artif. Intell. Res. (JAIR), 86, 2026. [doi]
@article{HeAM26,
title = {Formal Logic Inference Guided Uncertainty Quantification for Personalized Federated Learning},
author = {Guocheng He and Ziyan An and Meiyi Ma},
year = {2026},
doi = {10.1613/jair.1.21429},
url = {https://doi.org/10.1613/jair.1.21429},
researchr = {https://researchr.org/publication/HeAM26},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {86},
}