Zobrazeno 1 - 10
of 270
pro vyhledávání: '"Ghosh, Sujata"'
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 protocols about the world around and they remove those possible scenarios
Externí odkaz:
http://arxiv.org/abs/2306.02769
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 situation at hand, that are actuated by the relevant protocols, and they
Externí odkaz:
http://arxiv.org/abs/2205.00784
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 in transition systems, namely, bisimulation, between the respective g
Externí odkaz:
http://arxiv.org/abs/2104.09816
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Microbes and Infection September-October 2023 25(7)
Publikováno v:
EPTCS 251, 2017, pp. 265-284
In an earlier experiment, participants played a perfect information game against a computer, which was programmed to deviate often from its backward induction strategy right at the beginning of the game. Participants knew that in each game, the compu
Externí odkaz:
http://arxiv.org/abs/1707.08749
Autor:
Ghosh, Sujata, Ramanujam, R.
Publikováno v:
EPTCS 243, 2017
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. Here the term "modal logics" is conceived broadly, including descriptio
Externí odkaz:
http://arxiv.org/abs/1703.01736
Autor:
Kumari, Munmun, Singh, Praveen, Singh, Navneet, Bal, Amanjit, Srinivasan, Radhika, Ghosh, Sujata
Publikováno v:
In Journal of Proteomics 30 September 2021 248