Non-deterministic, agent planning programs, adaptive planning, etc.
High-level cognitive programming of robots and controllers
Implementing a complex module from simple devices and behaviors
AI for Business Processes
Determining the intention of an agent by observing its behavior.
Specification, reasoning, and verification of dynamic systems.