Non-monotonic Temporal Goals.

Ricardo Gonalves, Matthias Knorr, Joo Leite, Martin Slota

Browse the full LPNMR paper archive.