( en | de | ru )

 

Disambiguation of "Studer, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Partial Realization in Dynamic Justification Logic.

, , and . WoLLIC, volume 6642 of Lecture Notes in Computer Science, page 35-51. Springer, (2011)

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. You can also use the button next to the name to display some publications already assigned to the person.

Adelheid Studer

Tobias Studer

Bruno Studer

Christoph Studer

R Studer

 

Other publications of authors with the same name

Belief Expansion in Subset Models., and . CoRR, (2023)Probabilistic justification logic., , and . J. Log. Comput., 30 (1): 257-280 (2020)A Semantics for lambda: a Calculus with Overloading and Late-binding.. J. Log. Comput., 11 (4): 527-544 (2001)Probabilistic ABox Reasoning: Preliminary Results., and . Description Logics, volume 147 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)What Do You Care About: Inferring Values from Emotions., , , and . AAMAS, page 2289-2291. ACM, (2023)Privacy Preserving Modules for Ontologies.. Ershov Memorial Conference, volume 5947 of Lecture Notes in Computer Science, page 380-387. Springer, (2009)Relationale Datenbanken - Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL. Springer-Verlag, Berlin Heidelberg New York, (2019)Improving Semantic Query Answering., and . DEXA, volume 4653 of Lecture Notes in Computer Science, page 671-679. Springer, (2007)Conditional Obligations in Justification Logic., , and . WoLLIC, volume 13923 of Lecture Notes in Computer Science, page 178-193. Springer, (2023)Logic and Applications - LAP Meeting., , , and . Logic, Language, and Security, volume 12300 of Lecture Notes in Computer Science, page 98-100. Springer, (2020)