Logic for Timed Agent Network Topologies.
Clovis EberhartJames HaydonJérémy DubutAhmet CetinkayaSasinee PruekprasertPublished in: CDC (2022)
Keyphrases
- network topologies
- interacting agents
- network topology
- multi agent
- multi agent systems
- autonomous agents
- agent programming
- network nodes
- petri net
- reasoning engine
- agent technology
- multiagent systems
- agent model
- logic programming
- dynamic logic
- modal logic
- software agents
- mobile agents
- network reliability
- decision making
- intelligent agents
- state space
- network structure
- heuristic search