Toggle Main Menu Toggle Search

Open Access padlockePrints

Projection in Temporal Logic Programming

Lookup NU author(s): Professor Maciej KoutnyORCiD, Dr Christopher Holt


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


We define a projection operator in the framework of the temporal logic programming. Its syntax and semantics are presented and illustrated with examples. We also discuss the implementation details of the projection construct.

Publication metadata

Author(s): Duan Z, Koutny M, Holt CM

Editor(s): Pfenning, F.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 5th International Conference on Logic Programming and Automated Reasoning,

Year of Conference: 1994

Pages: 333-344

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag


DOI: 10.1007/3-540-58216-9_48

Notes: This research was partially supported by the SERC Grant 491105.

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540582168