Invited talk at the Apple Reasoning and Planning Workshop in Cupertino.