27 citations · 30 across the 10 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.LO2026
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…
cs.DB2026
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…
cs.MA2026
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…