Research Interests

Rough Set Theory: Logics, Algebras and Applications

Modal Logics

 

     ● Publications     

     ● Award 

     ● Projects

     ● Research Visits

     ● Research Positions held                                                                                                                                                                                                                                                                                                                                                                                                                                                                           Home

 

Publications (Recent)

Journals

Kumar, Arun and Banerjee, M. (2024): Some algebras and logics from quasiorder-generated covering-based approximation spaces. Journal of Applied Non-Classical Logics, 34(2-3), 248-268.

Howlader, Prosenjit and Banerjee, M. (2023): Topological representation of double Boolean algebras, Algebra Universalis, 84:15, 1-32.

Khan, M.A., Banerjee, M. and Panda, S. (2023): Logics for temporal information systems in rough set theory, ACM Transactions on Computational Logic, 24(1), 1-29.

Banerjee, M. and Chakraborty, M.K. (2023): Zdzisław Pawlak and our journey with rough sets, Transactions on Rough Sets XXIII, LNCS 13610, 3-11.

Howlader, Prosenjit and Banerjee, M. (2023): A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts, Int. J. Approximate Reasoning, 153, 115-143.

Howlader, Prosenjit and Banerjee, M. (2023): Kripke contexts, double Boolean algebras with operators and corresponding modal systems, Journal of Logic, Language and Information, 32, 117-146.

More, Anuj Kumar and Banerjee, M. (2022): Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation, Logic Journal of the IGPL, jzac041, https://doi.org/10.1093/jigpal/jzac041

Banerjee, M., Dubois, D., Godo, L. and Prade, H. (2017): On the relation between possibilistic logic and modal logics of belief and knowledge, Journal of Applied Non-Classical Logics, 27(3-4), 206-224.

Kumar, Arun and Banerjee, M. (2017): Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics, Studia Logica, 105(3), 439-469.

More, Anuj Kumar and Banerjee, M. (2016): Categories and algebras of rough sets: new facets, Fundamenta Informaticae, 148(1-2), 173-190.

Kumar, Arun and Banerjee, M. (2015): Algebras of definable and rough sets in quasi order-based approximation spaces, Fundamenta Informaticae, 141 (1), 37-55.

Khan, M.A. and Banerjee, M. (2015): Logics for some dynamic spaces - Parts I and II. Journal of Logic and Computation, 25 (3), 827-856, 857-878.

Banerjee, M. and Dubois, D. (2014): A simple logic for reasoning about incomplete knowledge. Int. J. Approximate Reasoning, 55 (2), 639-653.

Khan, M.A., Banerjee, M. and Rieke, R. (2014): An update logic for information systems. Int. J. Approximate Reasoning, 55 (1), 436-456.

Chakraborty, M.K. and Banerjee, M. (2013): Rough sets: some foundational issues. Fundamenta Informaticae, 127 (1-4), 1-15.

Khan, M.A. and Banerjee, M. (2011): Logics for information systems and their dynamic extensions. ACM Transactions on Computational Logic, 12 (4), art. no. 29.

Khan, M.A. and Banerjee, M. (2011): A logic for multiple-source approximation systems with distributed knowledge base. Journal of Philosophical Logic, 40 (5), 663-692.

Khan, M.A. and Banerjee, M. (2010): A study of multiple-source approximation systems. Transactions on Rough Sets XII, LNCS 6190, 46-75.

Khan, M.A. and Banerjee, M. (2008): Formal reasoning with rough sets in multiple-source approximation systems. Int. J. Approximate Reasoning, 49(2), 466-477.

Bunder, M.W., Banerjee, M. and Chakraborty, M.K. (2008): Some rough consequence logics and their interrelations, Transactions on Rough Sets VIII, LNCS 5084, 1-20.

Banerjee, M., Mitra, S. and Banka, H. (2007): Evolutionary-rough feature selection in gene expression data. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 37(4), 622-631.

Banerjee, M. and Khan, M.A. (2007): Propositional logics from rough set theory. Transactions on Rough Sets VI, LNCS 4374, 1-25.

Chakraborty, M.K. and Banerjee, M. (2007): Rough dialogue and implication lattices. Fundamenta Informaticae, 75(1-4), 123-139.

Banerjee, M. (2006): Rough belief change. Transactions on Rough Sets V, LNCS 4100, 25-38.

Banerjee, M. (2006): Logic for rough truth. Fundamenta Informaticae, 71(2,3), 139-151.

 

Conferences

