Abstract is missing.
- PrefacePilar Pozos Parra, José Raymundo Marcial-Romero. 1-2 [doi]
- mEverardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena. 3-16 [doi]
- Murphree's Numerical Term Logic TableauxJosé Martín Castro-Manzano. 17-28 [doi]
- Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised versionFlavio Everardo, Mauricio Osorio 0001. 29-44 [doi]
- Weighted Complete Graphs for Condensing DataAngélica Guzmán Ponce, José Raymundo Marcial-Romero, Rosa María Valdovinos Rosas, J. Salvador Sánchez 0001. 45-60 [doi]
- Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued CaseAlejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio. 61-74 [doi]
- Building a Maximal Independent Set for the Vertex-coloring Problem on Planar GraphsCristina López-Ramírez, Jorge Eduardo Gutiérrez-Gómez, Guillermo De Ita Luna. 75-89 [doi]
- A Heuristic for the Coloring of Planar GraphsGuillermo De Ita Luna, Cristina López-Ramírez, Ana E. De Ita-Varela, Jorge Eduardo Gutiérrez-Gómez. 91-105 [doi]
- On Interactive Proof-Search for Constructive Modal NecessityFavio E. Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo. 107-127 [doi]
- An Ontology-based Approach to Describe Collaborative Work by Reusing and Enriching Data From an Institutional RepositoryMaría Auxilio Medina Nieto, Delia Arrieta Díaz, Jorge de la Calleja Mora, Laura Zacatzontetl Hernández, Marilú Zacatelco Pérez. 129-139 [doi]
- An Extension of the Stable Semantics via Lukasiewicz LogicMauricio Osorio 0001, José Luis Carballido Carranza. 141-155 [doi]
- Three New Genuine Five-valued Logics Intended to Model Non-trivial ConceptsMauricio Osorio 0001, Claudia Zepeda. 157-170 [doi]
- Gradual Typing Using Union Typing With RecordsKarla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca. 171-186 [doi]