Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications