Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Projection in Temporal Logic Programming

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

Downloads

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

Abstract

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

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/3-540-58216-9_48

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

Share