27 citations · 27 across the 8 of their papers we have counts for
Showing cs.LOShow all
2 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.LO2023
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…