6 citations · 13 across the 6 of their papers we have counts for
4 papers · 1 filter
On simple expectations and observations of intelligent agents: A complexity study
Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh +1
Public observation logic (POL) reasons about agent expectations and agent observations in various real world situations. The expectations of agents take shape based on certain prot…
On verifying expectations and observations of intelligent agents
Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh +1
Public observation logic (POL) is a variant of dynamic epistemic logic to reason about agent expectations and agent observations. Agents have certain expectations, regarding the si…
On link deletion and point deletion in games on graphs
Sujata Ghosh, Shreyas Gupta, Lei Li
We discuss link and point deletion operators on graph games and provide a comparative logic-algorithmic study of the same. In particular, we focus on a popular notion of invariance…
Proceedings of the Ninth Workshop on Methods for Modalities
Sujata Ghosh, R. Ramanujam
Methods for Modalities is a series aimed at bringing together researchers interested in developing proof methods, verification methods, algorithms and tools based on modal logic. H…