Guiding Federated Learning with Inferenced Formal Logic Properties.

Ziyan An Meiyi Ma

Published in: ICCPS (2023)

Keyphrases

learning process
formal logic
active learning
learning systems
low level
text mining
theoretical framework
distance learning