Logic Modelling Workshop
Time and Action Logic
Reference Article
The ETAI reference article for Time and Action Logic is available
by clicking here
; the discussion about that article
by clicking here
.
Implementation
An implementation - the VITAL system - is available
by clicking here
.
Maintenance
information:
Latest update 18.12.1999 by EMTEK group.
Edit mode html,
position code
C.lmw.logics.tal
.