| Vol-2818 urn:nbn:de:0074-2818-1 Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# 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.

Edited by

### José Raymundo Marcial Romero *
Mauricio Osorio Galindo **
Claudia Zepeda Cortés ***
Pilar Pozos Parra ****

* Universidad Autónoma del Estado de México, Toluca, México
** Universidad de las Américas Puebla, Puebla, México
*** Benemérita Universidad Autónoma de Puebla, Puebla, México
**** Universidad Autónoma de Baja California, Baja California, México

## Table of Contents

- Preface

- Program committee

- Artificial intelligence agent for psycho-affective accompaniment 1-14
  Gabriel Cervantes, Andrés Munguı́a, Mauricio Osorio, Anahı́ de los Santos Gómez
- Using answer set programming to detect and compose music in the structure of twelve bar blues 15-25
  Flavio Everardo, Gabriel Rodrigo Gil, Oscar B. Pérez Alcalá, Gabriela Silva Ballesteros
- A study of two dialectical logics 26-35
  Ricardo Arturo Nicolás-Francisco
- Insightful yet inferential creativity: transduction as a derivation of abduction 36-56
  Sandra Visokolskis
- An axiomatization of the paracomplete logic L3AD→1 57-70
  Verónica Borja Macı́as, Alejandro Hernández-Tello, Daniela Hernández-Grijalva

2020-12-21: submitted by Pilar Pozos Parra, metadata incl. bibliographic data published under Creative Commons CC0
2021-02-26: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|