Saha, Bidhan, Banerjee, M. and Dutta, S. (2023): Paraconsistent Logics: A Survey Focussing on the Rough Set Approach. In: LNCS 14481, Proc. International Joint Conference on Rough Sets (IJCRS 2023), Krakow, Poland, 2023, Eds. A. Campagner et al. (Springer), 2023, 105-121.

Howlader, Prosenjit and Banerjee, M. (2021): Double Boolean algebras with operators (Extended abstract). In: Proc. ICLA 2021.

Howlader, Prosenjit and Banerjee, M. (2020): Object oriented protoconcepts and logics for double and pure double Boolean algebras. In: LNCS 12179, Proc. International Joint Conference on Rough Sets (IJCRS 2020), Havana, Cuba, 2020, Eds. Rafael Bello et al. (Springer), 2020, 308-323.

Howlader, Prosenjit and Banerjee, M. (2020): Remarks on prime ideal and representation theorems for double Boolean algebras. In: CEUR Workshop Proceedings 2668, Proc. 15th International Conference on Concept Lattices and their Applications (CLA 2020), Tallinn, Estonia, 2020, Eds. F.J. Valverde-Albacete and M. Trnecka (CEUR-WS.org), 2020, 83-94.

Panicker, Gayatri and Banerjee, M. (2019): (Best Paper Award at IJCRS 2019) Rough sets and the algebra of conditional logic. In: LNCS 11499, Proc. International Joint Conference on Rough Sets (IJCRS 2019), Debrecen, Hungary, 2019, Eds. Tamas Mihalydeak et al. (Springer), 28-39.

Howlader, Prosenjit and Banerjee, M. (2018): Algebras from semiconcepts in rough set theory. In: LNAI 11103, Proc. International Joint Conference on Rough Sets (IJCRS 2018), Quy Nhon, Vietnam, 2018, Eds. Hung Son Nguyen et al. (Springer), 440-454.

More, Anuj Kumar and Banerjee, M. (2018): (Best Student Paper Award at IJCRS 2019) Transformation semigroups for rough sets. In: LNAI 11103, Proc. International Joint Conference on Rough Sets (IJCRS 2018), Quy Nhon, Vietnam, 2018, Eds. Hung Son Nguyen et al. (Springer), 584-598.

More, Anuj Kumar and Banerjee, M. (2017): New algebras and logic from a category of rough sets. In: LNAI 10313, Proc. International Joint Conference on Rough Sets (IJCRS (1) 2017), Olsztyn, Poland, 2017, Eds. Polkowski L. et al. (Springer), 95-108.

Kumar, Arun and Banerjee, M. (2017): A semantic analysis of Stone and dual Stone negations with regularity. In: LNCS 10119, Proc. Logic and Its Applications (ICLA 2017), IIT Kanpur, 2017, Eds. Ghosh S., Prasad S. (Springer), 139-153.

