2025
Q. Chen, D. Li, Y. Tu, S. Ghosh and F. Liu: A modal for the
hide and seek game. In J. van Benthem and F. Liu, eds., Graph Games
and Logic Design: Recent Developments and Future Directions,
Springer, accepted, 2024.
D. Li, S. Ghosh and F. Liu: Knowing is winning: An epistemic approach
to the hide and seek game. In J. van Benthem and F. Liu, eds.,
Graph Games and Logic Design: Recent Developments and Future
Directions, Springer, accepted, 2024.
A. Banerjee, S. Banerjee and S. Ghosh: Model-checking in
hide and seek games with imperfect information. In J. van
Benthem and F. Liu, eds., Graph Games and Logic Design:
Recent Developments and Future Directions, Springer, accepted, 2024.
Y. Tu, S. Ghosh, F. Liu and D. Li: Modelling strategies in
hide and seek game: A substitution approach. In J. van Benthem and
F. Liu, eds., Graph Games and Logic Design: Recent Developments
and Future Directions, Springer, accepted, 2024.
S. Ghosh, S. Gupta and L. Li: On bisimulation in modal logics
for games on graphs: An algorithmic study. In J. van Benthem
and F. Liu, eds., Graph Games and Logic Design: Recent Developments
and Future Directions, Springer, accepted, 2024.
2024
T. Braüner, A. Ghosh and S. Ghosh: Understanding responses of people with
ASD in diverse reasoning tasks: A formal study. Cognitive Processing, 2024
(https://doi.org/10.1007/s10339-024-01233-w). (PDF)
S. Ghosh, S. Gupta and L. Li: Bisimulation in model-changing
modal logics: An algorithmic study, Journal of Logic and
Computation, Volume 34, Issue 2, pp. 399-427, 2024.
(PDF)
2023
D. Li, S. Ghosh and F. Liu: Action-information interplay in the cops and robber game,
In M. Klonowski and M. Oleksowicz, eds, Trends in Logic: XXIII, BLESS, 70 years of Studia Logica,
pp. 63-65, 2023.
(PDF)
L. Li, S. Ghosh, F. Liu and R. Ramanujam: A modal logic for
reasoning in distributed games, In, G. Perelli and J.A. Pérez, eds,
3rd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2023), 2023.
(PDF)
S. Chakraborty, A. Ghosh, S. Ghosh and F. Schwarzentruber: On Simple Expectations
and Observations of Intelligent Agents: A Complexity Study, In, P. Marquis et al., eds,
Proceedings of
the 20th International Conference on Principles of Knowledge Representation and
Reasoning (KR 2023), pp. 136-145, 2023.
(PDF)
T. Icard, S. Ghosh and W. Wang, guest eds,
Synthese,
Topical Collection (LORI VIII), 2023.
D. Li, S. Ghosh, F. Liu and Y. Tu: A simple
logic of the hide and seek game, Studia Logica, Volume 111, pp. 821-853, 2023.
(PDF)
S. Ghosh and R. Ramanujam, guest eds,
Journal of
Logic, Language and Information (JoLLI), Volume 32, Issue 1, 2023.
2022
S. Chakraborty, A. Ghosh, S. Ghosh and F. Schwarzentruber: On verifying
expectations and observations of intelligent agents, In, L. de Raedt, ed, Proceedings of
the 31st International joint conference on Artificial Intelligence (IJCAI 2022), pp. 2568-2574, 2022.
(PDF)
S. Ghosh and K. Sano: Rely more or less, for better or for worse:
Intertwining reliability and preferences, Journal of Logic and
Computation, Volume 32, Issue 3, pp. 518-553, 2022.
(PDF)
2021
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), pp. 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.
|
