Sign in
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