3 citations · 4 across the 8 of their papers we have counts for
5 papers · 1 filter
What Do You Care About: Inferring Values from Emotions
Jieting Luo, Mehdi Dastani, Thomas Studer +1
Observers can glean information from others' emotional expressions through the act of drawing inferences from another individual's emotional expressions. It is important for social…
Belief Expansion in Subset Models
Eveline Lehmann, Thomas Studer
Subset models provide a new semantics for justifcation logic. The main idea of subset models is that evidence terms are interpreted as sets of possible worlds. A term then justifie…
Semirings of Evidence
Michael Baur, Thomas Studer
In traditional justification logic, evidence terms have the syntactic form of polynomials, but they are not equipped with the corresponding algebraic structure. We present a novel…
Providing personalized Explanations: a Conversational Approach
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 backgr…
The logic of temporal domination
Thomas Studer
In this short note, we are concerned with the fairness condition "A and B hold almost equally often", which is important for specifying and verifying the correctness of non-termina…