Computational Logic in Multi-Agent Systems: recent advances and future directions