Department of Artificial Intelligence
Faculty of Mathematics and Natural Sciences
University of Groningen
P.O. Box 407
9700 AK Groningen
Tel: +31 50 3639154; Fax: +31 50 3636687
Strategies in Multi-agent Systems: From implicit to implementable (STRATMAS) funded by the Netherlands Organisation of Scientific Research (NWO).
S. Ghosh, S. Sourabh and R. Verbrugge: Playing extensive form negotiation games: A tool-based analysis (Abstract), In H. van Ditmarsch, J. Lang, and S. Ju, eds, Proceedings of the Third International Workshop on Logic, Rationality and Interaction, LORI-III, Guangzhou, LNAI 6953, 2011.
S. Ghosh and B. Meijering: On combining cognitive and formal modeling: a case study involving strategic reasoning, In J. van Eijck and R. Verbrugge, eds, Proceedings of the Workshop on Reasoning about other minds, CEUR Workshop Proceedings, Groningen, 2011.
H. van Ditmarsch, S. Ghosh, R. Verbrugge and Y. Wang: Hidden Protocols, In K. Apt, ed, Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2011, ACM Digital Library, 2011.
V. Fiutek, S. Ghosh and S. Smets: Higher-order belief change in a branching-time setting, In Proceedings of the 14th Congress of Logic, Methodology and Philosophy of Science, Nancy, 2011.
S. Ghosh and F. Velázquez-Quesada: Merging Information, In J. van Benthem, A. Gupta and E. Pacuit, eds, Games, Norms and Reasons: Logic at the Crossroads, volume 353 of the Synthese Library, Springer, 2011.
S. Ghosh and F. Velázquez-Quesada: A qualitative approach to uncertainty, In M. Banerjee and A. Seth, eds, Proceedings of the 4th Indian Conference on Logic and its Applications, ICLA 2011, LNAI 6521, Springer, 90 - 104, 2011.
S. Ghosh and R. Ramanujam: Logic and social interaction: introduction (Guest editorial), Knowledge, Rationality and Action, a special section of Synthese, 177(supplement 1): 1 - 3, 2010.
S. Ghosh, B. Meijering and R. Verbrugge: Logic meets cognition: empirical reasoning in games, In O. Boissier et al, eds, Proceedings of the 3rd Multi-agent Logics, Languages, and Organisations Federated Workshops, MALLOW 2010, CEUR Workshop Proceedings, volume 627, Lyon, 2010.
S. Ghosh, R. Ramanujam and S. Simon: Playing extensive form games in parallel, In J. Dix et al, eds, Proceedings of the 11th Workshop on Computational Logics in Multi-agent Systems, CLIMA XI, LNAI 6245, Springer, 153-170, 2010.
D. de Jongh and S. Ghosh: Comparing strengths of beliefs explicitly, In M. Baldoni et al, eds, Proceedings of the 2nd Multi-agent Logics, Languages, and Organisations Federated Workshops, MALLOW 2009, CEUR Workshop Proceedings, volume 494, Torino, 2009.
S. Ghosh and F. Velázquez-Quesada: Expressing agent-opinions, In A. Herzig and E. Lorini, eds, Proceedings of the Workshop on Logical methods for social concepts, ESSLLI 2009, Bordeaux, 2009.
S. Ghosh, B. Löwe and S. Saraf: Pointer Semantics with Forward Propagation, In B. Goertzel, P. Hitzler and M. Hutter, eds, Artificial General Intelligence. Proceedings of the Second Conference on Artificial General Intelligence, AGI 2009, Arlington, volume 8 of Advances in Intelligent Systems Research, Atlantis Press, 37 - 42, 2009.
S. Ghosh and F. Velázquez-Quesada: Expressing belief flow in Assertion Networks, In P. Bosch, D. Gabelaia and J. Lang, eds, Proceedings of the Seventh International Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2007, LNAI 5422, Springer, 124 - 138, 2009.
J. van Benthem, S. Ghosh and F. Liu: Modelling Simultaneous games with Dynamic logic, Knowledge, Rationality and Action, a special section of Synthese, 165(2): 247 - 268, 2008.
S. Ghosh: Strategies made explicit in Dynamic Game Logic, In J. van Benthem and E. Pacuit, eds, Proceedings of the Workshop on Logic and Intelligent Interaction, ESSLLI 2008, Hamburg, 74-81, 2008.
M.K. Chakraborty and S. Ghosh: Nonmonotonic Logics and Algebras, Journal of CQUPT, Special issue for the International Forum on Knowledge Technology, IFKT 2008, Chongqing, 20(3): 355 - 360, 2008.
S. Raha, A.Hossain and S. Ghosh: Similarity based approximate reasoning: fuzzy control, Journal of Applied Logic, 6(1): 47 - 71, 2008.
J. van Benthem, S. Ghosh and F. Liu: Modelling Simultaneous games with Concurrent Dynamic logic, In J. van Benthem, S. Ju and F. Veltman, eds, A Meeting of the Minds. Proceedings of the Workshop on Logic, Rationality and Interaction, LORI 2007, Beijing, volume 8 of Texts in Computing Science, College Publications, 243 - 258, 2007.
S. Ghosh, B. Löwe and E. Scorelle, Belief Flow in Assertion Networks, In U. Priss, S. Polovina and R. Hill, eds, Proceedings of the 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, LNAI 4604, Springer, 401-414, 2007.
M.K. Chakraborty and S. Ghosh: Belief-Disbelief Interface: A Bi-logical Approach, accepted for publication in Fundamenta Informaticae.
S. Ghosh: Nonmonotonic reasoning and Belief revision - two aspects of common sense reasoning : A logic-algebraic study, PhD Thesis, University of Calcutta, 2005.
S. Ghosh and M.K. Chakraborty: Nonmonotonic Proof Systems: Algebraic foundations, Fundamenta Informaticae, 59(1): 39 - 65, 2004.
|Some Talks and Presentations|
Strategic reasoning in extensive form games: a logical study, Computational Intelligence Group Seminar, Clausthal, February, 2011.
Changing protocols and more ..., The many faces of protocol and knowledge, Amsterdam, September, 2010.
On strategy composition and game composition, ILIAS Seminar, Luxembourg, June, 2010.
Logics for strategies: a quest into the future, GAMES 2009, Udine, September, 2009.
Explicit strategies in Dynamic Game Logic: the generic-game approach, GAMES 2009, Udine, September, 2009.
Strategies in multi-agent systems, Workshop on Logic and Strategies (STRATEGIES-I), Groningen, June, 2009.
B. Renne's paper "Propositional Games with Explicit Strategies", The P. van Emde Boas Swap Session of The Third Workshop in Decisions, Games, & Logic (DGL'09), Université de Lausanne, Faculté des Hautes Etudes Commerciales (HEC Lausanne), June, 2009.
Merging Information, Workshop on Logic and Cognition, Kolkata, October, 2008.
On Game Logics, Formal Methods Update Meeting 2008, Pune, July, 2008.
Strategies made explicit in Dynamic Game Logic, 8th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2008), Amsterdam, July, 2008.
From Revision Theory to Belief Revision, International Conference on Foundations of Mathematics, Analysis and Geometry, Kolkata, December, 2007.
Modelling Simultaneous Games, First London-Amsterdam-Lausanne Graduate Workshop on Decisions, Games and Logic (DGL), London, July, 2007.
Belief Flow Networks, Computability in Europe (CiE 2007), Siena, June, 2007.
Studying self-referential statements using revision theory, A special seminar for Prof. Mihir K. Chakraborty, Kolkata, July, 2006.
Propositional attitudes and Belief revision, National Workshop on Logic and Semantics, Kolkata, October, 2005.
Bi-logics for belief-disbelief, First Indian Conference on Logic and its relationship with other disciplines, Mumbai, January, 2005
Logics for some weaker algebraic structures, National Seminar on Mathematics and its Applications, Bardhaman, December, 2001.
Graded consequence and its logic, National Seminar on Logic, Automata and Modelling, Kolkata, June, 2001.
Lecturer (with R. Ramanujam), Strategies in games: a logic-automata study, 23rd European Summer School on Logic, Language and Informations (ESSLLI 2011), Ljubljana, August 1-12, 2011.
Programme Committee member, Reasoning about other minds: Logical and Cognitive Perspectives, Groningen, July 11, 2011.
Organizing Committee member, Thirteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII), Groningen, July 11-15, 2011.
Programme Committee member, 4th International Conference on Pattern Recognition and Machine Intelligence (PReMI'11), Moscow, June 27-July 1, 2011.
Co-ordinator (with M.K. Chakraborty), A Special Session on Logic and its applications, 4th International Conference on Pattern Recognition and Machine Intelligence (PReMI'11), Moscow, June 27-July 1, 2011.
Guest Editor (with R. Ramanujam), Synthese KRA volume on Logic and Social Interaction, December, 2010.
Co-ordinator, Workshop on Alternative approaches to belief change: A consolidated perspective, during ISLA 2010, Hyderabad, January, 2010.
Executive Council member, Association for Logic in India, January 2009 - January 2013.
Organizing Committee member, Third Indian Conference on Logic and its Applications (ICLA 2009), Chennai, January 7-11, 2009.
Master Thesis supervision (with F. Veltman): Martijn Pennings, A Konolidge Bridge between Default Logic and Autoepistemic Logic, Master of Logic thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam, August, 2008.
Programme Committee member, Second Indian Winter School on Logic, Kanpur, January 14-26, 2008.
Organizing Committee member, International Conference on Logic, Navya-Nyaya and Applications, Kolkata, January 3-7, 2007.
Member of Calcutta Logic Circle since 1997.
Institute of Mathematical Sciences, Chennai in October - November, 2007, April, 2005 and August, 2001.
Institute for Logic, Language and Computation, Amsterdam in June, 2006.
Grants and Awards
Free Competition Grant (with R. Verbrugge and J. van Benthem) of the Netherlands Organisation for Scientific Research (NWO), 2009 - 2012.
Rubicon Grant of the Netherlands Organisation for Scientific Research (NWO), 2006 - 2007.
Research fellowship of the National Board of Higher Mathematics (NBHM), Department of Atomic Energy, Government of India, 1998 - 2002.
Under the supervision of Prof. Mihir K. Chakraborty, finished my PhD degree in the Department of Pure Mathematics, University of Calcutta, 2000 - 2004. Thesis title: Nonmonotonic reasoning and Belief revision - two aspects of common sense reasoning : A logic-algebraic study.
Pre-PhD (visiting student)
Patha Bhavan, Kolkata, 1991 - 1993.
St. John's Diocesan Girls' High School, Kolkata, 1980 - 1991.
Ananda School, Kolkata, 1978 - 1979.
Association for Logic In India
Third Indian Winter School on Logic and its Applications (ISLA 2010), Hyderabad, 2010
Third Indian Conference on Logic and its Applications (ICLA 2009), Chennai, 2009
Second Indian Winter School on Logic, Kanpur, 2008
Second Indian Conference on Logic and its relationship with other disciplines, Mumbai, 2007
International Conference on Logic, Navya-Nyaya and Applications, Kolkata, 2007
First Indian Winter School on Logic, Mumbai, 2006
First Indian Conference on Logic and its relationship with other disciplines, Mumbai, 2005
Indian Statistical Institute, Kolkata
Institute for Logic, Language and Computation, Amsterdam
University of Calcutta
Presidency College, Kolkata
Patha Bhavan, Kolkata
St. John's Diocesan Girls' High School, Kolkata