activity
20242026
most citedOn the Structure of Game Provenance and its Applications

2 citations · 2 across the 7 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 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…