A Logic of Inferable in Multi-Agent Systems with Budget and Costs.
Stefania CostantiniAndrea FormisanoValentina PitoniPublished in: AAMAS (2021)
Keyphrases
- multi agent systems
- computational logic
- normative systems
- coalition logic
- epistemic logic
- agent systems
- multi agent
- game theory
- logic programming
- logical framework
- autonomous agents
- modal logic
- classical logic
- intelligent agents
- agent platform
- total cost
- cooperative
- automated reasoning
- software agents
- multi agent reinforcement learning
- distributed problem solving
- positive data
- model checking
- inductive inference
- dynamic logic
- positive and negative
- data sets