Exploring the Role of Automated Reasoning in Big Data Analysis | IEEE Conference Publication | IEEE Xplore