17 citations · 48 across the 19 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023★ 1 cited
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…
cs.LO2022★ 1 cited
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…