Sujata Ghosh

57 papers A* 3A 1B 8C 2Misc 1Journal 24Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
A modal approach towards substitutions.
Ann. Pure Appl. Log.
Yaxin Tu, Sujata Ghosh, Fenrong Liu, Dazhu Li
2025 J jnl
A modal approach towards substitutions.
CoRR
Yaxin Tu, Sujata Ghosh, Fenrong Liu, Dazhu Li
2025 B conf
Are Large Random Graphs Always Safe to Hide?
TARK
Sourav Chakraborty, Sujata Ghosh, Smiha Samanta
2025 A* conf
Reasoning About Knowledge on Regular Expressions Is 2EXPTIME-Complete.
KR
Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
2025 J jnl
Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete.
CoRR
Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
2025 J jnl
Reasoning under uncertainty in the game of Cops and Robbers.
CoRR
Dazhu Li, Sujata Ghosh, Fenrong Liu
2025 J jnl
Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives.
CoRR
Aheli Poddar, Saptarshi Sahoo, Sujata Ghosh
2025 J jnl
Understanding responses of people with ASD in diverse reasoning tasks: A formal study.
Cogn. Process.
Torben Braüner, Aishwarya Ghosh, Sujata Ghosh
2024 J jnl
Bisimulation in model-changing modal logics: An algorithmic study.
J. Log. Comput.
Sujata Ghosh, Shreyas Gupta, Lei Li
2024 — conf
SiGe and CMOS Technologies for Wireless PA Applications.
BCICTS
Randy Wolf, Vibhor Jain, Sameer Jain, Shafi Syed, Chi Zhang, Abdellatif Bellaouar, Arul Balasubramaniyan, Sujata Ghosh, Rebouh Benelbar, Liyou Lu
2023 J jnl
A Simple Logic of the Hide and Seek Game.
Stud Logica
Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu
2023 A* conf
On Simple Expectations and Observations of Intelligent Agents: A Complexity Study.
KR
Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
2023 J jnl
On simple expectations and observations of intelligent agents: A complexity study.
CoRR
Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
2023 J jnl
Preface.
J. Log. Lang. Inf.
Sujata Ghosh, R. Ramanujam
2022 A* conf
On Verifying Expectations and Observations of Intelligent Agents.
IJCAI
Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
2022 J jnl
On verifying expectations and observations of intelligent agents.
CoRR
Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
2022 J jnl
Rely more or less, for better or for worse: Intertwining reliability and preferences.
J. Log. Comput.
Sujata Ghosh, Katsuhiko Sano
2021 — ed.
Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings
LORI
Sujata Ghosh, Thomas Icard
2021 J jnl
On link deletion and point deletion in games on graphs.
CoRR
Sujata Ghosh, Shreyas Gupta, Lei Li
2021 C conf
On the Subtle Nature of a Simple Logic of the Hide and Seek Game.
WoLLIC
Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu
2021 — conf
Receiving Messages in Their Correct Order: Analyzing Broadcast Protocols in Dynamic Epistemic Logics.
ICAART (2)
Spandan Das, Sujata Ghosh
2020 B conf
Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study.
SEFM
Torben Braüner, Aishwarya Ghosh, Sujata Ghosh
2019 B conf
Cross-cultural differences in playing centipede-like games with surprising opponents.
CogSci
Sujata Ghosh, Rineke Verbrugge, Harmen de Weerd, Aviad Heifetz
2019 J jnl
Hybrid Analog/Digital Continuous Class B/J Mode for Broadband Doherty Power Amplifiers.
IEEE Access
Sujata Ghosh, Karun Rawat
2018 J jnl
An Automated Method for Building Cognitive Models for Turn-Based Games from a Strategy Logic.
Games
Jakob Dirk Top, Rineke Verbrugge, Sujata Ghosh
2018 J jnl
Studying strategies and types of players: experiments, logics and cognitive models.
Synth.
Sujata Ghosh, Rineke Verbrugge
2017 — ed.
Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
ICLA
Sujata Ghosh, Sanjiva Prasad
2017 — ed.
Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017.
M4M@ICLA
Sujata Ghosh, R. Ramanujam
2017 — conf
Strategy Composition in Dynamic Games with Simultaneous Moves.
ICAART (2)
Sujata Ghosh, Neethi Konar, R. Ramanujam
2017 — conf
Valuing Others' Opinions: Preference, Belief and Reliability Dynamics.
ICAART (2)
Sujata Ghosh, Katsuhiko Sano
2017 B conf
What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality?
TARK
Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge, Harmen de Weerd
2015 — conf
A Note on Reliability-Based Preference Dynamics.
LORI
Sujata Ghosh, Fernando R. Velázquez-Quesada
2015 A conf
Agreeing to Agree: Reaching Unanimity via Preference Dynamics Based on Reliable Agents.
AAMAS
Sujata Ghosh, Fernando R. Velázquez-Quesada
2015 B conf
Do players reason by forward induction in dynamic perfect information games?
TARK
Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge
2015 B conf
How do adults reason about their opponent? Typologies of players in a turn-taking game.
CogSci
Tamoghna Halder, Khyati Sharma, Sujata Ghosh, Rineke Verbrugge
2015 — conf
Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models.
LORI
Sujata Ghosh, Tamoghna Halder, Khyati Sharma, Rineke Verbrugge
2015 — book
Models of Strategic Reasoning - Logics, Games, and Communities
Models of Strategic Reasoning
Johan van Benthem, Sujata Ghosh, Rineke Verbrugge
2014 J jnl
Conditional Preference Networks Support Multi-issue Negotiations with Mediator.
Trans. Comput. Collect. Intell.
Sujata Ghosh, Thiri Haymar Kyaw, Rineke Verbrugge
2014 J jnl
Hidden protocols: Modifying our expectations in an evolving world.
Artif. Intell.
Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang
2014 J jnl
Strategic Reasoning: Building Cognitive Models from Logical Formulas.
J. Log. Lang. Inf.
Sujata Ghosh, Ben Meijering, Rineke Verbrugge
2013 J jnl
Comparing strengths of beliefs explicitly.
Log. J. IGPL
Sujata Ghosh, Dick de Jongh
2013 — conf
Multi-player Multi-issue Negotiation with Mediator using CP-nets.
ICAART (1)
Thiri Haymar Kyaw, Sujata Ghosh, Rineke Verbrugge
2013 B conf
Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games.
PRIMA
Nils Bulling, Sujata Ghosh, Rineke Verbrugge
2012 C conf
Decision Support for Extensive Form Negotiation Games.
ISMIS
Sujata Ghosh, Thiri Haymar Kyaw, Rineke Verbrugge
2011 — conf
A Qualitative Approach to Uncertainty.
ICLA
Sujata Ghosh, Fernando R. Velázquez-Quesada
2011 B conf
Hidden protocols.
TARK
Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang
2011 — conf
Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract).
LORI
Sujata Ghosh, Sumit Sourabh, Rineke Verbrugge
2011 — conf
Strategies in Games: A Logic-Automata Study.
ESSLLI
Sujata Ghosh, Ramaswamy Ramanujam
2010 — conf
Logic Meets Cognition: Empirical Reasoning in Games.
MALLOW
Sujata Ghosh, Ben Meijering, Rineke Verbrugge
2010 J jnl
Logic and social interaction: introduction.
Synth.
Sujata Ghosh, Ramaswamy Ramanujam
2010 — conf
Playing Extensive Form Games in Parallel.
CLIMA
Sujata Ghosh, Ramaswamy Ramanujam, Sunil Easaw Simon
2009 — conf
Comparing Strengths of Beliefs Explicitly.
MALLOW
Dick de Jongh, Sujata Ghosh
2008 J jnl
Modelling simultaneous games in dynamic logic.
Synth.
Johan van Benthem, Sujata Ghosh, Fenrong Liu
2008 J jnl
Similarity based approximate reasoning: fuzzy control.
J. Appl. Log.
Swapan Raha, Abul Hossain, Sujata Ghosh
2007 Misc conf
Belief Flow in Assertion Networks.
ICCS
Sujata Ghosh, Benedikt Löwe, Erik Scorelle
2007 — conf
Expressing Belief Flow in Assertion Networks.
TbiLLC
Sujata Ghosh, Fernando R. Velázquez-Quesada
2004 J jnl
Nonmonotonic Proof Systems: Algebraic Foundations.
Fundam. Informaticae
Sujata Ghosh, Mihir K. Chakraborty