2026
Will My Favorite Chases Terminate If Evaluating Conjunctive Queries Does? One Does Not Simply Decide This
IJCAI 2026
Existential rules are a prominent formalism to enrich a database with knowledge from the domain of interest, but make even basic reasoning tasks on the resulting knowledge base undecidable. To circumvent this, several classes of rules offering various useful properties have been identified. One such