no code implementations • 21 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.
no code implementations • 6 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
no code implementations • 21 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.