DMCA

On first-order definability and computability of progression for local-effect actions and beyond. (2009)

by Yongmei Liu , Gerhard Lakemeyer
Venue:In Proc. of IJCAI’09.
Citations:11 - 2 self