Lanmr 2011 Seventh latin american workshop on logic/languages, algorithms and new methods of reasoning 2011