Agents that speak: modelling communicative plans and information sources in a logic of announcements.
Philippe BalbianiNadine GuiraudAndreas HerzigEmiliano LoriniPublished in: AAMAS (2011)
Keyphrases
- information sources
- multi agent
- multi agent systems
- dynamic logic
- logical framework
- epistemic logic
- alternating time temporal logic
- multiple agents
- intelligent agents
- multiagent systems
- autonomous agents
- belief desire intention
- plan execution
- modal logic
- heterogeneous information sources
- embodied conversational agents
- communicative acts
- dynamic environments
- semantic heterogeneity
- mobile agents
- knowledge sources
- logic programming
- web sources
- learning agents
- data sources
- heterogeneous data
- coalition formation
- digital libraries