Search Results for author: Thomas Studer

Found 3 papers, 0 papers with code

Providing personalized Explanations: a Conversational Approach

no code implementations21 Jul 2023 Jieting Luo, Thomas Studer, Mehdi Dastani

The increasing applications of AI systems require personalized explanations for their behaviors to various stakeholders since the stakeholders may have various knowledge and backgrounds.

A Logic of Blockchain Updates

no code implementations6 Jul 2017 Kai Brünnler, Dandolo Flumini, Thomas Studer

Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum).

Logic in Computer Science

A Logic of Knowing Why

no code implementations21 Sep 2016 Chao Xu, Yanjing Wang, Thomas Studer

When we say "I know why he was late", we know not only the fact that he was late, but also an explanation of this fact.

Cannot find the paper you are looking for? You can Submit a new open access paper.