3 Yongmei Liu Gerhard Lakemeyer 2009 On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09) AAAI Press