2 papers
cs.AI2022
Changing agents and ascribing beliefs in dynamic epistemic logic
Shikha Singh, Kamal Lodaya, Deepak Khemani
In dynamic epistemic logic (Van Ditmarsch, Van Der Hoek, & Kooi, 2008) it is customary to use an action frame (Baltag & Moss, 2004; Baltag, Moss, & Solecki, 1998) to describe diffe…
cs.MA2020
Subjective Knowledge and Reasoning about Agents in Multi-Agent Systems
Shikha Singh, Deepak Khemani
Though a lot of work in multi-agent systems is focused on reasoning about knowledge and beliefs of artificial agents, an explicit representation and reasoning about the presence/ab…