Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems - Ras