Decidability Borders of Verification of Communicating Datalog Agents.
Francesco Di CosmoPublished in: EUMAS (2023)
Keyphrases
- query answering
- multi agent systems
- multi agent
- communication channels
- intelligent agents
- multiagent systems
- incomplete information
- multiple agents
- autonomous agents
- artificial agents
- expressive power
- software agents
- cooperative
- deductive databases
- integrity constraints
- mobile agents
- dynamic environments
- transitive closure
- description logics
- datalog programs
- coalition formation
- interacting agents
- query language
- agent interactions
- agent systems
- mechanism design
- data complexity
- agent architecture
- decision making
- conjunctive queries
- model checking
- game theoretic
- agent model
- agent technology
- formal verification
- learning agents