ECOLOG: an Environment for COnstraint LOGics.

Marianne Haberstrau

Published in: CCL (1994)

Keyphrases

real time
expressive power
mobile robot
dynamic environments
database
databases
autonomous agents
complex environments
data sets
real world
virtual world
modal logic
global constraints
simulation environment
programming environment