Banerjee, M., Ju, Shier, Khan, M.A. and Tang, Liping (2015): Open world models: a view from rough set theory. In: Facets of Uncertainties and Applications, Proc. ICFUA, Kolkata, 2013, Eds. Chakraborty, M.K. et al. (Springer-Verlag), 77-86.
Banerjee, M., Dubois, D. and Godo, L. (2014): Possibilistic vs. relational semantics for logics of incomplete information. In: CCIS 442, Proc. Information Processing and Management of Uncertainty (IPMU'2014), Montpellier, France, 2014, Eds. Laurent, A. et al. (Springer-Verlag), 335-344. 
Banerjee, M., Dubois, D., Prade, H. and Schockaert, S. (2013): La logique possibiliste generalisee. In: Proc. Actes des Rencontres Francophones sur la Logique Floue et ses Applications (LFA'13), Reims, France, 2013.
Kumar, Arun and Banerjee, M. (2012): Definable and rough sets in covering-based approximation spaces. In: LNAI 7414, Proc. Rough Sets and Knowledge Technology (RSKT 2012), Chengdu, China, 2012, 
Eds. Li, T. et al. (Springer-Verlag), 488-495.

Khan, M.A. and Banerjee, M. (2011): Information systems and rough set approximations: an algebraic approach. In: LNCS 6744, Proc. 4th Int. Conf. on Pattern Recognition and Machine Intelligence (PReMI '11), Moscow, Russia, 2011, Eds. Kuznetsov, S.O. et al. (Springer-Verlag), 744-749.

Banerjee, M., Pathak, A., Krishna G. and Mukerjee, A. (2010): Communicative approximations as rough sets. In: LNCS 6086, Proc. Rough Sets and Current Trends in Computing (RSCTC 2010), 
Warsaw, Poland, 2010, Eds. Szczuka, M.S. et al. (Springer-Verlag), 317-326.
Khan, M.A. and Banerjee, M. (2010): A preference-based multiple-source rough set model. In: LNCS 6086, Proc. Rough Sets and Current Trends in Computing (RSCTC 2010), Warsaw, Poland, 2010, 
Eds. Szczuka, M.S. et al. (Springer-Verlag), 247-256.
Khan, M.A. and Banerjee, M. (2009): An algebraic semantics for the logic of multiple-source approximation systems. In: LNCS 5908, Proc. Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 
(RSFDGrC 2009), Delhi, India, 2009, Eds. Sakai, H. et al. (Springer-Verlag), 69-76.

Khan, M.A. and Banerjee, M. (2009): A dynamic logic for multi-agent partial knowledge information systems. In: Proc. Workshop on Logical Methods for Social Concepts (LMSC'09), ESSLLI 2009, Bordeaux, 2009, Eds. Herzig, A. and Lorini, E.; available at http://www.irit.fr/~Andreas.Herzig/Esslli09/.

Banerjee, M. and Dubois, D. (2009): A simple modal logic for reasoning about revealed beliefs. In: LNCS 5590, Proc. 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy, 2009, Eds. Sossai, C. and Chemello, G. (Springer-Verlag), 805-816.

Khan, M.A. and Banerjee, M. (2009): A logic for complete information systems. In: LNCS 5590, Proc. 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy, 2009, Eds. Sossai, C. and Chemello, G. (Springer-Verlag), 829-840.

Banerjee, M. and Khan, M.A. (2008): Rough set theory: a temporal logic view. In: Studies in Logic Vol. 15, Proc. Logic, Navya-Nyāya & Applications: Homage to Bimal Krishna Matilal, Kolkata, 2007,  Eds. Chakraborty, M.K. et al. (College Publications, London), 1-20.

Khan, M.A. and Banerjee, M. (2008): Multiple-source approximation systems: membership functions and indiscernibility. In: LNAI 5009, Proc. Rough Sets and Knowledge Technology (RSKT 2008), Chengdu, China, 2008, Eds. Wang, G. et al. (Springer-Verlag), 80-87.

Banerjee, M. and Yao, Y. (2007): A categorial basis for granular computing, In: LNAI 4482, Proc. Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC2007), Toronto, Canada, 2007, Eds. An, A.et al. (Springer-Verlag), 427-434.

Banerjee, M. and Pal, K. (2005): The variety of topological quasi-Boolean algebras, Trends in Logic III - Conference in Memoriam of Mostowski, Rasiowa, Rauszer, Warsaw, Poland, 2005; extended abstract available at http://www.mimuw.edu.pl/~mrr/.

Banerjee, M. and Singh, P.K. (2005): Rough contraction through partial meets. In: LNCS 3776, Proc. 1st Int. Conf. on Pattern Recognition and Machine Intelligence (PReMI '05), Kolkata, India, 2005, Eds. Pal, S.K. et al. (Springer-Verlag), 726-731.

Janardhan Rao, D.V., Mitra, P. and Banerjee, M. (2005): Object extraction in grey-scale images using roughness measure of a fuzzy set. In: LNCS 3776, Proc. 1st Int. Conf. on Pattern Recognition and Machine Intelligence (PReMI '05), Kolkata, India, 2005, Eds. Pal, S.K. et al. (Springer-Verlag), 744-749.

Banerjee, M. (2004): Rough truth, consequence, consistency and belief revision. In: LNAI 3066, Proc. Int. Conf. On Rough Sets and Current Trends in Computing (RSCTC 2004), Uppsala, Sweden, 2004, Eds. Tsumoto, S. et al. (Springer-Verlag), 95-102.

Chakraborty, M.K. and Banerjee, M. (2004): Dialogue in rough context. In: LNAI 3066, Proc. Int. Conf. On Rough Sets and Current Trends in Computing (RSCTC 2004), Uppsala, Sweden, 2004, Eds. Tsumoto, S. et al. (Springer-Verlag), 295-299.

 

Books/Journal special issue

co-edited with Mihir K. Chakraborty and Andrzej Szałas (2024): Journal of Applied Non-Classical Logics, Volume 34, 2024, Issue 2-3: Logics from Rough Sets.

co-edited with A.V. Sreejith (2023): Logic and Its Applications. 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings. LNCS 13963 (Springer-Verlag).

co-edited with Tamas Mihalydeak, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Duntsch, Zbigniew Suraj and Davide Ciucci (2019): Rough Sets. International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17-21, 2019, Proceedings. LNAI 11499 (Springer Nature Switzerland AG).

co-edited with Krishna S. (2015): Logic and Its Applications. 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015, Proceedings. LNCS 8923 (Springer-Verlag).

co-edited with A. Seth (2011): Logic and Its Applications. 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings. LNCS 6521 (Springer-Verlag).

 

Invited Book Chapters

Banerjee, M. (2022): Algebraic logic and rough set theory. In: Handbook of Logical Thought in India, Eds. Sarukkai, S. and Chakraborty, M.K. (Springer, New Delhi), 1-50.

Khan, M.A. and Banerjee, M. (2013): Algebras for information systems. In:  Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, Eds. Skowron, A. and Suraj, Z., Intelligent Systems Reference Library (ISRL) 42, (Springer-Verlag, Berlin), 381-407.

Mitra, S. and Banerjee M. (2008): Rough-neural methodologies in granular computing. In: Handbook of Granular Computing, Eds. Pedrycz, W., Skowron, A., and Kreinovich, V. (John Wiley & Sons, Chichester), 657-669.

Banerjee, M., Mitra, S. and Anand, A. (2006): Feature selection using rough sets. In: Multi-Objective Machine Learning, Ed. Jin, Y., Series on Studies in Computational Intelligence 16 (Springer-Verlag, Berlin), 3-20.

Banerjee, M. and Chakraborty, M.K. (2004): Algebras from Rough Sets. In: Rough-Neuro Computing: Techniques for Computing with Words, Eds. Pal, S.K., Polkowski, L. and Skowron, A. (Springer-Verlag, Berlin), 157-184.

 

Complete list of publications                                                                                       Top

                                                                                     

 

Awards

Fellow, International Rough Set Society (IRSS)

Indian National Science Academy (INSA) Award for Young Scientists, 1995

 

Projects

Rough set theory through logic and algebra; funded by INSA, 2001-2003, Principal Investigator.

Reasoning under uncertainty about complex objects; Indo-Polish project funded by Department of Science and Technology (DST), Government of India and National Committee for Scientific Research, Poland, 1996-1998, Co-investigator.

                                                                                                                                    Top

Research Visits

Institute of Mathematics, University of Warsaw, Poland, June-July 2010

Institute of Logic and Cognition (ILC), Sun Yat-Sen University, Guangzhou, China, May-July, 2009

Institut de Recherche en Informatique de Toulouse (IRIT), Universite Paul Sabatier, France, May 2007

Department of Computer Science, University of Regina, Canada, Fall semester, 2006

The Institute of Mathematical Sciences (IMSc), Chennai, India, during the summers of 2003-2005

Cognitive Science Division, Lund University, Sweden, June 2004

Institute of Mathematics, University of Warsaw, Poland, Dec. 1998, Nov.-Dec. 1996

Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands, Dec.1993

Institute of Computer Science, Warsaw University of Technology, Poland, Nov.-Dec. 1993, Sept. 1992

Department of Mathematics and Statistics, University of Regina, Canada, Oct. 1993

School of Mathematical Sciences, Queen Mary and Westfield College, University of London, Oct.-Nov. 1992

                                                                                                                                        Top

   

Research Positions held

2009 (Summer):        Invited Professor, Institute of Logic and Cognition (ILC), Sun Yat-Sen University, Guangzhou, China

2007 (May):             Invited Professor, Institut de Recherche en Informatique de Toulouse (IRIT), Universite Paul Sabatier, France

2006 (Fall):              Visiting Scholar, Dept. of Computer Science, University of Regina, Canada    

2003-2005:             Associate, IMSc, Chennai, India

1996-1997:             Research Associate, Council of Scientific and Industrial Research (CSIR), Government of India, at the Machine Intelligence Unit (MIU), Indian Statistical Institute (ISI), Calcutta;

                               Project: Rough set theory, its logic and applications

1995-1996:             Research Associate, CSIR, at MIU, ISI, Calcutta; Project: A neuro-fuzzy image recognition system: methodology development for forensic applications

1989-1994:             Senior and Junior Research Fellow, CSIR, at the Department of Pure Mathematics, University of Calcutta, India

 

                                                                                                                                    Top

 

Home