Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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