Michael Thielscher Action Programming Languages http://dx.doi.org/10.2200/S00143ED1V01Y200807AIM005 http://dx.doi.org/10.2200/S00143ED1V01Y200807AIM005 2008 Synthesis Lectures on Artificial Intelligence and Machine Learning Morgan & Claypool Publishers