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