Modal Specifications for Composition of Agent Behaviors.
Hikmat FarhatGuillaume FeuilladePublished in: ICAART (1) (2014)
Keyphrases
- multi agent
- multi agent systems
- transition systems
- multiagent systems
- autonomous agents
- practical reasoning
- formal specification
- modal logic
- mobile agents
- state transitions
- software agents
- agent interactions
- decision making
- social norms
- high level
- multiple agents
- agent behavior
- finite state machines
- agent architecture
- intelligent agents
- embodied conversational agents
- agent systems
- agent technology
- decision theoretic
- action selection
- dynamic logic
- social behavior
- specification language
- agent oriented
- delay insensitive
- behavior recognition
- selective perception
- virtual agents
- functional requirements
- pedagogical agents
- human behavior
- belief revision
- logic programs
- mobile robot
- cooperative