A New Logical Semantics for Agent Communication.

Jamal Bentahar Bernard Moulin John-Jules Ch. Meyer Yves Lespérance

Published in: CLIMA (2006)

Keyphrases

agent communication
multi agent
speech acts
multi agent systems
agent architecture
logical properties
agent communication language
logical framework
email
formal semantics
logical rules
artificial intelligence
tutoring system
belief revision
first order logic
dynamic environments
case study