Projection in temporal logic programming

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.

Authors

Duan Z; Koutny M; Holt C

Series

Lecture Notes in Computer Science

Volume

822

Pagination

pp. 333-344

Publisher

Springer Nature

Publication Date

January 1, 1994

DOI

10.1007/3-540-58216-9_48

Conference proceedings

Lecture Notes in Computer Science

ISSN

0302-9743

Associated Experts

Maciej Koutny

Adjunct Professor, Faculty of Engineering

Visit profile

Labels

Fields of Research (FoR)

4613 Theory Of Computation 46 Information and computing sciences

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

Provide website feedback