researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2004
2006
2007
2008
2009
2011
2012
2014
2015
2016
2018
2019
2020
Filter by Tag
OR
AND
NOT
1
C++
Kolmogorov complexity
Meta-Environment
Prolog
analysis
constraints
e-science
exceptions
logic
meta-model
mobile
programming
rule-based
semantics
teaching
Filter by Author
[+]
OR
AND
NOT
1
Alejandro Hernández-Tello
Claudia Zepeda
Cristina López-Ramírez
Everardo Bárcenas
Flavio Everardo
Guillermo De Ita
Guillermo De Ita Luna
Ivan Olmos
J. A. Hernández
José Luis Carballido
José Martín Castro-Manzano
José Raymundo Marcial-Romero
Juan Carlos Nieves
Lourdes Del Carmen González-Huesca
Mauricio Osorio
Mauricio Osorio 0001
Meliza Contreras González
Pilar Pozos Parra
Stefania Costantini
Verónica Borja Macías
Filter by Top terms
[+]
OR
AND
NOT
1
algorithms
american
answer
approach
de
graphs
knowledge
languages
latin
logic
monotonic
new
non
proceedings
programming
reasoning
semantics
stable
using
workshop
LA-NMR (lanmr)
Editions
Publications
Viewing Publication 1 - 100 from 160
2020
Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019
Mauricio Javier Osorio Galindo
,
José Raymundo Marcial-Romero
,
Claudia Zepeda Cortés
,
Pilar Pozos Parra
, editors,
Volume 2585 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2020.
[doi]
Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2018, Puebla, Mexico, November 15, 2018 & LANMR 2019, Puebla, Mexico, November 15, 2019
Pilar Pozos Parra
,
José Raymundo Marcial-Romero
, editors,
Volume 354 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2020.
[doi]
2019
An extension of the stable semantics via Lukasiewicz logic
Mauricio Osorio 0001
,
José Luis Carballido
.
lanmr 2020
:
73-83
[doi]
An Extension of the Stable Semantics via Lukasiewicz Logic
Mauricio Osorio 0001
,
José Luis Carballido Carranza
.
lanmr 2020
:
141-155
[doi]
Three new genuine five-valued logics
Mauricio Osorio 0001
,
Claudia Zepeda
.
lanmr 2020
:
84-96
[doi]
Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts
Mauricio Osorio 0001
,
Claudia Zepeda
.
lanmr 2020
:
157-170
[doi]
⊃
Mauricio Osorio 0001
,
Daniela Hernández-Grijalva
,
Alejandro Hernández-Tello
.
lanmr 2020
:
49-60
[doi]
m
Everardo Bárcenas
,
José de Jesús Lavalle-Martínez
,
Guillermo Molero-Castillo
,
Alejandro Velázquez-Mena
.
lanmr 2020
:
3-16
[doi]
Tableaux for Murphree's numerical term logic
José Martín Castro-Manzano
.
lanmr 2020
:
1-12
[doi]
Murphree's Numerical Term Logic Tableaux
José Martín Castro-Manzano
.
lanmr 2020
:
17-28
[doi]
Measurements in quantum programming language QML
Nely Plata Cesar
,
J. Raymundo Marcial-Romero
,
J. Antonio Hernández Servi'n
.
lanmr 2020
:
159-168
[doi]
Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version
Flavio Everardo
,
Mauricio Osorio 0001
.
lanmr 2020
:
29-44
[doi]
Towards an answer set programming methodology for constructing programs following a semi-automatic approach
Flavio Everardo
,
Mauricio Osorio 0001
.
lanmr 2020
:
61-72
[doi]
Big data techniques to discover kidney problems at early stages: a prospective study
Omar García-González
,
Ivan E. Villalon-Turrubiates
,
Pilar Pozos Parra
.
lanmr 2020
:
150-158
[doi]
Cognitive relations for argumentative texts
Meliza Contreras González
,
Mireya Tovar Vidal
,
Guillermo De Ita Luna
.
lanmr 2020
:
97-105
[doi]
Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case
Alejandro Hernández-Tello
,
Verónica Borja Macías
,
Marcelo E. Coniglio
.
lanmr 2020
:
61-74
[doi]
L3B
Alejandro Hernández-Tello
,
Verónica Borja Macías
,
Marcelo E. Coniglio
.
lanmr 2020
:
37-48
[doi]
Consistency checking of attention aware systems
Yensen Limón
,
Everardo Bárcenas
,
Edgard Benítez-Guerrero
,
Javier Gomez
.
lanmr 2020
:
13-23
[doi]
A Heuristic for the Coloring of Planar Graphs
Guillermo De Ita Luna
,
Cristina López-Ramírez
,
Ana E. De Ita-Varela
,
Jorge Eduardo Gutiérrez-Gómez
.
lanmr 2020
:
91-105
[doi]
Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs
Cristina López-Ramírez
,
Jorge Eduardo Gutiérrez-Gómez
,
Guillermo De Ita Luna
.
lanmr 2020
:
75-89
[doi]
On interactive proof-search for constructive modal necessity
Favio E. Miranda-Perea
,
Lourdes Del Carmen González-Huesca
,
P. Selene Linares-Arévalo
.
lanmr 2020
:
106-118
[doi]
On Interactive Proof-Search for Constructive Modal Necessity
Favio E. Miranda-Perea
,
Lourdes Del Carmen González-Huesca
,
P. Selene Linares-Arévalo
.
lanmr 2020
:
107-127
[doi]
An ontology-based approach to describe collaborative work by reusing and enriching data from an institutional repository
María-Auxilio Medina N.
,
Delia Arrieta D.
,
Jorge de la Calleja M.
,
Laura Zacatzontetl H. Marilú Zacatelco P.
.
lanmr 2020
:
131-141
[doi]
An Ontology-based Approach to Describe Collaborative Work by Reusing and Enriching Data From an Institutional Repository
María Auxilio Medina Nieto
,
Delia Arrieta Díaz
,
Jorge de la Calleja Mora
,
Laura Zacatzontetl Hernández
,
Marilú Zacatelco Pérez
.
lanmr 2020
:
129-139
[doi]
Preface
Pilar Pozos Parra
,
José Raymundo Marcial-Romero
.
lanmr 2020
:
1-2
[doi]
Weighted Complete Graphs for Condensing Data
Angélica Guzmán Ponce
,
José Raymundo Marcial-Romero
,
Rosa María Valdovinos Rosas
,
J. Salvador Sánchez 0001
.
lanmr 2020
:
45-60
[doi]
Gradual typing using union typing with records
Karla Rami'rez Pulido
,
Jorge Luis Ortega-Arjona
,
Lourdes Del Carmen González-Huesca
.
lanmr 2020
:
24-36
[doi]
Gradual Typing Using Union Typing With Records
Karla Ramírez Pulido
,
Jorge Luis Ortega-Arjona
,
Lourdes Del Carmen González-Huesca
.
lanmr 2020
:
171-186
[doi]
3 based on maximal theories
Miguel Pérez-Gaspar
,
Everardo Bárcenas
.
lanmr 2020
:
119-130
[doi]
Deep learning: concepts and implementation tools
Eddy Sánchez-Delacruz
,
David Lara Alabazares
.
lanmr 2020
:
142-149
[doi]
2018
Craig interpolation on the logic of knowledge
Everardo Bárcenas
,
José de Jesús Lavalle-Martínez
,
Guillermo Molero-Castillo
,
Alejandro Velázquez-Mena
.
lanmr 2018
:
15-24
[doi]
A tableaux method for term logic
José Martín Castro-Manzano
.
lanmr 2018
:
1-14
[doi]
On combining numerical optimization techniques with a belief merging approach
Oscar Chávez-Bosquez
,
Pilar Pozos Parra
,
Betania Hernández-Ocaña
.
lanmr 2018
:
51-62
[doi]
A history and reversibility for quantum programming language QML
Nely Plata César
,
José Raymundo Marcial-Romero
,
José Antonio Hernández Servín
.
lanmr 2018
:
25-39
[doi]
Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic
Jaime Díaz
,
José Luis Carballido
,
Mauricio Osorio 0001
,
Claudia Zepeda
.
lanmr 2018
:
127-137
[doi]
Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018
Mauricio Javier Osorio Galindo
,
José Raymundo Marcial-Romero
,
Claudia Zepeda Cortés
,
Pilar Pozos Parra
, editors,
Volume 2264 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2018.
[doi]
Knowledge representation of passages type TOEFL
Meliza Contreras González
,
Mireya Tovar Vidal
,
Guillermo De Ita Luna
.
lanmr 2018
:
88-100
[doi]
A novel heuristic for the coloring of planar graphs
Guillermo De Ita
,
Cristina López-Ramírez
,
Adriana C. Luna
.
lanmr 2018
:
63-75
[doi]
The computation of #2SAT by a fixed-parameter tractable algorithm
Guillermo De Ita
,
Pedro Bello
,
Miguel Rodríguez
.
lanmr 2018
:
101-113
[doi]
Model counting for #2SAT problem in outerplanar graphs
Marco A. López
,
José Raymundo Marcial-Romero
,
José A. Hernández
,
Guillermo De Ita
.
lanmr 2018
:
76-87
[doi]
Implication and biconditional in some three-valued logics
Verónica Borja Macías
,
Alejandro Hernández-Tello
.
lanmr 2018
:
114-126
[doi]
Machine learning-based classification for diagnosis of neurodegenerative diseases
Eddy Sánchez-Delacruz
,
Pilar Pozos Parra
.
lanmr 2018
:
40-50
[doi]
2016
Query reasoning on data trees with counting
Everardo Bárcenas
,
Edgard Benítez-Guerrero
,
Jesús Lavalle
.
lanmr 2016
:
33-40
[doi]
On the development of a logic calculator: a novel tool to perform logical operations
Oscar Chávez-Bosquez
,
Pilar Pozos Parra
,
Kevin McAreavey
.
lanmr 2016
:
9-16
[doi]
A method to verify a path planning by a back-propagation articial neural network
Aldo-Francisco Contreras-González
,
José-Isidro Hernández-Vega
,
C. Hernández-Santos
,
Dolores-Gabriela Palomares-Gorham
.
lanmr 2016
:
98-105
[doi]
Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016
Mauricio Javier Osorio Galindo
,
José Raymundo Marcial-Romero
,
Claudia Zepeda Cortés
,
Iván Olmos Pineda
, editors,
Volume 1659 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2016.
[doi]
Edge detection for facial expression recognition
Jesús García-Ramírez
,
Iván Olmos Pineda
,
J. Arturo Olvera-López
,
Manuel Martín Ortiz
.
lanmr 2016
:
66-73
[doi]
Computing the clique-width of cactus graphs
J. Leonardo González-Ruiz
,
José Raymundo Marcial-Romero
,
J. A. Hernández
.
lanmr 2016
:
17-24
[doi]
Evolutionary bacterial foraging algorithm to solve constraint numerical optimization problems
Betania Hernández-Ocaña
,
Efrén Mezura-Montes
,
Maria del Pilar Pozos Parra
.
lanmr 2016
:
58-65
[doi]
The incremental satisfiability problem for a two conjunctive normal form
Guillermo De Ita Luna
,
José Raymundo Marcial-Romero
,
J. A. Hernández
.
lanmr 2016
:
25-32
[doi]
3
Verónica Borja Macías
,
Miguel Pérez-Gaspar
.
lanmr 2016
:
1-8
[doi]
Urban land use planning using answer set programming - preliminary report -
Jennifer Muñoz
,
Flavio Everardo
.
lanmr 2016
:
82-89
[doi]
Characterizing stage argumentation semantics based on stable abducible semantics
Mauricio Osorio
,
José Luis Carballido
,
Claudia Zepeda
.
lanmr 2016
:
41-49
[doi]
A simplied feature vector obtained by wavelets method for fast and accurate recognition of handwritten characters off-line
Carlos Ramírez Piña
,
Vianney Muñoz-Jiménez
,
Rosa María Valdovinos Rosas
,
José Antonio Hernández Servín
.
lanmr 2016
:
90-97
[doi]
Creating color fashion trends through autonomous behavior using multi-agent Systems
Marco A. Ramos
,
Vianney Muñoz-Jiménez
,
Rodrigo Vidal
,
Erick Castellanos
,
Félix Ramos
.
lanmr 2016
:
74-81
[doi]
Selected Papers of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016
José R. Arrazola Ramírez
,
José Raymundo Marcial-Romero
, editors,
Volume 328 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2016.
[doi]
A Multiple classifier system for fast an accurate learning in neural network context
E. F. Romero
,
Rosa Maria Valdovinos
,
José Raymundo Marcial-Romero
,
Jesús Ariel Carrasco-Ochoa
.
lanmr 2016
:
50-57
[doi]
2015
Selected Papers of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2014, Valle de Bravo, Mexico, November 5-7, 2014
Juan Carlos Nieves
,
José Raymundo Marcial-Romero
, editors,
Volume 315 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2015.
[doi]
2014
Knowledge Representation for Development of Collaborative Applications
Mario Anzures-García
,
Luz A. Sánchez-Gálvez
,
Miguel J. Hornos
,
Patricia Paderewski
.
lanmr 2014
:
1-9
[doi]
Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014
Juan Carlos Acosta Guadarrama
, editor,
Volume 1287 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2014.
[doi]
How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning
Edward Hermann Haeusler
.
lanmr 2014
:
1-12
[doi]
Counting Falsifying Assignments of Conjunctive Forms Using Binary Patterns
Guillermo De Ita Luna
,
José Raymundo Marcial-Romero
,
Pilar Pozos Parra
.
lanmr 2014
:
1-10
[doi]
Revisiting C1
Mauricio Osorio
,
José Luis Carballido
,
Claudia Zepeda
.
lanmr 2014
:
1-8
[doi]
Computing Semi-Stable Semantics of AF by 0-1 Integer Programming
Mauricio Osorio
,
Juan Diaz
,
Alejandro Santoyo
.
lanmr 2014
:
1-10
[doi]
A Single Proof of Classical Behaviour in Da Costa's Cn Systems
Mauricio Osorio
,
Jose Abel Castellanos Joo
.
lanmr 2014
:
1-7
[doi]
Low - exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs
José Antonio Hernández Servín
,
José Raymundo Marcial-Romero
,
Guillermo De Ita Luna
.
lanmr 2014
:
1-8
[doi]
Identification of Ontological Relations Using Formal Concept Analysis
Mireya Tovar Vidal
,
David Pinto
,
Azucena Montes
,
Gabriel González Serna
,
Darnes Vilarino Ayala
.
lanmr 2014
:
1-9
[doi]
2012
Unified Perception-Prediction Model for Cognitive Agents
Sergio Arzola
,
Claudia Zepeda
.
lanmr 2012
:
145-148
[doi]
Ontology-based Translators: The new generation
Francisco Edgar Castillo-Barrera
.
lanmr 2012
:
149-155
[doi]
Formal Properties of Intentional Reasoning
José Martín Castro-Manzano
.
lanmr 2012
:
31-40
[doi]
Self-checking Logical Agents
Stefania Costantini
.
lanmr 2012
:
3-30
[doi]
Towards a Unified Framework for Declarative Knowledge-Change - Principles and Consistency
Juan Carlos Acosta Guadarrama
.
lanmr 2012
:
51-62
[doi]
Edge covering of acyclic graphs
J. A. Hernández
,
José Raymundo Marcial-Romero
,
Guillermo De Ita Luna
.
lanmr 2012
:
63-74
[doi]
Ozone Pollution Forecast based on Neural Networks and Decision Trees
Nahun Loya
,
Ivan Olmos
.
lanmr 2012
:
137-144
[doi]
Job Shop Scheduling via Disjunctive Boolean Formulas
Guillermo De Ita Luna
,
Yolanda Moyao
,
Juan-Carlos Pérez
,
Josúe Pérez
.
lanmr 2012
:
41-50
[doi]
Hybrid query plan generation
Carlos-Manuel López-Enríquez
,
Genoveva Vargas-Solar
,
José-Luis Zechinelli-Martini
,
Christine Collet
.
lanmr 2012
:
117-128
[doi]
Detection of inconsistencies in knowledge bases for emission of foreign judgments
Pedro Bello López
,
Jose Andrés Vazquez Flores
,
Meliza Contreras González
,
Marco Rodríguez Herníndez
.
lanmr 2012
:
101-108
[doi]
A practical approach to model classification schemes with OWL ontologies
Ma. Auxilio Medina
,
J. Alfredo Sánchez
,
Jorge de la Calleja
,
Antonio Benitez
.
lanmr 2012
:
75-88
[doi]
An analysis of the state of the art of algorithms applied to BPP
Joaquín Pérez Ortega
,
Hilda Castillo Zacatelco
,
Rafael de la Rosa Flores
.
lanmr 2012
:
89-100
[doi]
Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, México, D.F., September 10-11, 2012
Mauricio Osorio
,
Claudia Zepeda
,
Ivan Olmos
,
José Luis Carballido
,
R. Carolina Medina Ramírez
, editors,
Volume 911 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2012.
[doi]
Decision Analysis with Logic and Mathematical Programming
Mauricio Osorio
,
Alejandro Santoyo
.
lanmr 2012
:
109-116
[doi]
A general framework for representing preferences
Claudia Zepeda
,
José Luis Carballido
,
Sergio Arzola
.
lanmr 2012
:
129-136
[doi]
2011
Modeling and Encoding Automated Planning Problems with the P-stable Semantics
Sergio Arzola
,
Claudia Zepeda
.
lanmr 2011
:
45-56
[doi]
Knowledge Capitalization in a Component-Based Software Factory: a Semantic Viewpoint
Francisco Edgar Castillo-Barrera
,
R. Carolina Medina Ramírez
,
Hector A. Duran-Limon
.
lanmr 2011
:
105-114
[doi]
Intentional Reasoning as Non-monotonic Reasoning
José Martín Castro-Manzano
,
Axel Arturo Barceló-Aspeitia
,
Alejandro Guerra-Hernández
.
lanmr 2011
:
23-34
[doi]
An Introduction to Belief Revision and Knowledge Representation with 2CNF
Meliza Contreras
,
Miguel Rodríguez
,
Pedro Bello
,
Bárbara M. González
.
lanmr 2011
:
13-22
[doi]
Defining and Maintaining Agent's Experience in Logical Agents
Stefania Costantini
.
lanmr 2011
:
151-165
[doi]
Logic, Linguistics and Connectionism An Exercise of Translation of Optimality Theory Constraints into Logic
Teresita de Jesús Mijangos Martínez
.
lanmr 2011
:
83-94
[doi]
SDCA: System to Detect Cancerous Abnormalities
Eddy Sánchez de la Cruz
,
Homero Alpuín-Jiménez
,
Humberto de Jesús Ochoa Domínguez
,
Pilar Pozos Parra
.
lanmr 2011
:
115-122
[doi]
Towards a Logic-programming System to Debug ASP Knowledge Bases
Juan Carlos Acosta Guadarrama
.
lanmr 2011
:
3-12
[doi]
A Note for Parametric Complexity of #2SAT
Guillermo De Ita Luna
,
Fernando Zacarías Flores
,
Alejandro Rangel-Huerta
.
lanmr 2011
:
95-104
[doi]
A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT
José Raymundo Marcial-Romero
,
Alejandra Y. Lucatero
,
J. A. Hernández
.
lanmr 2011
:
71-82
[doi]
Ontology-based Descriptions of Image Collections
Ma. Auxilio Medina
,
J. Alfredo Sánchez
,
Jorge de la Calleja
,
Antonio Benitez
.
lanmr 2011
:
133-140
[doi]
Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011
Mauricio Osorio
,
Claudia Zepeda
,
Ivan Olmos
,
José Luis Carballido
,
José Arrazola
,
Carolina Medina
, editors,
Volume 804 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2011.
[doi]
The Stable Abducible Argumentation Semantics
Mauricio Osorio
,
Juan Carlos Nieves
,
José Luis Carballido
.
lanmr 2011
:
57-68
[doi]
Robot Platform Motion Planning using Answer Set Programming
Julian J. Portillo
,
Carmen L. Garcia-Mata
,
Pedro R. Márquez-Gutiérrez
,
Rogelio Baray-Arana
.
lanmr 2011
:
35-44
[doi]
A Logical Approach for Melodic Variations
Flavio Omar Everardo Pérez
.
lanmr 2011
:
141-150
[doi]
Formal Language and Reasoning for Playing Go
Arturo Yee Rendón
,
Matías Alvarado
.
lanmr 2011
:
125-132
[doi]
2009
Implementing the p-stable semantics
Angel Marín George
,
Claudia Zepeda Cortés
.
lanmr 2009
:
90-106
[doi]
Structured Motifs Recognition in DNA sequences
Yuridia P. Mejia
,
Ivan Olmos
,
Jesus A. Gonzalez
.
lanmr 2009
:
172-182
[doi]
Sign in
or
sign up
to see more results.