( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
DEL-based epistemic planning: Decidability and complexity.

, , , и . Artif. Intell., (2020)

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.

Julia Boländer

Thomas Thomas

Thomas Harasim

Die Rolle des nucleostemin-Gens in dem Prozess der Ribosomenbiogenese. Uni München, (2009)

Thomas Baron

Untersuchungen an ungeschädigten und durch Pilzbefall geschädigten Nadelholzbauteilen mit ausgewählten Prüfverfahren. TU Dresden, (2009)

Thomas Uhlig

Messung der rektalen Körperinnentemperatur bei Milchkühen zur Detektion von Erkrankungen im Frühpuerperium. Uni Gießen, (2009)
 

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

Completeness and termination for a Seligman-style tableau system., , , и . J. Log. Comput., 27 (1): 81-107 (2017)Learning Actions Models: Qualitative Approach., и . LORI, том 9394 из Lecture Notes in Computer Science, стр. 40-52. Springer, (2015)Hybrid logical analyses of the ambient calculus., и . Inf. Comput., 208 (5): 433-449 (2010)The Curse of Shared Knowledge: Recursive Belief Reasoning in a Coordination Game with Imperfect Information., , и . CoRR, (2020)Preface., и . M4M, том 262 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (2009)Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief., , , и . CoRR, (2015)Learning Action Models: Qualitative Approach., и . CoRR, (2015)Learning to Plan from Raw Data in Grid-based Games., , и . GCAI, том 55 из EPiC Series in Computing, стр. 54-67. EasyChair, (2018)Many-valued hybrid logic., , и . Advances in Modal Logic, стр. 111-132. College Publications, (2008)Synthetic completeness proofs for Seligman-style tableau systems., , , и . Advances in Modal Logic, стр. 302-321. College Publications, (2016)