Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
ACM Digital Library