Temporal logic programming

Article View: comp.lang.misc

Article #4

From: 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
-------------------------------------------------------------------------------

Technical Details

Message-ID: <1992Oct27.112256.4441@syma.sussex.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!usc!zaphod.mps.ohio-state.edu!sdd.hp.com!spool.mu.edu!agate!doc.ic.ac.uk!syma!hoylen

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.misc
Path: arc1-ca.pugleaf.net!sparky!uunet!usc!zaphod.mps.ohio-state.edu!sdd.hp.com!spool.mu.edu!agate!doc.ic.ac.uk!syma!hoylen
From: hoylen@syma.sussex.ac.uk (Hoylen Sue)
Subject: Temporal logic programming
Message-ID: <1992Oct27.112256.4441@syma.sussex.ac.uk>
Keywords: temporal logic, formal languages, animation, time
Organization: University of Sussex
Date: Tue, 27 Oct 1992 11:22:56 GMT
Lines: 19