8 citations · 11 across the 17 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
A Bitopological Approach to Finite Reduction and Bounded Exact-Value Certificates for Fitting's Finite Heyting-valued Modal Logic
Litan Kumar Das, Kumar Sankar Ray, Prakash Chandra Mali
Fitting's finite Heyting-valued modal logic interprets modal formulas over a finite Heyting algebra. We use a relational bitopological representation to obtain a finite-state reduc…
cs.AI2026
CoGReV: A Confidence-Gated Post-Hoc Non-Monotonic Belief Revision Framework for Phishing Website Classification
Mainak Sen, Kumar Sankar Ray, Amlan Chakrabarti
In phishing detection, machine learning classifiers act as a first line of defense, but the false positives they produce are triaged by human analysts. The excessive false alarms c…