Z. Duan
C.M. Holt
University of Newcastle upon Tyne. 1994
A minimal model based approach for framing in temporal logic programming is presented. Within this model, negation by default is used to manage framing operators. Further, the temporal semantics of the framed programs within the minimal models is investigated. In addition, some of algebraic properties of the framing operators are characterized.