LANMR (Selected Papers)

Keyphrases

Publications

volume 354, 2020

Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2018, Puebla, Mexico, November 15, 2018 & LANMR 2019, Puebla, Mexico, November 15, 2019 LANMR (Selected Papers) 354 (2020)

2019

María Auxilio Medina Nieto, Delia Arrieta Díaz, Jorge de la Calleja Mora, Laura Zacatzontetl Hernández, Marilú Zacatelco Pérez
An Ontology-based Approach to Describe Collaborative Work by Reusing and Enriching Data From an Institutional Repository. LANMR (Selected Papers) (2019)
Angélica Guzmán Ponce, José Raymundo Marcial-Romero, Rosa María Valdovinos Rosas, J. Salvador Sánchez
Weighted Complete Graphs for Condensing Data. LANMR (Selected Papers) (2019)
Mauricio Osorio, Claudia Zepeda
Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts. LANMR (Selected Papers) (2019)
Mauricio Osorio, José Luis Carballido Carranza
An Extension of the Stable Semantics via Lukasiewicz Logic. LANMR (Selected Papers) (2019)
Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio
Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case. LANMR (Selected Papers) (2019)
Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca
Gradual Typing Using Union Typing With Records. LANMR (Selected Papers) (2019)
Flavio Everardo, Mauricio Osorio
Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version. LANMR (Selected Papers) (2019)
José Martín Castro-Manzano
Murphree's Numerical Term Logic Tableaux. LANMR (Selected Papers) (2019)
Cristina López-Ramírez, Jorge Eduardo Gutiérrez-Gómez, Guillermo De Ita Luna
Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs. LANMR (Selected Papers) (2019)
Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena
. LANMR (Selected Papers) (2019)
Pilar Pozos Parra, José Raymundo Marcial-Romero
Preface. LANMR (Selected Papers) (2019)
Guillermo De Ita Luna, Cristina López-Ramírez, Ana E. De Ita-Varela, Jorge Eduardo Gutiérrez-Gómez
A Heuristic for the Coloring of Planar Graphs. LANMR (Selected Papers) (2019)
Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo
On Interactive Proof-Search for Constructive Modal Necessity. LANMR (Selected Papers) (2019)

volume 328, 2016

Selected Papers of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016 LANMR (Selected Papers) 328 (2016)

volume 315, 2015

Selected Papers of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2014, Valle de Bravo, Mexico, November 5-7, 2014 LANMR (Selected Papers) 315 (2015)