State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems.
Natasha AlechinaBrian LoganPublished in: Fields of Logic and Computation III (2020)
Keyphrases
- resource bounded
- multi agent systems
- autonomous agents
- coalition logic
- model checking
- information gathering
- epistemic logic
- meta level
- rational agents
- temporal logic
- modal logic
- coalition formation
- multi agent
- cooperative
- logical framework
- multiagent systems
- intelligent agents
- game theory
- nonmonotonic logics
- dynamic environments
- inference rules
- neural network
- game theoretic
- mental states
- formal specification
- data mining