An Epistemic Logic for Modular Development of Multi-Agent Systems.

Stefania Costantini Andrea Formisano Valentina Pitoni

Published in: EMAS@AAMAS (2021)

Keyphrases

epistemic logic
multi agent systems
modal logic
model checking
computation tree logic
cooperative
inference rules
development process
temporal epistemic
temporal logic
multi agent
artificial intelligence
autonomous agents
logical framework
complex systems
dynamic epistemic logic
reinforcement learning