Journal article
Framed temporal logic programming
Abstract
A Projection Temporal Logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura, is formalized. A minimal model-based approach for framing in temporal logic programming is presented. Since framing destroys monotonicity, canonical models–used to define the semantics of non-framed programs–are no longer appropriate. To deal with this, a minimal model theory is …
Authors
Duan Z; Yang X; Koutny M
Journal
Science of Computer Programming, Vol. 70, No. 1, pp. 31–61
Publisher
Elsevier
Publication Date
January 2008
DOI
10.1016/j.scico.2007.09.001
ISSN
0167-6423