LMT: A Lightweight Logical Framework for Multi-agent Systems.
John Newsome CrossleyLito Perez CruzPublished in: KES (2012)
Keyphrases
- lightweight
- logical framework
- coalition logic
- multi agent systems
- normative systems
- inference rules
- belief revision
- reasoning tasks
- epistemic logic
- development environments
- linear logic
- wireless sensor networks
- game theory
- rfid tags
- communication infrastructure
- argumentation frameworks
- multi agent
- low cost
- video sequences