SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning

Open in new window