default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLANMR 2018: Puebla, Mexico
- 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
Regular Papers
- José Martín Castro-Manzano:
A tableaux method for term logic. 1-14 - Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena:
Craig interpolation on the logic of knowledge. 15-24 - Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
A history and reversibility for quantum programming language QML. 25-39 - Eddy Sánchez-Delacruz, Pilar Pozos Parra:
Machine learning-based classification for diagnosis of neurodegenerative diseases. 40-50 - Oscar Chávez-Bosquez, Pilar Pozos Parra, Betania Hernández-Ocaña:
On combining numerical optimization techniques with a belief merging approach. 51-62 - Guillermo De Ita, Cristina López-Ramírez, Adriana C. Luna:
A novel heuristic for the coloring of planar graphs. 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. 76-87 - Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita Luna:
Knowledge representation of passages type TOEFL. 88-100 - Guillermo De Ita, Pedro Bello, Miguel Rodríguez:
The computation of #2SAT by a fixed-parameter tractable algorithm. 101-113 - Verónica Borja Macías, Alejandro Hernández-Tello:
Implication and biconditional in some three-valued logics. 114-126 - Jaime Díaz, José Luis Carballido, Mauricio Osorio, Claudia Zepeda:
Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic. 127-137
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 2024-11-28 20:34 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:
