SPIKE - an AI planning environment for the
Hubble Space Telescope,
using Constraint Satisfaction Problem [???]
Blackboard Technology - links to online information,
companies, articles, ..
