Proceedings of the 20th International Symposium on Methodologies for Intelligent Systems (ISMIS'12)