Thomas Studer
Universität Bern
H-index: 24
Europe-Switzerland
Top articles of Thomas Studer
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
The Sheraton Times Square, New York, NY Eastern APA Meeting January 15–18, 2024 | The Bulletin of Symbolic Logic | Corine Besson Anandi Hattiangadi Melvin Fitting Joel David Hamkins Barbara Partee | 2024/3 |
Getting Emotional from Emotions: Modeling Affective Reaction in Multi-agent Systems | Journal of logic and computation | Jieting Luo Mehdi Dastani Thomas Studer | 2023 |
Synergistic Knowledge | Christian Cachin David Lehnherr Thomas Studer | 2023/9/30 | |
What do you care about: inferring values from emotions | arXiv preprint arXiv:2311.06250 | Jieting Luo Mehdi Dastani Thomas Studer Beishui Liao | 2023/8/23 |
Modal and Justification Logics for Multi-agent Systems (Invited Talk) | Christian Cachin David Lehnherr Thomas Studer | 2023/8/2 | |
Providing Personalized Explanations: A Conversational Approach | Jieting Luo Thomas Studer Mehdi Dastani | 2023/8/2 | |
Conditional Obligations in Justification Logic | Federico LG Faroldi Atefeh Rohani Thomas Studer | 2023/7/11 | |
Consistency and permission in deontic justification logic | Journal of Logic and Computation | Federico LG Faroldi Meghdad Ghari Eveline Lehmann Thomas Studer | 2022/7/11 |
Development of an AI-based bioacoustic wolf monitoring system | The International FLAIRS Conference Proceedings | Olivier Stähli Thomas Ost Thomas Studer | 2022/5/4 |
Proof Theory for Intuitionistic Temporal Logic over Topological Dynamics | Logic and Applications LAP 2022 | Thomas Studer Lukas Zenger | 2021/9/26 |
A logic of knowing why | Synthese | Chao Xu Yanjing Wang Thomas Studer | 2021 |
Explicit non-normal modal logic | Atefeh Rohani Thomas Studer | 2021 | |
A Conflict Tolerant Logic of Explicit Evidence | Логические исследования | Studer Thomas | 2021 |
The Impossibility of Keeping Secrets | Malaysian Journal of Mathematical Sciences | Thomas Studer | 2021/12/2 |
Impossible and Conflicting Obligations in Justification Logic. | Federico LG Faroldi Meghdad Ghari Eveline Lehmann Thomas Studer | 2021 | |
Emotion-based Norm Identification | Logic and Applications LAP 2022 | Jieting Luo Mehdi Dastani Thomas Studer | 2021/9/26 |
Exploring subset models for justification logic | Selected Topics From Contemporary Logics | Eveline Lehmann Thomas Studer M Fitting | 2021 |
Logic and Applications-LAP Meeting | Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday | Zvonimir Šikić Silvia Ghilezan Zoran Ognjanović Thomas Studer | 2020 |
A logic of blockchain updates | Journal of Logic and Computation | Kai Brünnler Dandolo Flumini Thomas Studer | 2020/12 |
Semirings of evidence | Michael Baur Thomas Studer | 2020 |