10th International KES Conference
on
AGENTS AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS
KES-AMSTA-16
Welcome to KES-AMSTA-16
KES-AMSTA is an international scientific conference for research in the field of agent and multi-agent systems. Agents and multi-agent systems are related to a modern software paradigm which has long been recognized as a promising technology for constructing autonomous, complex and intelligent systems.
AMSTA consisted of keynote talks by experts in the field, oral and poster presentations, AMSTA-16 provided an excellent opportunity for researchers to discuss modern approaches and techniques for agent and multi-agent systems and their applications, as well as intelligent systems in the field of social networks, self-organisation and trust.
Proceedings
The conference proceedings will be published by Springer as book chapters in a volume of the KES Smart Innovation Systems and Technologies series, submitted for indexing in Scopus and Thomson-Reuters Conference Proceedings Citation Index (CPCI) and the Web of Science.
Smart Digital Futures
The conference took place as part of the Smart Digital Futures 2016 multi-theme conference which groups AMSTA-16, IDT-16, IIMSS-16, InMed-16 and SEEL-16 in one venue.
Winners
Best Research Paper: Efficient Model Checking Timed and Weighted Interpreted Systems Using SMT and SAT Solvers
Main Author: Aqnieszka Zbrzezny Co-Authors: Andrzej Zbrzezny and Franco Raimondi