- 2018
- Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena:
Craig interpolation on the logic of knowledge. LANMR 2018: 15-24 - José Martín Castro-Manzano:
A tableaux method for term logic. LANMR 2018: 1-14 - Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
A history and reversibility for quantum programming language QML. LANMR 2018: 25-39 - Oscar Chávez-Bosquez, Pilar Pozos Parra, Betania Hernández-Ocaña:
On combining numerical optimization techniques with a belief merging approach. LANMR 2018: 51-62 - Jaime Díaz, José Luis Carballido, Mauricio Osorio, Claudia Zepeda:
Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic. LANMR 2018: 127-137 - Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita Luna:
Knowledge representation of passages type TOEFL. LANMR 2018: 88-100 - Guillermo De Ita, Pedro Bello, Miguel Rodríguez:
The computation of #2SAT by a fixed-parameter tractable algorithm. LANMR 2018: 101-113 - Guillermo De Ita, Cristina López-Ramírez, Adriana C. Luna:
A novel heuristic for the coloring of planar graphs. LANMR 2018: 63-75 - Marco A. López Medina, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita:
Model counting for #2SAT problem in outerplanar graphs. LANMR 2018: 76-87 - Verónica Borja Macías, Alejandro Hernández-Tello:
Implication and biconditional in some three-valued logics. LANMR 2018: 114-126 - Eddy Sánchez-Delacruz, Pilar Pozos Parra:
Machine learning-based classification for diagnosis of neurodegenerative diseases. LANMR 2018: 40-50 - Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Pilar Pozos Parra:
Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018. CEUR Workshop Proceedings 2264, CEUR-WS.org 2018 [contents] - 2016
- Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle:
Query reasoning on data trees with counting. LANMR 2016: 33-40 - Oscar Chávez-Bosquez, Pilar Pozos Parra, Kevin McAreavey:
On the development of a logic calculator: a novel tool to perform logical operations. LANMR 2016: 9-16 - Aldo-Francisco Contreras-González, José-Isidro Hernández-Vega, Carlos Hernández-Santos, Dolores-Gabriela Palomares-Gorham:
A method to verify a path planning by a back-propagation articial neural network. LANMR 2016: 98-105 - Jesús García-Ramírez, Iván Olmos Pineda, J. Arturo Olvera-López, Manuel Martín Ortiz:
Edge detection for facial expression recognition. LANMR 2016: 66-73 - J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Computing the clique-width of cactus graphs. LANMR 2016: 17-24 - Betania Hernández-Ocaña, Efrén Mezura-Montes, Maria del Pilar Pozos Parra:
Evolutionary bacterial foraging algorithm to solve constraint numerical optimization problems. LANMR 2016: 58-65 - Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
The incremental satisfiability problem for a two conjunctive normal form. LANMR 2016: 25-32 - Verónica Borja Macías, Miguel Pérez-Gaspar:
Kripke-type semantics for G'3 and CG'3. LANMR 2016: 1-8 - Jennifer Muñoz, Flavio Everardo:
Urban land use planning using answer set programming - preliminary report -. LANMR 2016: 82-89 - Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
Characterizing stage argumentation semantics based on stable abducible semantics. LANMR 2016: 41-49 - Carlos Ramírez Piña, Vianney Muñoz-Jiménez, Rosa María Valdovinos Rosas, José Antonio Hernández Servín:
A simplied feature vector obtained by wavelets method for fast and accurate recognition of handwritten characters off-line. LANMR 2016: 90-97 - Marco A. Ramos, Vianney Muñoz-Jiménez, Rodrigo Vidal, Erick Castellanos, Félix Ramos:
Creating color fashion trends through autonomous behavior using multi-agent Systems. LANMR 2016: 74-81 - Elias Franck Romero, Rosa Maria Valdovinos, José Raymundo Marcial-Romero, Jesús Ariel Carrasco-Ochoa:
A Multiple classifier system for fast an accurate learning in neural network context. LANMR 2016: 50-57 - Everardo Bárcenas
, Edgard Benítez-Guerrero
, Jesús Lavalle:
On Regular Paths with Counting and Data Tests. LANMR (Selected Papers) 2016: 3-16 - J. Leonardo González-Ruiz
, José Raymundo Marcial-Romero
, José Antonio Hernández Servín:
Computing the Clique-width of Cactus Graphs. LANMR (Selected Papers) 2016: 47-57 - Guillermo De Ita Luna
, José Raymundo Marcial-Romero
, José Antonio Hernández Servín:
The Incremental Satisfiability Problem for a Two Conjunctive Normal Form. LANMR (Selected Papers) 2016: 31-45 - Verónica Borja Macías, Miguel Pérez-Gaspar:
Kripke-type Semantics for CG'3. LANMR (Selected Papers) 2016: 17-29 - Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
Defining Stage Argumentation Semantics in Terms of an Abducible Semantics. LANMR (Selected Papers) 2016: 59-71