An Operational Semantics for True Concurrency in BDI Agent Systems.
Lavindra de SilvaPublished in: AAAI (2020)
Keyphrases
- agent systems
- operational semantics
- agent programming
- intelligent agents
- mental states
- formal semantics
- agent technology
- dynamic environments
- multi agent systems
- agent oriented
- database systems
- data model
- activity diagrams
- negotiating agents
- agent communication language
- autonomous agents
- mobile agents
- databases
- information processing
- object oriented
- relational databases
- interaction protocols
- multi agent