conftrace_

program expressive power

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

existential rule language (1) model-theoretic properties (1) tuple-generating dependencies (1) ontology language (1) tuple-generating dependency (1) existential rule (1) automata theory (1) query answering (1)

Papers

Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022