( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Specification of Beliefs in Multi-Agent Systems.

, , , , и . ATAL, том 1193 из Lecture Notes in Computer Science, стр. 117-130. Springer, (1996)

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.

Massimo Viola

Massimo Tallarida

Massimo Malagó

Massimo Moser

Massimo Busin

 

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

Contextual reasoning distilled., , и . J. Exp. Theor. Artif. Intell., 12 (3): 279-305 (2000)Formal specification of beliefs in multi-agent systems., , , и . Int. J. Intell. Syst., 14 (10): 1021-1040 (1999)The dimensions of context dependence, , и . Perspectives on Context, CSLI Publications, (2008)The eureka tool for software model checking., , , , и . ASE, стр. 541-542. ACM, (2007)Analysis of Timed Recursive State Machines., , и . TIME, стр. 61-68. IEEE Computer Society, (2010)Formalizing Belief Reports - The Approach and a Case Study., , и . AIMSA, том 1480 из Lecture Notes in Computer Science, стр. 62-75. Springer, (1998)Formal Specification of Beliefs in Multi-Agent Systems., , , , и . ATAL, том 1193 из Lecture Notes in Computer Science, стр. 117-130. Springer, (1996)Reasoning About Substructures and Games., , и . ACM Trans. Comput. Log., 16 (3): 25:1-25:51 (2015)Improving Priority Promotion for Parity Games., , и . Haifa Verification Conference, том 10028 из Lecture Notes in Computer Science, стр. 117-133. (2016)Abstraction Refinement of Linear Programs with Arrays., , и . TACAS, том 4424 из Lecture Notes in Computer Science, стр. 373-388. Springer, (2007)