Modeling, replicating, and predicting human behavior: a survey
Given the popular presupposition of human reasoning as the standard for learning and
decision making, there have been significant efforts and a growing trend in research to …
decision making, there have been significant efforts and a growing trend in research to …
Towards modelling and verification of social explainable AI
Social Explainable AI (SAI) is a new direction in artificial intelligence that emphasises
decentralisation, transparency, social context, and focus on the human users. SAI research …
decentralisation, transparency, social context, and focus on the human users. SAI research …
[PDF][PDF] Scalable Verification of Social Explainable AI by Variable Abstraction.
W Jamroga, Y Kim, D Kurpiewski - ICAART (1), 2024 - scitepress.org
Social Explainable AI (SAI) is a new direction in artificial intelligence that emphasises
decentralisation, transparency, social context, and focus on the human users. SAI research …
decentralisation, transparency, social context, and focus on the human users. SAI research …
[PDF][PDF] Formal Methods For Analysis Of Secure, Reliable, And Verifiable Voting Schemes
Y KIM - 2024 - orbilu.uni.lu
Voting procedures are of utmost importance for society and are widely believed to be the
foundation of democracy. They appear in different forms, in various scenarios, and often …
foundation of democracy. They appear in different forms, in various scenarios, and often …
[PDF][PDF] Trust topologies in verification of social explainable AI
In the era of pervasive artificial intelligence, elements of AI are deeply entrenched in facets
of our daily lives, ranging from social media interactions to car navigation, and even in …
of our daily lives, ranging from social media interactions to car navigation, and even in …