This is a guest post and part of our ongoing Student Life series

It was my great honour to be a paper presenter participating in the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2018) with my supervisors Dr. Fenghui Ren and Prof. Minjie Zhang in Stockholm, Sweden in July 2018. AAMAS2018, the largest and most influential conference in the area of agents and multiagent systems, brought together researchers in all areas of agent technology and provided an international reputed forum for research in the area of autonomous agents and multiagent systems.

In the conference, one of the most inspiring talks was Temporal Logics for Multi-Agent Systems given by Thomas A. Henzinger, who is the president of IST Austria. In his talk, he mentioned that traditional temporal logics were insufficient for reasoning about multi-agent systems. To solve this problem, he introduced the Alternating-time Temporal Logic (ATL), which is a temporal logic interpreted over multi-player games, whose players correspond to agents pursuing temporal objectives. This talk was pretty impressive since the logic for multi-agent systems is one of the topics that I want to learn to apply in my research.

As a Ph.D. student in the Faculty of Engineering and Information Science at the University of Wollongong, my research topic focuses on agent-based autonomous negotiation, agent-based collaboration and decision-making in multiagent systems. The conference provided a wonderful opportunity for me to broaden my research horizon and to learn the state-of-the-art techniques of artificial intelligence.