On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond.

Yongmei Liu, Gerhard Lakemeyer

Browse the full IJCAI paper archive.