Volume: Vol-4302 Datalog-2.0 2026 | Year: 2026

Paper: « paper11 | paper12

Skolem Forms and Equilibrium Semantics for Existential Datalog Rules

• David Pearce
• Agustín Valverde Ramos

129-139 PDF 10.83095/ceurws_04302_012