The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "LANMR"( http://dblp.L3S.de/Venues/LANMR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/lanmr

Publication years (Num. hits)
2014 (9) 2016 (14) 2018 (12) 2019 (15) 2020 (1)
Publication types (Num. hits)
inproceedings(47) proceedings(4)
Venues (Conferences, Journals, ...)
LANMR(51)
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
1Mauricio 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. Search on Bibsonomy LANMR The full citation details ... 2020 DBLP  BibTeX  RDF
1José Martín Castro-Manzano Tableaux for Murphree's numerical term logic. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marí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. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1Omar García-González, Ivan E. Villalon-Turrubiates, Pilar Pozos Parra Big data techniques to discover kidney problems at early stages: a prospective study. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Daniela Hernández-Grijalva, Alejandro Hernández-Tello Methodology to represent functions in logic BL⊃. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín Measurements in quantum programming language QML. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda Three new genuine five-valued logics. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio Paracomplete logics which are dual to the paraconsistent logics L3A and L3B. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1Miguel Pérez-Gaspar, Everardo Bárcenas Completeness for the paraconsistent logic CG'3 based on maximal theories. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1Eddy Sánchez-Delacruz, David Lara Alabazares Deep learning: concepts and implementation tools. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo On interactive proof-search for constructive modal necessity. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita Luna Cognitive relations for argumentative texts. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Javier Gomez Consistency checking of attention aware systems. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1Flavio Everardo, Mauricio Osorio 0001 Towards an answer set programming methodology for constructing programs following a semi-automatic approach. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, José Luis Carballido An extension of the stable semantics via Lukasiewicz logic. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca Gradual typing using union typing with records. Search on Bibsonomy LANMR The full citation details ... 2019 DBLP  BibTeX  RDF
1José Martín Castro-Manzano A tableaux method for term logic. Search on Bibsonomy LANMR The full citation details ... 2018 DBLP  BibTeX  RDF
1Guillermo De Ita, Pedro Bello 0001, Miguel Rodríguez 0001 The computation of #2SAT by a fixed-parameter tractable algorithm. Search on Bibsonomy LANMR The full citation details ... 2018 DBLP  BibTeX  RDF
1Guillermo De Ita, Cristina López-Ramírez, Adriana C. Luna A novel heuristic for the coloring of planar graphs. Search on Bibsonomy LANMR The full citation details ... 2018 DBLP  BibTeX  RDF
1Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena Craig interpolation on the logic of knowledge. Search on Bibsonomy LANMR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jaime Díaz, José Luis Carballido, Mauricio Osorio 0001, Claudia Zepeda Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic. Search on Bibsonomy LANMR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín A history and reversibility for quantum programming language QML. Search on Bibsonomy LANMR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marco 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. Search on Bibsonomy LANMR The full citation details ... 2018 DBLP  BibTeX  RDF
1Oscar Chávez-Bosquez, Pilar Pozos Parra, Betania Hernández-Ocaña On combining numerical optimization techniques with a belief merging approach. Search on Bibsonomy LANMR The full citation details ... 2018 DBLP  BibTeX  RDF
1Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita Luna Knowledge representation of passages type TOEFL. Search on Bibsonomy LANMR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mauricio 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. Search on Bibsonomy LANMR The full citation details ... 2018 DBLP  BibTeX  RDF
1Verónica Borja Macías, Alejandro Hernández-Tello Implication and biconditional in some three-valued logics. Search on Bibsonomy LANMR The full citation details ... 2018 DBLP  BibTeX  RDF
1Eddy Sánchez-Delacruz, Pilar Pozos Parra Machine learning-based classification for diagnosis of neurodegenerative diseases. Search on Bibsonomy LANMR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jennifer Muñoz, Flavio Everardo Urban land use planning using answer set programming - preliminary report -. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle Query reasoning on data trees with counting. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Elias 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. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Carlos 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. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Marco 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. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jesús García-Ramírez, Iván Olmos Pineda, J. Arturo Olvera-López, Manuel Martín Ortiz Edge detection for facial expression recognition. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín The incremental satisfiability problem for a two conjunctive normal form. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Verónica Borja Macías, Miguel Pérez-Gaspar Kripke-type semantics for G'3 and CG'3. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda Characterizing stage argumentation semantics based on stable abducible semantics. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Aldo-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. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín Computing the clique-width of cactus graphs. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Betania Hernández-Ocaña, Efrén Mezura-Montes, Maria del Pilar Pozos Parra Evolutionary bacterial foraging algorithm to solve constraint numerical optimization problems. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mauricio 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. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Oscar Chávez-Bosquez, Pilar Pozos Parra, Kevin McAreavey On the development of a logic calculator: a novel tool to perform logical operations. Search on Bibsonomy LANMR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mireya Tovar Vidal, David Pinto 0001, Azucena Montes, Gabriel González Serna, Darnes Vilariño Ayala Identification of Ontological Relations Using Formal Concept Analysis. Search on Bibsonomy LANMR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski Knowledge Representation for Development of Collaborative Applications. Search on Bibsonomy LANMR The full citation details ... 2014 DBLP  BibTeX  RDF
1Juan 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. Search on Bibsonomy LANMR The full citation details ... 2014 DBLP  BibTeX  RDF
1José 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. Search on Bibsonomy LANMR The full citation details ... 2014 DBLP  BibTeX  RDF
1Guillermo De Ita Luna, José Raymundo Marcial-Romero, Pilar Pozos Parra Counting Falsifying Assignments of Conjunctive Forms Using Binary Patterns. Search on Bibsonomy LANMR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Juan Díaz 0002, Alejandro Santoyo Computing Semi-Stable Semantics of AF by 0-1 Integer Programming. Search on Bibsonomy LANMR The full citation details ... 2014 DBLP  BibTeX  RDF
1Edward 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. Search on Bibsonomy LANMR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, José Abel Castellanos Joo A Single Proof of Classical Behaviour in Da Costa's Cn Systems. Search on Bibsonomy LANMR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda Revisiting C1. Search on Bibsonomy LANMR The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #1 - #51 of 51 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license