1 citations · 1 across the 3 of their papers we have counts for
4 papers
Law And Order: Tax Law Autoformalization
Sophia Simeng Han, Yoshiki Takashima, Anjiang Wei +2
Legal systems are increasingly implemented through software, yet scalable methods for translating legal texts into accurate symbolic representations remain underdeveloped. We study…
A Community-driven vision for a new Knowledge Resource for AI
Vinay K Chaudhri, Chaitan Baru, Brandon Bennett +29
The long-standing goal of creating a comprehensive, multi-purpose knowledge resource, reminiscent of the 1984 Cyc project, still persists in AI. Despite the success of knowledge re…
Equivalence of SQL Queries in Presence of Embedded Dependencies
Rada Chirkova, Michael Genesereth
We consider the problem of finding equivalent minimal-size reformulations of SQL queries in presence of embedded dependencies [1]. Our focus is on select-project-join (SPJ) queries…
Database Reformulation with Integrity Constraints (extended abstract)
Rada Chirkova, Michael R. Genesereth
In this paper we study the problem of reducing the evaluation costs of queries on finite databases in presence of integrity constraints, by designing and materializing views. Given…