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