Cooperation Among Groups of Agents in the Epistemic Logic L-DINF.
Stefania CostantiniAndrea FormisanoValentina PitoniPublished in: RuleML+RR (2022)
Keyphrases
- epistemic logic
- multi agent systems
- modal logic
- model checking
- cooperative
- multi agent
- computation tree logic
- multi faceted
- dynamic epistemic logic
- logical framework
- autonomous agents
- mathematical theory
- software agents
- inference rules
- temporal logic
- multiagent systems
- distributed systems
- image processing
- answer set programming