● Award
● Projects
● Research Positions held Home
Journals
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
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
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
Fellow, International Rough Set Society (IRSS)
Indian National Science Academy (INSA) Award for Young Scientists, 1995
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.
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
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