Thirteenth Latin American Workshop on New Methods of Reasoning 2020

Logic / Languages, Algorithms, New Methods of Reasoning

Schedule

Zoom Invitation

Join the Zoom meeting (10th and 11th december 2020)


Meeting ID: 852 4970 8144
Access code: 253214

Central Standard Time, Mexico

Thursday 10th december
Time Title Speakers
8:50 - 9:00 a.m. Opening -
9:00 - 9:30 a.m. Artificial intelligence methodology as a tool for the development of psycho-affective learning Gabriel Cervantes Bello, Anahí De Los Santos Goméz, Mauricio Osorio and Andres Munguia Barcenas
9:30 - 10:00 a.m. Using Answer Set Programming to Detect and Compose Music in the Structure of Twelve Bar Blues Flavio Everardo, Gabriel Rodrigo Gil, Oscar Pérez Alcalá and Gabriela Silva Ballesteros
10:00 - 10:30 a.m. Computing the clique-width on series-parallel graphs Marco Antonio López-Medina, J. Leonardo González-Ruiz and J. Raymundo Marcial-Romero
10:30 - 11:00 a.m. Coffee break -
11:00 - 11:30 a.m. Some ideas towards a relevance term logic J.-Martín Castro-Manzano
11:30 - 12:00 a.m. A study of two dialectical logics Ricardo Arturo Nicolás-Francisco
12:00 - 12:30 p.m. Insightful yet inferential creativity: transduction as a derivation of abduction Sandra Visokolskis
12:30 - 1:00 p.m. Coffee break -
1:00 - 1:50 p.m. Beliefs Based on Evidence and Argumentation Invited talk Fernando Velázquez Quesada

Friday 11th december
Time Title Speakers
9:00 - 9:30 a.m. Intuitionistic Epistemic Logics with Distributed Knowledge Ryo Murai and Katsuhiko Sano
9:30 - 10:00 a.m. A dual-context sequent calculus for S4 modal lambda-term synthesis Favio E. Miranda-Perea, Sammantha Omaña Silva and Lourdes Del Carmen González Huesca
10:00 - 10:30 a.m. Two-agent approximate agreement from an epistemic logic perspective Jorge Armenta-Segura, Sergio Rajsbaum and Jérémy Ledent
10:30 - 11:00 a.m. Coffee break -
11:00 - 11:30 a.m. A note on an implicational fragment of the three-valued Lukasiewicz logic Aldo Figallo-Orellano and Juan Sebastian Slagter
11:30 - 12:00 p.m. An axiomatization of the paracomplete logic Verónica Borja Macías, Alejandro Hernández Tello and Daniela Hernández-Grijalvaz
12:00 - 12:30 p.m. Coffee break -
12:30 - 1:30 p.m. Understanding negation thru' the modal logicians' eyes Invited talk Joao Marcos