Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals.

Chitta Baral Jicheng Zhao Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals. 406-411 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#BaralZ08