Computational Aspects of Progression for Temporal Equilibrium Logic.

Thomas Eiter, Davide Sold

Browse the full IJCAI paper archive.