MALLET-A Multi-Agent Logic Language for Encoding Teamwork.
Xiaocong FanJohn YenMichael S. MillerThomas R. IoergerRichard A. VolzPublished in: IEEE Trans. Knowl. Data Eng. (2006)
Keyphrases
- multi agent
- agent programming
- oriented programming
- team formation
- formal language
- intelligent agents
- multi agent systems
- proof theory
- dynamic logic
- multiagent systems
- cooperative
- agent communication
- programming language
- highly expressive
- reinforcement learning
- formal theory
- predicate calculus
- intuitionistic logic
- modal logic
- autonomous agents
- predicate logic
- nonmonotonic logics
- classical logic
- specification language
- heterogeneous agents
- automated reasoning
- target language
- language learning
- natural language
- encoding scheme