3 papers
cs.AI2025
AF-XRAY: Visual Explanation and Resolution of Ambiguity in Legal Argumentation Frameworks
Yilin Xia, Heng Zheng, Shawn Bowers +1
Argumentation frameworks (AFs) provide formal approaches for legal reasoning, but identifying sources of ambiguity and explaining argument acceptance remains challenging for non-ex…
cs.AI2025
Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
Bertram Ludäscher, Yilin Xia, Shawn Bowers
The rule , evaluated under the well-founded semantics (WFS), yields a unique 3-valued (skepti…
cs.DB2025
Logica-TGD: Transforming Graph Databases Logically
Evgeny Skvortsov, Yilin Xia, Bertram Ludäscher +1
Graph transformations are a powerful computational model for manipulating complex networks, but handling temporal aspects and scalability remain significant challenges. We present…