|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | José Martín Castro-Manzano |
Tableaux for Murphree's numerical term logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 1-12, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 131-141, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 150-158, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Mauricio Osorio 0001, Daniela Hernández-Grijalva, Alejandro Hernández-Tello |
Methodology to represent functions in logic BL⊃. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 49-60, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 159-168, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Mauricio Osorio 0001, Claudia Zepeda |
Three new genuine five-valued logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 84-96, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 37-48, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Miguel Pérez-Gaspar, Everardo Bárcenas |
Completeness for the paraconsistent logic CG'3 based on maximal theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 119-130, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Eddy Sánchez-Delacruz, David Lara Alabazares |
Deep learning: concepts and implementation tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 142-149, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 106-118, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita Luna |
Cognitive relations for argumentative texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 97-105, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Javier Gomez |
Consistency checking of attention aware systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 13-23, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Flavio Everardo, Mauricio Osorio 0001 |
Towards an answer set programming methodology for constructing programs following a semi-automatic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 61-72, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Mauricio Osorio 0001, José Luis Carballido |
An extension of the stable semantics via Lukasiewicz logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 73-83, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019., pp. 24-36, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | José Martín Castro-Manzano |
A tableaux method for term logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018., pp. 1-14, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018., pp. 101-113, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018., pp. 63-75, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018., pp. 15-24, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018., pp. 127-137, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018., pp. 25-39, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018., pp. 76-87, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018., pp. 51-62, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita Luna |
Knowledge representation of passages type TOEFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018., pp. 88-100, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Verónica Borja Macías, Alejandro Hernández-Tello |
Implication and biconditional in some three-valued logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018., pp. 114-126, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Eddy Sánchez-Delacruz, Pilar Pozos Parra |
Machine learning-based classification for diagnosis of neurodegenerative diseases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018., pp. 40-50, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Jennifer Muñoz, Flavio Everardo |
Urban land use planning using answer set programming - preliminary report -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016., pp. 82-89, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle |
Query reasoning on data trees with counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016., pp. 33-40, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016., pp. 50-57, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016., pp. 90-97, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016., pp. 74-81, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016., pp. 66-73, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016., pp. 25-32, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Verónica Borja Macías, Miguel Pérez-Gaspar |
Kripke-type semantics for G'3 and CG'3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016., pp. 1-8, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda |
Characterizing stage argumentation semantics based on stable abducible semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016., pp. 41-49, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016., pp. 98-105, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016., pp. 17-24, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016., pp. 58-65, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016., pp. 9-16, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014., pp. 1-9, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014., pp. 1-9, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014., pp. 1-8, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014., pp. 1-10, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014., pp. 1-10, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014., pp. 1-12, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Mauricio Osorio 0001, José Abel Castellanos Joo |
A Single Proof of Classical Behaviour in Da Costa's Cn Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014., pp. 1-7, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda |
Revisiting C1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMR ![In: Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014., pp. 1-8, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
Displaying result #1 - #51 of 51 (100 per page; Change: )
|
|