LANMR

Keyphrases

Publications

volume 2585, 2020

Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019. LANMR 2585 (2020)

2019

Miguel Pérez-Gaspar, Everardo Bárcenas
based on maximal theories. LANMR (2019)
Omar García-González, Ivan E. Villalon-Turrubiates, Pilar Pozos Parra
Big data techniques to discover kidney problems at early stages: a prospective study. LANMR (2019)
Eddy Sánchez-Delacruz, David Lara Alabazares
Deep learning: concepts and implementation tools. LANMR (2019)
Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita Luna
Cognitive relations for argumentative texts. LANMR (2019)
Flavio Everardo, Mauricio Osorio
Towards an answer set programming methodology for constructing programs following a semi-automatic approach. LANMR (2019)
Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio
. LANMR (2019)
María Auxilio Medina N., Delia Arrieta D., Jorge de la Calleja M., Laura Zacatzontetl H. Marilú Zacatelco P.
An ontology-based approach to describe collaborative work by reusing and enriching data from an institutional repository. LANMR (2019)
Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín
Measurements in quantum programming language QML. LANMR (2019)
Mauricio Osorio, Daniela Hernández-Grijalva, Alejandro Hernández-Tello
. LANMR (2019)
Karla Rami'rez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca
Gradual typing using union typing with records. LANMR (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 (2019)
José Martín Castro-Manzano
Tableaux for Murphree's numerical term logic. LANMR (2019)
Mauricio Osorio, Claudia Zepeda
Three new genuine five-valued logics. LANMR (2019)
Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Javier Gomez
Consistency checking of attention aware systems. LANMR (2019)
Mauricio Osorio, José Luis Carballido
An extension of the stable semantics via Lukasiewicz logic. LANMR (2019)

2018

volume 2264, 2018

Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018. LANMR 2264 (2018)

2016

volume 1659, 2016

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

2014

volume 1287, 2014

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