Exploring the Role of Automated Reasoning in Big Data Analysis. - S. S. Neetha; Girija Shankar Sahoo; P. Karthigaikuar; S. Jayasudha; Gitanjali Rahul Shinde; Zeeshan Ahmad Lone (ICCCNT, 2024)