Answer Set Programming, Linear Temporal Logic, logic of here-and-there, Temporal Answer Set Programming.