Picture for Thomas Feller

Thomas Feller

Decidability of Querying First-Order Theories via Countermodels of Finite Width

Add code
Apr 13, 2023
Viaarxiv icon

Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying

Add code
Sep 06, 2022
Figure 1 for Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying
Viaarxiv icon