LANMR 2019
Logic/Languages, Algorithms and New Methods of Reasoning

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^'₃ 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