Intelligent Information and Database Systems

The two-volume set LNAI 10191 and 10192 constitutes the refereed proceedings of the 9th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2017, held in Kanazawa, Japan, in April 2017. Automated Reasoning and Proving Techniques with Applications in Intelligent Systems; Intelligent Computer Vision Systems and Applications;