Multiagentsystems:algorithmic,game-theoretic,andlogicalfoundations