Search dblp for Publications

export results for "toc:db/conf/lanmr/lanmr2018.bht:"

 download as .bib file

@inproceedings{DBLP:conf/lanmr/BarcenasLMV18,
  author       = {Everardo B{\'{a}}rcenas and
                  Jos{\'{e}} de Jes{\'{u}}s Lavalle{-}Mart{\'{\i}}nez and
                  Guillermo Molero{-}Castillo and
                  Alejandro Vel{\'{a}}zquez{-}Mena},
  editor       = {Mauricio Javier Osorio Galindo and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Claudia Zepeda Cort{\'{e}}s and
                  Pilar Pozos Parra},
  title        = {Craig interpolation on the logic of knowledge},
  booktitle    = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, Puebla, Mexico, November
                  15, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2264},
  pages        = {15--24},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2264/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/lanmr/BarcenasLMV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lanmr/Castro-Manzano18,
  author       = {Jos{\'{e}} Mart{\'{\i}}n Castro{-}Manzano},
  editor       = {Mauricio Javier Osorio Galindo and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Claudia Zepeda Cort{\'{e}}s and
                  Pilar Pozos Parra},
  title        = {A tableaux method for term logic},
  booktitle    = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, Puebla, Mexico, November
                  15, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2264},
  pages        = {1--14},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2264/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lanmr/Castro-Manzano18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lanmr/CesarMS18,
  author       = {Nely Plata C{\'{e}}sar and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n},
  editor       = {Mauricio Javier Osorio Galindo and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Claudia Zepeda Cort{\'{e}}s and
                  Pilar Pozos Parra},
  title        = {A history and reversibility for quantum programming language {QML}},
  booktitle    = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, Puebla, Mexico, November
                  15, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2264},
  pages        = {25--39},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2264/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lanmr/CesarMS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lanmr/Chavez-BosquezP18,
  author       = {Oscar Ch{\'{a}}vez{-}Bosquez and
                  Pilar Pozos Parra and
                  Betania Hern{\'{a}}ndez{-}Oca{\~{n}}a},
  editor       = {Mauricio Javier Osorio Galindo and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Claudia Zepeda Cort{\'{e}}s and
                  Pilar Pozos Parra},
  title        = {On combining numerical optimization techniques with a belief merging
                  approach},
  booktitle    = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, Puebla, Mexico, November
                  15, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2264},
  pages        = {51--62},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2264/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lanmr/Chavez-BosquezP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lanmr/DiazC0Z18,
  author       = {Jaime D{\'{\i}}az and
                  Jos{\'{e}} Luis Carballido and
                  Mauricio Osorio and
                  Claudia Zepeda},
  editor       = {Mauricio Javier Osorio Galindo and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Claudia Zepeda Cort{\'{e}}s and
                  Pilar Pozos Parra},
  title        = {Lukasiewicz' 3-valued logic can not be expressed in terms of {SP3A}
                  logic},
  booktitle    = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, Puebla, Mexico, November
                  15, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2264},
  pages        = {127--137},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2264/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lanmr/DiazC0Z18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lanmr/GonzalezVL18,
  author       = {Meliza Contreras Gonz{\'{a}}lez and
                  Mireya Tovar Vidal and
                  Guillermo De Ita Luna},
  editor       = {Mauricio Javier Osorio Galindo and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Claudia Zepeda Cort{\'{e}}s and
                  Pilar Pozos Parra},
  title        = {Knowledge representation of passages type {TOEFL}},
  booktitle    = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, Puebla, Mexico, November
                  15, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2264},
  pages        = {88--100},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2264/paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lanmr/GonzalezVL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lanmr/ItaBR18,
  author       = {Guillermo De Ita and
                  Pedro Bello and
                  Miguel Rodr{\'{\i}}guez},
  editor       = {Mauricio Javier Osorio Galindo and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Claudia Zepeda Cort{\'{e}}s and
                  Pilar Pozos Parra},
  title        = {The computation of {\#}2SAT by a fixed-parameter tractable algorithm},
  booktitle    = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, Puebla, Mexico, November
                  15, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2264},
  pages        = {101--113},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2264/paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lanmr/ItaBR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lanmr/ItaLL18,
  author       = {Guillermo De Ita and
                  Cristina L{\'{o}}pez{-}Ram{\'{\i}}rez and
                  Adriana C. Luna},
  editor       = {Mauricio Javier Osorio Galindo and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Claudia Zepeda Cort{\'{e}}s and
                  Pilar Pozos Parra},
  title        = {A novel heuristic for the coloring of planar graphs},
  booktitle    = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, Puebla, Mexico, November
                  15, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2264},
  pages        = {63--75},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2264/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lanmr/ItaLL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lanmr/LopezMHI18,
  author       = {Marco A. L{\'{o}}pez Medina and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n and
                  Guillermo De Ita},
  editor       = {Mauricio Javier Osorio Galindo and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Claudia Zepeda Cort{\'{e}}s and
                  Pilar Pozos Parra},
  title        = {Model counting for {\#}2SAT problem in outerplanar graphs},
  booktitle    = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, Puebla, Mexico, November
                  15, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2264},
  pages        = {76--87},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2264/paper7.pdf},
  timestamp    = {Wed, 21 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lanmr/LopezMHI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lanmr/MaciasH18,
  author       = {Ver{\'{o}}nica Borja Mac{\'{\i}}as and
                  Alejandro Hern{\'{a}}ndez{-}Tello},
  editor       = {Mauricio Javier Osorio Galindo and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Claudia Zepeda Cort{\'{e}}s and
                  Pilar Pozos Parra},
  title        = {Implication and biconditional in some three-valued logics},
  booktitle    = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, Puebla, Mexico, November
                  15, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2264},
  pages        = {114--126},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2264/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lanmr/MaciasH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lanmr/Sanchez-Delacruz18,
  author       = {Eddy S{\'{a}}nchez{-}Delacruz and
                  Pilar Pozos Parra},
  editor       = {Mauricio Javier Osorio Galindo and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Claudia Zepeda Cort{\'{e}}s and
                  Pilar Pozos Parra},
  title        = {Machine learning-based classification for diagnosis of neurodegenerative
                  diseases},
  booktitle    = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, Puebla, Mexico, November
                  15, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2264},
  pages        = {40--50},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2264/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lanmr/Sanchez-Delacruz18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lanmr/2018,
  editor       = {Mauricio Javier Osorio Galindo and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Claudia Zepeda Cort{\'{e}}s and
                  Pilar Pozos Parra},
  title        = {Proceedings of the Eleventh Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, Puebla, Mexico, November
                  15, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2264},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2264},
  urn          = {urn:nbn:de:0074-2264-4},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lanmr/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.