no code implementations • 5 Jun 2023 • Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
Public observation logic (POL) reasons about agent expectations and agent observations in various real world situations.
no code implementations • 2 May 2022 • Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
Public observation logic (POL) is a variant of dynamic epistemic logic to reason about agent expectations and agent observations.