publication venue for

• Applying integer programming to AI planning 2000
• The Process Interchange Format and Framework 1998
• Embedding critics in design environments 1993