Conference: LPNMR 2026 (18th International Conference on Logic Programming and Non-monotonic Reasoning)

Conference: LPNMR 2026 (18th International Conference on Logic Programming and Non-monotonic Reasoning)

This page shows all presentations from this conference published in EasyChair Smart Slide.

On the Complexity of Model Checking for Temporal Equilibrium Logic

On the Complexity of Model Checking for Temporal Equilibrium Logic

Oscar Barreca, Thomas Eiter and Davide Soldà

Presentations in this collection: 1