research
∙
07/26/2023
On Singleton Self-Loop Removal for Termination of LCTRSs with Bit-Vector Arithmetic
As for term rewrite systems, the dependency pair (DP, for short) framewo...
share
research
∙
01/06/2023
You Truly Understand What I Need: Intellectual and Friendly Dialogue Agents grounding Knowledge and Persona
To build a conversational agent that interacts fluently with humans, pre...
research
∙
02/21/2022
Exploring the Effects of AI-assisted Emotional Support Processes in Online Mental Health Community
Social support in online mental health communities (OMHCs) is an effecti...
research
∙
12/16/2021
Call for Customized Conversation: Customized Conversation Grounding Persona and Knowledge
Humans usually have conversations by making use of prior knowledge about...
research
∙
11/04/2021
Characterizing Human Explanation Strategies to Inform the Design of Explainable AI for Building Damage Assessment
Explainable AI (XAI) is a promising means of supporting human-AI collabo...
research
∙
09/02/2021
