LMT: A Lightweight Logical Framework for Multi-agent Systems.

John Newsome Crossley, Lito Perez Cruz

Browse the full KES paper archive.