Stem indi$ (all stems)
2 papers:
- KR-2014-MarrellaMS #adaptation #calculus #named #process
- SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (AM, MM, SS).
- KR-2002-GiacomoLLS #implementation #on the #semantics
- On the Semantics of Deliberation in IndiGolog: From Theory to Implementation (GDG, YL, HJL, SS), pp. 603–614.