Research Interests

Rough Set Theory: Logics, Algebras and Applications

Modal Logics

 

     ● Publications     

     Award 

     Projects

     ● Research Visits

     Research Positions held                                                                                                                                                                                                                                                                                                                                                                                                                                                                           Home

 

Journals

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. J. 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

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

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

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

                                                                                     

 

 

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

                

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