Capacity ATL: Reasoning About Agent Profiles and Applications to Cybersecurity.
Gabriel BallotPublished in: EUMAS (2023)
Keyphrases
- multi agent systems
- practical reasoning
- multi agent
- intelligent agents
- autonomous agents
- agent architecture
- multiagent systems
- software agents
- cooperative
- model checking
- rational agents
- cognitive agents
- agent oriented
- agent systems
- agent environment
- dynamic environments
- mobile agents
- agent model
- multiple agents
- temporal logic
- incomplete information
- agent technology
- agent interactions
- decision making
- interacting agents
- conversational agent
- high capacity
- formal theory
- artificial agents
- user profiles
- current situation
- spatial reasoning
- coalition formation