A Multi-agent Modal Language for Concurrency with Non-communicating Agents.
Stefano BorgoPublished in: CEEMAS (2003)
Keyphrases
- communicating agents
- multi agent
- oriented programming
- database systems
- cooperative
- natural language
- multi agent systems
- programming language
- concurrent programming
- object oriented languages
- artificial agents
- reinforcement learning
- agent programming
- dynamic logic
- modal logic
- event calculus
- concurrency control
- first order logic
- intelligent systems