Home Publications Teaching Talks Professional Activities Looking Back Links

  2021

 S. Ghosh and K. Sano: Rely more or less, for better or for worse: Intertwining reliability and preferences, Journal of Logic and Computation, https://doi.org/10.1093/logcom/exab066, 2021. (PDF)

 S. Ghosh and T. Icard, eds, Logic, Rationality and Interaction, 8th International Conference, LORI 2021, Proceedings, LNCS 13039, Springer, 2021.

 D. Li, S. Ghosh, F. Liu and Y. Tu: On the subtle nature of a simple logic of the hide and seek game, In, A. Silva, R. Wassermann and R. de Queiroz, eds, Proceedings of the 27th International Workshop on Logic, Language, Information, and Computation (WoLLIC 2021), LNCS 13038, Springer, pp. 201-218, 2021. (PDF)

 S. Ghosh and R. Ramanujam: Logics of strategies and preferences. In S. Sarukkai and M. Chakraborty, eds, Handbook of Logical Thought in India. Springer, New Delhi, https://doi.org/10.1007/978-81-322-1812-8_42-1, 2021. (PDF)

 T. Braüner, A. Ghosh and S. Ghosh: Understanding responses of individuals with ASD in syllogistic and decision-making tasks: A formal study, In, L. Cleophas and M. Massink, eds, Software Engineering and Formal Methods. SEFM Collocated Workshops. LNCS/LNPSE 12524, Springer, pp. 118-128, 2021. (PDF)

 S. Das and S. Ghosh: Receiving messages in their correct order: Analyzing broadcast protocols in dynamic epistemic logics, In, A.P. Rocha, L. Steels and J. van den Herik, eds, Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2 (ICAART 2021), Scitepress, pp. 851-858, 2021. (PDF)

  2019

 S. Ghosh: Single-peakedness of preferences via deliberation: A formal study, In T. Yamada, ed, Proceedings of the International Workshop on Philosophy and Logic of Social Reality (SOCREAL 2019), pp. 66-71, 2019. (PDF)

 S. Ghosh, R. Verbrugge, H de Weerd and A. Heifetz: Cross-cultural differences in playing centipede-like games with surprising opponents, In C. Freksa, A. Goel and C. Seifert, eds, Proceedings of the 41st Annual Conference of the Cognitive Science Society (CogSci 2019), 1829 - 1835, 2019. (PDF)

 S. Ghosh: Strategizing: A meeting of methods, In B. Kim et al., eds, Proceedings of the 14th and 15th Asian Logic Conferences, pp. 80-107, 2019. (PDF)

  2018

 J. Top, R. Verbrugge and S. Ghosh: An automated method for building cognitive models for turn-based games from a strategy logic, Games, 9(3), 44, 2018. (PDF)

 S. Ghosh and A. Padmanabha: Revisiting games in dynamic-epistemic logic, In, P. Batigalli, G. Bonanno, and W. van der Hoek, eds, Proceedings of the 13th Conference on Logic and The Foundations of Games and Decision Theory (LOFT 2018), 2018. (PDF)

 J. Top, R. Verbrugge and S. Ghosh: Automatically translating logical strategy formulas into cognitive models, In J. Houpt, I Juvina, and C. Myers, eds, Proceedings of the 16th International Conference on Cognitive Modelling (ICCM 2018), 2018. (PDF)

 S. Ghosh and R. Verbrugge: Studying strategies and types of players: Experiments, logics and cognitive models, Synthese, 195, pp. 4265 - 4307, 2018. (PDF)

  2017

 S. Ghosh, A. Heifetz, R. Verbrugge and H. de Weerd: What drives people's choices in turn-taking games, if not game-theoretic rationality?, In J. Lang, ed, Proceedings of the 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), EPTCS, 2017. (PDF)

 S. Ghosh, N. Konar and R. Ramanujam: Strategy Composition in Dynamic Games with Simultaneous Moves, In, J. van den Herik, A.P. Rocha, and J. Filipe, eds, Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2 (ICAART 2017), Scitepress, pp. 624-631, 2017. (PDF)

 S. Ghosh and K. Sano: Valuing Others' Opinions: Preference, Belief and Reliability Dynamics, In, J. van den Herik, A.P. Rocha, and J. Filipe, eds, Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2 (ICAART 2017), Scitepress, pp. 615-623, 2017. (PDF)

 S. Ghosh and R. Ramanujam, eds, Proceedings of the Ninth Workshop on Methods for Modalities, M4M-9, EPTCS 243, 2017.

 S. Ghosh and S. Prasad, eds, Logic and Its Applications, 7th Indian Conference, ICLA 2017, Proceedings, LNCS 10119, Springer, 2017.

  2015

 J. van Benthem, S. Ghosh and R. Verbrugge, eds, Models of Strategic Reasoning: Logics, Games and Communities, FoLLI-LNAI State-of-the-Art Survey, LNCS 8972, Springer, Heidelberg, 2015.

 S. Ghosh, T. Halder, K. Sharma and R. Verbrugge: Human strategic reasoning in dynamic games: Experiments, logics, cognitive models, In W. van der Hoek et al, eds, Proceedings of the 5th International Conference on Logic, Rationality and Interaction (LORI 2015), 116 - 128, 2015. (PDF)

 S. Ghosh and F. Velázquez-Quesada: A note on reliability-based preference dynamics, In W. van der Hoek et al, eds, Proceedings of the 5th International Conference on Logic, Rationality and Interaction (LORI 2015), 129 - 141, 2015. (PDF)

 T. Halder, K. Sharma, S. Ghosh and R. Verbrugge: How do adults reason about their opponent? Typologies of players in a turn-taking game, In D. Noelle et al, eds, Proceedings of the 37th Annual Conference of the Cognitive Science Society (CogSci 2015), 854 - 859, 2015. (PDF)

 S. Ghosh, A. Heifetz and R. Verbrugge: Do players reason by forward induction in dynamic perfect information games?, In R. Ramanujam, ed, Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2015), EPTCS 215, 159 - 175, 2016. (PDF)

 S. Ghosh and F. Velázquez-Quesada: Agreeing to agree: Reaching Unanimity via Preference Dynamics Based on Reliable Agents, In R. Bordini et al, eds, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), 1491 - 1499, 2015. (PDF)

 S. Ghosh and J. Szymanik, eds, The Facts Matter. Essays on Logic and Cognition in Honour Of Rineke Verbrugge, College Publications, 2015.

  2014

 S. Ghosh, T.H. Kyaw and R. Verbrugge: Conditional Preference Networks support multi-issue negotiations with mediator, Transactions on Computational Collective Intelligence XVII, LNCS 8790: 171 - 195, 2014. (PDF)

 S. Ghosh, B. Meijering and R. Verbrugge: Strategic Reasoning: Building Cognitive Models from Logical Formulas, Journal of Logic, Language and Information, 23(1): 1 - 29, 2014. (PDF)

 H. van Ditmarsch, S. Ghosh, R. Verbrugge and Y. Wang: Hidden Protocols: Modifying our expectations in an evolving world, Artificial Intelligence, 208: 18 - 40, 2014. (PDF)

  2013

 S. Ghosh and D. de Jongh: Comparing strengths of beliefs explicitly, Logic Journal of the IGPL, 21(3): 488 - 514, 2013. (PDF)

 N. Bulling, S. Ghosh and R. Verbrugge: Reaching your goals without spilling the beans: Boolean secrecy game. In G. Boella et al, eds, Principles and Practice of Multi-Agent Systems - 16th International Conference, PRIMA 2013 Proceedings, Dunedin, LNCS 8291, Springer, pp. 37 - 53, 2013. (Best Paper Award). (PDF)

 T.H. Kyaw, S. Ghosh and R. Verbrugge: Multi-Player Multi-Issue Negotiation with Mediator Using CP-Nets. In J. Filipe and A. Fred, eds, Proceedings of the 5th International Conference on Agents and Artificial Intelligence, ICAART 2013, Barcelona, SciTePress, pp. 99 - 108, 2013. (PDF)

  2012

 S. Ghosh and R. Ramanujam: Strategies in Games: A Logic-Automata Study. In N. Bezanishvili and V. Goranko, eds, Lectures on Logic and Computation - ESSLLI 2010, ESSLLI 2011, Selected Lecture Notes, LNCS 7388, Springer, pp. 110 - 159, 2012. (PDF)

 S. Ghosh, T.H. Kyaw and R. Verbrugge: Decision Support for Extensive Form Negotiation Games. In L. Chen et al, eds, Foundations of Intelligent Systems - 20th International Symposium, ISMIS 2012 Proceedings, Macau, LNCS 7661, Springer, pp. 105 - 114, 2012. (PDF)

  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, pp. 77 - 96, 2011. (PDF)

 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, pp. 388 - 389, 2011. (PDF)

 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, Vol. 751, Groningen, pp. 79 - 92, 2011. (PDF)

 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, Groningen, ACM Digital Library, pp. 65 - 74, 2011. (PDF)

 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. (PDF)

 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, Delhi, LNAI 6521, Springer, pp. 90 - 104, 2011. (PDF)

  2010

 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. (PDF)

 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, Vol. 627, Lyon, pp. 15 - 34 (Workshop 4:LRBA), 2010. (PDF)

 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, Lisbon, LNAI 6245, Springer, pp. 153 - 170, 2010. (PDF)

  2009

 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, Vol. 494, Torino, 2009. (PDF)

 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. (PDF)

 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, pp. 37 - 42, 2009. (PDF)

 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, pp. 124 - 138, 2009. (PDF)

  2008

 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. (PDF)

 S. Raha, A.Hossain and S. Ghosh: Similarity based approximate reasoning: fuzzy control, Journal of Applied Logic, 6(1): 47 - 71, 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, pp. 74 - 81, 2008. (PDF)

 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.

  2007

 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, pp. 243 - 258, 2007. (PDF)

 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, pp. 401 - 414, 2007. (PDF)

  2005

 S. Ghosh: Nonmonotonic reasoning and Belief revision - two aspects of common sense reasoning : A logic-algebraic study, PhD Thesis, University of Calcutta, 2005.

  2004

 S. Ghosh and M.K. Chakraborty: Nonmonotonic Proof Systems: Algebraic foundations, Fundamenta Informaticae, 59(1): 39 - 65, 2004.