( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Programming Logic for Part of the Agent Language 3APL.

, , , и . FAABS, том 1871 из Lecture Notes in Computer Science, стр. 78-89. Springer, (2000)

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.

Elmer der Hoek

Matthias Hoek

Peter Hoek

Heinz Hoek

Thomas Hoek

 

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

Model checking cooperation, knowledge, and time--a case study, и . Research in Economics, 57 (3): 235--265 (сентября 2003)Qualitative Modalities.. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 4 (1): 45-60 (1996)Arbitrary arrow update logic., , , и . Artif. Intell., (2017)Recovery of (Non)Monotonic Theories., и . Artif. Intell., 106 (1): 139-159 (1998)Updating Nonmonotonic Databases., и . ISTCS, стр. 147-153. IEEE Computer Society, (1996)The undecidability of arbitrary arrow update logic., , и . Theor. Comput. Sci., (2017)Revising and Updating Using a Back-Up Semantics., и . JELIA, том 1126 из Lecture Notes in Computer Science, стр. 388-403. Springer, (1996)Towards a Logic of Rational Agency., и . Logic Journal of the IGPL, 11 (2): 135-159 (2003)Reasoning about coalitional games., , и . Artif. Intell., 173 (1): 45-79 (2009)Tractable multiagent planning for epistemic goals., и . AAMAS, стр. 1167-1174. ACM, (2002)