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

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