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