8th Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, LANMR 2012 Conference