( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reasoning About Agents That May Know Other Agents' Strategies.

, , , , , и . IJCAI, стр. 1787-1793. ijcai.org, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Bastien Maubert

Bastien Pietropaoli

Bastien Clausse

Bastien Confais

Bastien Poggi

 

Другие публикации лиц с тем же именем

Concurrent Games in Dynamic Epistemic Logic., , , и . IJCAI, стр. 1877-1883. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..The Complexity of Model Checking Knowledge and Time., , и . IJCAI, стр. 1595-1601. ijcai.org, (2019)Formal Verification of Bayesian Mechanisms., , , и . AAAI, стр. 11621-11629. AAAI Press, (2023)Alternating Tree Automata with Qualitative Semantics., , , , , , , , , и . ACM Trans. Comput. Log., 22 (1): 7:1-7:24 (2021)Strategic Reasoning in Automated Mechanism Design., , , и . KR, стр. 487-496. (2021)Nondeterministic Strategies and their Refinement in Strategy Logic., , и . KR, стр. 294-303. (2020)The Expressive Power of Epistemic $μ$-Calculus., , и . CoRR, (2014)Public and Private Affairs in Strategic Reasoning., , , , и . KR, (2022)Automated Synthesis of Mechanisms., , , и . IJCAI, стр. 426-432. ijcai.org, (2022)Reasoning about Changes of Observational Power in Logics of Knowledge and Time., , , и . AAMAS, стр. 971-979. International Foundation for Autonomous Agents and Multiagent Systems, (2019)