conftrace_

model-theoretic properties

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

existential rule language (1) program expressive power (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