8 citations · 36 across the 35 of their papers we have counts for
39 papers
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…
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…
Duality for Fitting's Multi-valued Modal logic via bitopology and biVietoris coalgebra
Litan Kumar Das, Kumar Sankar Ray, Prakash Chandra Mali
Fitting's Heyting-valued logic and Heyting-valued modal logic have already been studied from an algebraic viewpoint. In addition to algebraic axiomatizations with the completeness…
Bayesian Brain: Computation with Perception to Recognize 3D Objects
Kumar Sankar Ray
We mimic the cognitive ability of Human perception, based on Bayesian hypothesis, to recognize view-based 3D objects. We consider approximate Bayesian (Empirical Bayesian) for perc…
Coalgebraic Fuzzy geometric logic
Litan Kumar Das, Kumar Sankar Ray, Prakash Chandra Mali
The paper aims to develop a framework for coalgebraic fuzzy geometric logic by adding modalities to the language of fuzzy geometric logic. Using the methods of coalgebra, the modal…
Particle Swarm Optimization based on Novelty Search
Mr. Rajesh Misra, Kumar S Ray
In this paper we propose a Particle Swarm Optimization algorithm combined with Novelty Search. Novelty Search finds novel place to search in the search domain and then Particle Swa…