Verifying Strategic Abilities in Multi-Agent Systems via First-Order Entailment.
Francesco BelardinelliVadim MalvonePublished in: ECAI (2020)
Keyphrases
- multi agent systems
- probabilistic logic
- higher order
- logic programming
- first order logic
- case study
- multi agent
- capacity planning
- game theory
- agent systems
- coalition formation
- software agents
- autonomous agents
- intelligent agents
- np complete
- cooperative
- model checking
- agent architecture
- multiagent systems
- probabilistic reasoning
- textual entailment
- decision making
- computational logic
- distributed problem solving
- stochastic dominance
- recognizing textual entailment
- agent oriented
- knowledge representation
- knowledge management
- agent platform
- inter agent
- normative systems
- epistemic logic
- np hard
- agent technology