LANMR 2020, Thirteenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning
: proceedings of the Thirteenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning : virtual conference at Universidad Nacional Autónoma de México (UNAM), December 10-11, 2020