Title :
IEE Colloquium on `Temporal Reasoning´ (Digest No.024)
Abstract :
The following topics were dealt with: RDL, a real-time systems design logic; air traffic flow management change; a hospital database; TEMPORA, a database transaction system; knowledge-based process control; digital simulation; cardiac electrophysiology; and hardware timing properties
Keywords :
artificial intelligence; digital simulation; formal logic; knowledge based systems; RDL; TEMPORA; air traffic flow management change; cardiac electrophysiology; database transaction system; digital simulation; formal logic; hardware timing properties; hospital database; knowledge-based process control; real-time systems design logic; temporal reasoning;
Conference_Titel :
Temporal Reasoning, IEE Colloquium on
Conference_Location :
London
