Login / Signup
On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge.
Youan Su
Ryo Murai
Katsuhiko Sano
Published in:
LORI (2021)
Keyphrases
</>
reinforcement learning
epistemic logic
dynamic epistemic logic
multi agent
distributed systems
knowledge representation
modal logic
knowledge base
multi agent systems
knowledge acquisition
model checking
logical framework
representing knowledge
knowledge based systems
web services
expert systems