| Vol-2264 urn:nbn:de:0074-2264-4 Copyright © 2018 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# LANMR 2018
Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning

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

### Puebla, Mexico, November 15, 2018.

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
**** Alta Tecnología Aplicada, México

## Table of Contents

- Preface
- Organization

### Regular Papers

- A tableaux method for term logic 1-14
  J.-Martín Castro-Manzano
- Craig interpolation on the logic of knowledge 15-24
  Everardo Bárcenas, José-de-Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena
- A history and reversibility for quantum programming language QML 25-39
  Nely Plata César, J. Raymundo Marcial Romero, J. Antonio Hernández Servín
- Machine learning-based classification for diagnosis of neurodegenerative diseases 40-50
  Eddy Sánchez-DelaCruz, Pilar Pozos-Parra
- On combining numerical optimization techniques with a belief merging approach 51-62
  Oscar Chávez-Bosquez, Pilar Pozos-Parra, Betania Hernández-Ocaña
- A novel heuristic for the coloring of planar graphs 63-75
  Guillermo De Ita, Cristina López-Ramírez, Adriana Luna
- Model counting for #2SAT problem in outerplanar graphs 76-87
  Marco A. López, J. Raymundo Marcial-Romero, José A. Hernández, Guillermo De Ita
- Knowledge representation of passages type TOEFL 88-100
  Meliza Contreras Gonzalez, Mireya Tovar Vidal, Guillermo De Ita Luna
- The computation of #2SAT by a fixed-parameter tractable algorithm 101-113
  Guillermo de Ita, Pedro Bello, Miguel Rodríguez
- Implication and biconditional in some three-valued logics 114-126
  Verónica Borja Macías, Alejandro Hernández-Tello
- Lukasiewicz’ 3-valued logic can not be expressed in terms of SP3A logic 127-137
  Jaime Díaz, José Luis Carballido, Mauricio Osorio, Claudia Zepeda

2018-10-31: submitted by Pilar Pozos-Parra, metadata incl. bibliographic data published under Creative Commons CC0
2018-12-04: published on CEUR-WS.org |valid HTML5|