A Fixpoint Characterisation of Temporal Equilibrium Logic.

Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub, Igor Stphan

Browse the full LPNMR paper archive.