On the Formal Semantics of Theory of Mind in Agent Communication.

Alison R. Panisson Stefan Sarkadi Peter McBurney Simon Parsons Rafael H. Bordini

Published in: AT (2018)

Keyphrases

formal semantics
agent communication
speech acts
multi agent
multi agent systems
logical language
operational semantics
er model
modeling language
agent architecture
first order logic
formal language
logical reasoning
owl dl ontology
ontology languages
theorem prover
modelling language
cooperative