default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLANMR 2019: Puebla, Mexico
- Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Pilar Pozos Parra:
Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019. CEUR Workshop Proceedings 2585, CEUR-WS.org 2020
Regular Papers
- José Martín Castro-Manzano:
Tableaux for Murphree's numerical term logic. 1-12 - Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Javier Gomez:
Consistency checking of attention aware systems. 13-23 - Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca:
Gradual typing using union typing with records. 24-36 - Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio:
Paracomplete logics which are dual to the paraconsistent logics L3A and L3B. 37-48 - Mauricio Osorio, Daniela Hernández-Grijalva, Alejandro Hernández-Tello:
Methodology to represent functions in logic BL⊃. 49-60 - Flavio Everardo, Mauricio Osorio:
Towards an answer set programming methodology for constructing programs following a semi-automatic approach. 61-72 - Mauricio Osorio, José Luis Carballido:
An extension of the stable semantics via Lukasiewicz logic. 73-83 - Mauricio Osorio, Claudia Zepeda:
Three new genuine five-valued logics. 84-96 - Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita Luna:
Cognitive relations for argumentative texts. 97-105 - Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo:
On interactive proof-search for constructive modal necessity. 106-118 - Miguel Pérez-Gaspar, Everardo Bárcenas:
Completeness for the paraconsistent logic CG'3 based on maximal theories. 119-130 - María Auxilio Medina N., Delia Arrieta D., Jorge de la Calleja M., 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. 131-141 - Eddy Sánchez-Delacruz, David Lara Alabazares:
Deep learning: concepts and implementation tools. 142-149 - 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. 150-158 - Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Measurements in quantum programming language QML. 159-168
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-08 20:18 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:
