Abstract Animator for Temporal Specifications: Application to TLA.

Dominique Cansell Dominique Méry

Published in: SAS (1999)

Keyphrases

neural network
social networks
spatio temporal
machine learning
high level
temporal reasoning
databases
information retrieval
multiscale
database
decision making
logic programs
spatial information
temporal logic
temporal databases
state machines