27 citations · 30 across the 10 of their papers we have counts for
11 papers
Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica
Evgeny Skvortsov, Yilin Xia, Ojaswa Garg +2
Logica is an open-source logic programming language that compiles to SQL and runs on DuckDB, SQLite, PostgreSQL, and BigQuery. Unlike classic Datalog, it freely combines recursion…
Cost-Aware Optimization for Agentic Query Execution
Lunyiu Nie, Yilin Xia, Yiren Liu +2
Classical query optimization searches over algebraically equivalent plans that differ only in cost. This assumption breaks once LLM-backed operators enter the picture: their placem…
Logical Robots: Declarative Multi-Agent Programming in Logica
Evgeny Skvortsov, Yilin Xia, Ojaswa Garg +2
We present Logical Robots, an interactive multi-agent simulation platform where autonomous robot behavior is specified declaratively in the logic programming language Logica. Robot…
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…
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…
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…
On the Structure of Game Provenance and its Applications
Shawn Bowers, Yilin Xia, Bertram Ludäscher
Provenance in databases has been thoroughly studied for positive and for recursive queries, then for first-order (FO) queries, i.e., having negation but no recursion. Query evaluat…
Reconciling Conflicting Data Curation Actions: Transparency Through Argumentation
Yilin Xia, Shawn Bowers, Lan Li +1
We propose a new approach for modeling and reconciling conflicting data cleaning actions. Such conflicts arise naturally in collaborative data curation settings where multiple expe…
Designing Born-Accessible Courses in Data Science and Visualization: Challenges and Opportunities of a Remote Curriculum Taught by Blind Instructors to Blind Students
JooYoung Seo, Sile O'Modhrain, Yilin Xia +3
While recent years have seen a growing interest in accessible visualization tools and techniques for blind people, little attention is paid to the learning opportunities and teachi…
MAIDR: Making Statistical Visualizations Accessible with Multimodal Data Representation
JooYoung Seo, Yilin Xia, Bongshin Lee +2
This paper investigates new data exploration experiences that enable blind users to interact with statistical data visualizationsbar plots, heat maps, box plots, and scatter plo…
Games and Argumentation: Time for a Family Reunion!
Bertram Ludäscher, Yilin Xia
The rule "defeated(X) attacks(Y,X), defeated(Y)" states that an argument is defeated if it is attacked by an argument that is not defeated. The rule "win(X) $\l…