Temporal logic programming

Thread View: comp.lang.misc

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Hoylen Sue Tue, 27 Oct 1992 11:22

Author: Hoylen Sue
Date: Tue, 27 Oct 1992 11:22

18 lines
1203 bytes

I am a postgraduate investigating the possible use of a language
based on Temporal Logic in computer animation.  Does anyone have
any references in this area.   In particular, what languages are
currently around, and how to implement one.    Is it possible to
get hold of one?

I have a copy of Anthony Galton's, "Temporal logics and their
Applications" (1987), and know of Ben Moszkowski's, "Executing
Temporal Logic Programs".

Thanks.

Hoylen.

-------------------------------------------------------------------- Hoylen Sue
University of Sussex, P/G EAPS II, Falmer, East Sussex, BN1 9QT, United Kingdom
Internet: hoylen@central.sussex.ac.uk        Janet: hoylen@uk.ac.sussex.central
-------------------------------------------------------------------------------

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads