From a formal dynamic semantics of Sisal to a Sisal environment.

Isabelle Attali Denis Caromel Andrew L. Wendelborn

Published in: HICSS (2) (1995)

Keyphrases

dynamic environments
changing environment
dynamic aspects
real time
mobile robot
formal semantics
operational semantics
formal language
artificial intelligence
neural network
logic programs
learning algorithm
virtual world
path planning
complex environments
reactive systems
database