( 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.

Fausto Orestano

Fausto Carrasco

Fausto Orestano

Fausto Orestano

Fausto Guzzetti

 

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

Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code., и . IJCAI, стр. 111-117. Morgan Kaufmann, (1991)Formal Specification of Beliefs in Multi-Agent Systems., , , , и . ATAL, том 1193 из Lecture Notes in Computer Science, стр. 117-130. Springer, (1996)Specification and Integration of Theorem Provers and Computer Algebra Systems., , , и . AISC, том 1476 из Lecture Notes in Computer Science, стр. 94-106. Springer, (1998)Events as media and knowlege aggregators.. EIMM@MM, стр. 21-22. ACM, (2010)Mobile social media usage and academic performance., , , , и . CoRR, (2020)Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination., и . CIA, том 2446 из Lecture Notes in Computer Science, стр. 18-35. Springer, (2002)Peer-to-Peer Knowledge Management, , и . Proceedings of I-KNOW 05 Conference, Graz, (2005)Local Models Semantics, or contextual reasoning=locality+compatibility., и . Artif. Intell., 127 (2): 221-259 (2001)Ideal and Real Belief about Belief., и . J. Log. Comput., 11 (1): 157-192 (2001)SAT-Based Decision Procedures for Classical Modal Logics., , и . J. Autom. Reason., 28 (2): 143-171 (2002)