First Steps for Determining Agent Intention in Dynamic Epistemic Logic.

Nathalie Chetcuti-Sperandio Alix Goudyme Sylvain Lagrue Tiago de Lima

Published in: ICAART (2) (2020)

Keyphrases

dynamic epistemic logic
multi agent systems
autonomous agents
bdi agents
multi agent
intelligent agents
epistemic logic
multiagent systems
agent model
agent architecture
multiple agents
software agents
knowledge representation
mobile agents
model checking
image processing
decision theoretic