Volume: Vol-4239 NMR 2026 | Year: 2026

Paper: « paper-Rocha-11 | paper-Simkus-5 | paper-Skiba-15 »

A Definitional Fragment of Temporal Equilibrium Logic: from Temporal Programs to Compact Automata

• Mantas Šimkus

PDF