Volume: Vol-4071 NMR 2025 | Year: 2025

Paper: « paper13 | paper14 | paper15 »

Using AFT to Characterize Shen and Eiter's Disjunctive Logic Program Semantics

• Spencer Killen
• Jia-Huai You

183-195 PDF