| Vol-2585 urn:nbn:de:0074-2585-4 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 2019
Logic/Languages, Algorithms and New Methods of Reasoning

### Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning

### Puebla, Mexico, November 15, 2019.

Edited by

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

* Universidad de las Américas Puebla, Puebla, México
** Universidad Autónoma del Estado de México, Toluca, 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
- Organization

### Regular Papers

- Tableaux for Murphree's numerical term logic 1-12
  J.-Martín Castro-Manzano
- Consistency checking of attention aware systems 13-23
  Yensen Limón, Everardo Bárcenas, Edgard Benı́tez-Guerrero, Javier Gomez
- Gradual typing using union typing with records 24-36
  Karla Ramı́rez Pulido, Jorge Luis Ortega Arjona, Lourdes del Carmen González Huesca
- Paracomplete logics which are dual to the paraconsistent logics L3A and L3B 37-48
  Alejandro Hernández-Tello, Verónica Borja Macı́as, Marcelo E. Coniglio
- Methodology to represent functions in logic BL⊃ 49-60
  Mauricio Osorio, Daniela Hernández-Grijalva, Alejandro Hernández-Tello
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach 61-72
  Flavio Everardo, Mauricio Osorio
- An extension of the stable semantics via Lukasiewicz logic 73-83
  Mauricio Osorio, José Luis Carballido
- Three new genuine five-valued logics 84-96
  Mauricio Osorio, Claudia Zepeda
- Cognitive relations for argumentative texts 97-105
  Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita Luna
- On interactive proof-search for constructive modal necessity 106-118
  Favio E. Miranda-Perea, Lourdes del Carmen González Huesca, P. Selene Linares-Arévalo
- Completeness for the paraconsistent logic CG'3 based on maximal theories 119-130
  Miguel Pérez-Gaspar, Everardo Bárcenas
- An ontology-based approach to describe collaborative work by reusing and enriching data from an institutional repository 131-141
  María-Auxilio Medina N., Delia Arrieta D., Jorge de la Calleja M., Laura Zacatzontetl H. Marilú Zacatelco P.
- Deep learning: concepts and implementation tools 142-149
  Eddy Sánchez-DelaCruz, David Lara-Alabazares
- Big data techniques to discover kidney problems at early stages: a prospective study 150-158
  Omar García-González, Ivan E. Villalon-Turrubiates, Pilar Pozos-Parra
- Measurements in quantum programming language QML 159-168
  Nely Plata Cesar, J. Raymundo Marcial-Romero, J. Antonio Hernández Servı́n

2020-03-15: submitted by Pilar Pozos-Parra, metadata incl. bibliographic data published under Creative Commons CC0
2020-03-30: published on CEUR-WS.org |valid HTML5|