Toggle Main Menu Toggle Search

Open Access padlockePrints

Negation by Default for Framing Temporal Logic Programming

Lookup NU author(s): Dr Christopher Holt



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.

Publication metadata

Author(s): Duan Z, Holt CM

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1993

Pages: 20

Print publication date: 01/07/1993

Source Publication Date: July 1993

Report Number: 441

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne