Vitalsource Technologies, Inc. Declarative Agent Languages And Technologies Viii