Norms have been widely proposed as a way of coordinating and controlling...
Many objectives can be achieved (or may be achieved more effectively) on...
Dynamic epistemic logics which model abilities of agents to make various...
Model-checking resource logics with production and consumption of resour...