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

Andrea Marrella, Massimo Mecella, Sebastian Sardia

Browse the full KR paper archive.