|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 51 publication records. Showing 51 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Pilar Pozos Parra (eds.) |
Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019.  |
LANMR  |
2020 |
DBLP BibTeX RDF |
|
| 1 | José Martín Castro-Manzano |
Tableaux for Murphree's numerical term logic. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | 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. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | 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. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio 0001, Daniela Hernández-Grijalva, Alejandro Hernández-Tello |
Methodology to represent functions in logic BL⊃. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín |
Measurements in quantum programming language QML. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio 0001, Claudia Zepeda |
Three new genuine five-valued logics. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio |
Paracomplete logics which are dual to the paraconsistent logics L3A and L3B. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Miguel Pérez-Gaspar, Everardo Bárcenas |
Completeness for the paraconsistent logic CG'3 based on maximal theories. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Eddy Sánchez-Delacruz, David Lara Alabazares |
Deep learning: concepts and implementation tools. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo |
On interactive proof-search for constructive modal necessity. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita Luna |
Cognitive relations for argumentative texts. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Javier Gomez |
Consistency checking of attention aware systems. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Flavio Everardo, Mauricio Osorio 0001 |
Towards an answer set programming methodology for constructing programs following a semi-automatic approach. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio 0001, José Luis Carballido |
An extension of the stable semantics via Lukasiewicz logic. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca |
Gradual typing using union typing with records. |
LANMR |
2019 |
DBLP BibTeX RDF |
|
| 1 | José Martín Castro-Manzano |
A tableaux method for term logic. |
LANMR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Guillermo De Ita, Pedro Bello 0001, Miguel Rodríguez 0001 |
The computation of #2SAT by a fixed-parameter tractable algorithm. |
LANMR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Guillermo De Ita, Cristina López-Ramírez, Adriana C. Luna |
A novel heuristic for the coloring of planar graphs. |
LANMR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena |
Craig interpolation on the logic of knowledge. |
LANMR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Jaime Díaz, José Luis Carballido, Mauricio Osorio 0001, Claudia Zepeda |
Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic. |
LANMR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín |
A history and reversibility for quantum programming language QML. |
LANMR |
2018 |
DBLP BibTeX RDF |
|
| 1 | 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. |
LANMR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Oscar Chávez-Bosquez, Pilar Pozos Parra, Betania Hernández-Ocaña |
On combining numerical optimization techniques with a belief merging approach. |
LANMR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita Luna |
Knowledge representation of passages type TOEFL. |
LANMR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Pilar Pozos Parra (eds.) |
Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018. |
LANMR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Verónica Borja Macías, Alejandro Hernández-Tello |
Implication and biconditional in some three-valued logics. |
LANMR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Eddy Sánchez-Delacruz, Pilar Pozos Parra |
Machine learning-based classification for diagnosis of neurodegenerative diseases. |
LANMR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Jennifer Muñoz, Flavio Everardo |
Urban land use planning using answer set programming - preliminary report -. |
LANMR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle |
Query reasoning on data trees with counting. |
LANMR |
2016 |
DBLP BibTeX RDF |
|
| 1 | 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. |
LANMR |
2016 |
DBLP BibTeX RDF |
|
| 1 | 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. |
LANMR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Marco A. Ramos 0001, Vianney Muñoz-Jiménez, Rodrigo Vidal, Erick Castellanos, Félix Ramos 0001 |
Creating color fashion trends through autonomous behavior using multi-agent Systems. |
LANMR |
2016 |
DBLP BibTeX RDF |
|
| 1 | 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. |
LANMR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín |
The incremental satisfiability problem for a two conjunctive normal form. |
LANMR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Verónica Borja Macías, Miguel Pérez-Gaspar |
Kripke-type semantics for G'3 and CG'3. |
LANMR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda |
Characterizing stage argumentation semantics based on stable abducible semantics. |
LANMR |
2016 |
DBLP BibTeX RDF |
|
| 1 | 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. |
LANMR |
2016 |
DBLP BibTeX RDF |
|
| 1 | J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín |
Computing the clique-width of cactus graphs. |
LANMR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Betania Hernández-Ocaña, Efrén Mezura-Montes, Maria del Pilar Pozos Parra |
Evolutionary bacterial foraging algorithm to solve constraint numerical optimization problems. |
LANMR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Iván Olmos Pineda (eds.) |
Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016. |
LANMR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Oscar Chávez-Bosquez, Pilar Pozos Parra, Kevin McAreavey |
On the development of a logic calculator: a novel tool to perform logical operations. |
LANMR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Mireya Tovar Vidal, David Pinto 0001, Azucena Montes, Gabriel González Serna, Darnes Vilariño Ayala |
Identification of Ontological Relations Using Formal Concept Analysis. |
LANMR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski |
Knowledge Representation for Development of Collaborative Applications. |
LANMR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Acosta Guadarrama (eds.) |
Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014. |
LANMR |
2014 |
DBLP BibTeX RDF |
|
| 1 | José Antonio Hernández Servín, José Raymundo Marcial-Romero, Guillermo De Ita Luna |
Low - exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs. |
LANMR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Guillermo De Ita Luna, José Raymundo Marcial-Romero, Pilar Pozos Parra |
Counting Falsifying Assignments of Conjunctive Forms Using Binary Patterns. |
LANMR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio 0001, Juan Díaz 0002, Alejandro Santoyo |
Computing Semi-Stable Semantics of AF by 0-1 Integer Programming. |
LANMR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Edward Hermann Haeusler |
How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning. |
LANMR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio 0001, José Abel Castellanos Joo |
A Single Proof of Classical Behaviour in Da Costa's Cn Systems. |
LANMR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda |
Revisiting C1. |
LANMR |
2014 |
DBLP BibTeX RDF |
|
Displaying result #1 - #51 of 51 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license