Sign in
An Epistemic Logic for Multi-agent Systems with Budget and Costs.
Stefania Costantini
Andrea Formisano
Valentina Pitoni
Published in:
JELIA (2021)
Keyphrases
</>
epistemic logic
multi agent systems
temporal epistemic
multi agent
cooperative
dynamic epistemic logic
modal logic
computation tree logic
autonomous agents
game theory
model checking
artificial intelligence
complex systems
natural language
software systems
inference rules