1 - Second General Artificial Intelligence Workshop (GAIW 2007).- Towards Tractable Local Closed ...