Non-monotonic Temporal Logics for Goal Specification.

Chitta Baral, Jicheng Zhao

Browse the full IJCAI paper archive.