Active Templates 

• Customer: 

Defense Advanced Research Projects Agency (DARPA)
 
• Program Goal: 

To develop lightweight planning tools for special operations
 
• Key Technologies:
• Constraint reasoning
• Natural language processing
• Automated plan critiquing

 
• Key Products:
• Mission Planning Module
• Template-based Natural Language Input System
• Temporal Constraint Reasoning System