Epistemic Logic over Similarity Graphs: Common, Distributed and Mutual Knowledge.

Xiaolong Liang Yì N. Wáng

Published in: CoRR (2023)

Keyphrases

epistemic logic
dynamic epistemic logic
knowledge base
representing knowledge
cooperative
expert systems
distributed systems
model checking
modal logic
machine learning
multi agent
multi agent systems
knowledge representation
knowledge acquisition
multi faceted