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
| 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 - 2:00 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 |