default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLANMR 2016: Puebla, Mexico
- Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Iván Olmos Pineda:
Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016. CEUR Workshop Proceedings 1659, CEUR-WS.org 2016
Regular Papers
- Verónica Borja Macías, Miguel Pérez-Gaspar:
Kripke-type semantics for G'3 and CG'3. 1-8 - Oscar Chávez-Bosquez, Pilar Pozos Parra, Kevin McAreavey:
On the development of a logic calculator: a novel tool to perform logical operations. 9-16 - J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Computing the clique-width of cactus graphs. 17-24 - Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
The incremental satisfiability problem for a two conjunctive normal form. 25-32 - Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle:
Query reasoning on data trees with counting. 33-40 - Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
Characterizing stage argumentation semantics based on stable abducible semantics. 41-49 - 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. 50-57 - Betania Hernández-Ocaña, Efrén Mezura-Montes, Maria del Pilar Pozos Parra:
Evolutionary bacterial foraging algorithm to solve constraint numerical optimization problems. 58-65 - 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. 66-73 - 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. 74-81 - Jennifer Muñoz, Flavio Everardo:
Urban land use planning using answer set programming - preliminary report -. 82-89 - 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. 90-97 - 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. 98-105
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-30 20:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
