default search action
Search dblp for Publications
export results for "stream:conf/lanmr:"
@proceedings{DBLP:conf/lanmr/2019, 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 Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2585}, urn = {urn:nbn:de:0074-2585-4}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lanmr/2019s, editor = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {354}, publisher = {Elsevier}, year = {2020}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/354/suppl/C}, timestamp = {Fri, 11 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/2019s.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/0001C19, author = {Mauricio Osorio and Jos{\'{e}} Luis Carballido}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Pilar Pozos Parra}, title = {An extension of the stable semantics via Lukasiewicz logic}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {73--83}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper7.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/0001C19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/0001C19a, author = {Mauricio Osorio and Jos{\'{e}} Luis Carballido Carranza}, editor = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {An Extension of the Stable Semantics via Lukasiewicz Logic}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {354}, pages = {141--155}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2020.10.011}, doi = {10.1016/J.ENTCS.2020.10.011}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/0001C19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/0001HH19, author = {Mauricio Osorio and Daniela Hern{\'{a}}ndez{-}Grijalva 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 = {Methodology to represent functions in logic \emph{BL}\({}_{\mbox{{\(\supset\)}}}\)}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {49--60}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/0001HH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/0001Z19, author = {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 = {Three new genuine five-valued logics}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {84--96}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/0001Z19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/0001Z19a, author = {Mauricio Osorio and Claudia Zepeda}, editor = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {354}, pages = {157--170}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2020.10.012}, doi = {10.1016/J.ENTCS.2020.10.012}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/0001Z19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/BarcenasLMV19, 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 = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {A Note on Constructive Interpolation for the Multi-Modal Logic \emph{K}\({}_{\mbox{\emph{m}}}\)}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {354}, pages = {3--16}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2020.10.002}, doi = {10.1016/J.ENTCS.2020.10.002}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/BarcenasLMV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Castro-Manzano19, 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 = {Tableaux for Murphree's numerical term logic}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {1--12}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Castro-Manzano19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Castro-Manzano19a, author = {Jos{\'{e}} Mart{\'{\i}}n Castro{-}Manzano}, editor = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Murphree's Numerical Term Logic Tableaux}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {354}, pages = {17--28}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2020.10.003}, doi = {10.1016/J.ENTCS.2020.10.003}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/Castro-Manzano19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/CesarMS19, 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 = {Measurements in quantum programming language {QML}}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {159--168}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/CesarMS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Everardo019, author = {Flavio Everardo and Mauricio Osorio}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Pilar Pozos Parra}, title = {Towards an answer set programming methodology for constructing programs following a semi-automatic approach}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {61--72}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Everardo019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Everardo019a, author = {Flavio Everardo and Mauricio Osorio}, editor = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {354}, pages = {29--44}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2020.10.004}, doi = {10.1016/J.ENTCS.2020.10.004}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/Everardo019a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Garcia-Gonzalez19, author = {Omar Garc{\'{\i}}a{-}Gonz{\'{a}}lez and Ivan E. Villalon{-}Turrubiates 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 = {Big data techniques to discover kidney problems at early stages: a prospective study}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {150--158}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Garcia-Gonzalez19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/GonzalezVL19, 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 = {Cognitive relations for argumentative texts}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {97--105}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/GonzalezVL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Hernandez-Tello19, author = {Alejandro Hern{\'{a}}ndez{-}Tello and Ver{\'{o}}nica Borja Mac{\'{\i}}as and Marcelo E. Coniglio}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Pilar Pozos Parra}, title = {Paracomplete logics which are dual to the paraconsistent logics \emph{L3A} and \emph{L3B}}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {37--48}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Hernandez-Tello19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Hernandez-Tello19a, author = {Alejandro Hern{\'{a}}ndez{-}Tello and Ver{\'{o}}nica Borja Mac{\'{\i}}as and Marcelo E. Coniglio}, editor = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {354}, pages = {61--74}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2020.10.006}, doi = {10.1016/J.ENTCS.2020.10.006}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/Hernandez-Tello19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/LimonBBG19, author = {Yensen Lim{\'{o}}n and Everardo B{\'{a}}rcenas and Edgard Ben{\'{\i}}tez{-}Guerrero and Javier Gomez}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Pilar Pozos Parra}, title = {Consistency checking of attention aware systems}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {13--23}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/LimonBBG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Lopez-RamirezGL19, author = {Cristina L{\'{o}}pez{-}Ram{\'{\i}}rez and Jorge Eduardo Guti{\'{e}}rrez{-}G{\'{o}}mez and Guillermo De Ita Luna}, editor = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {354}, pages = {75--89}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2020.10.007}, doi = {10.1016/J.ENTCS.2020.10.007}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/Lopez-RamirezGL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/LunaLIG19, author = {Guillermo De Ita Luna and Cristina L{\'{o}}pez{-}Ram{\'{\i}}rez and Ana E. De Ita{-}Varela and Jorge Eduardo Guti{\'{e}}rrez{-}G{\'{o}}mez}, editor = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {A Heuristic for the Coloring of Planar Graphs}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {354}, pages = {91--105}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2020.10.008}, doi = {10.1016/J.ENTCS.2020.10.008}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/LunaLIG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Miranda-PereaGL19, author = {Favio Ezequiel Miranda{-}Perea and Lourdes Del Carmen Gonz{\'{a}}lez{-}Huesca and P. Selene Linares{-}Ar{\'{e}}valo}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Pilar Pozos Parra}, title = {On interactive proof-search for constructive modal necessity}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {106--118}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper10.pdf}, timestamp = {Thu, 27 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/Miranda-PereaGL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Miranda-PereaGL19a, author = {Favio Ezequiel Miranda{-}Perea and Lourdes Del Carmen Gonz{\'{a}}lez{-}Huesca and P. Selene Linares{-}Ar{\'{e}}valo}, editor = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {On Interactive Proof-Search for Constructive Modal Necessity}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {354}, pages = {107--127}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2020.10.009}, doi = {10.1016/J.ENTCS.2020.10.009}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/Miranda-PereaGL19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/NDMP19, author = {Mar{\'{\i}}a Auxilio Medina N. and Delia Arrieta D. and Jorge de la Calleja M. and Laura Zacatzontetl Hern{\'{a}}ndez and Maril{\'{u}} Zacatelco P{\'{e}}rez}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Pilar Pozos Parra}, title = {An ontology-based approach to describe collaborative work by reusing and enriching data from an institutional repository}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {131--141}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/NDMP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/NietoDMHP19, author = {Mar{\'{\i}}a Auxilio {Medina Nieto} and Delia Arrieta D{\'{\i}}az and Jorge de la Calleja Mora and Laura Zacatzontetl Hern{\'{a}}ndez and Maril{\'{u}} Zacatelco P{\'{e}}rez}, editor = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {An Ontology-based Approach to Describe Collaborative Work by Reusing and Enriching Data From an Institutional Repository}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {354}, pages = {129--139}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2020.10.010}, doi = {10.1016/J.ENTCS.2020.10.010}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/NietoDMHP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/ParraM19, author = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, editor = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Preface}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {354}, pages = {1--2}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2020.10.001}, doi = {10.1016/J.ENTCS.2020.10.001}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/ParraM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Perez-GasparB19, author = {Miguel P{\'{e}}rez{-}Gaspar and Everardo B{\'{a}}rcenas}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Pilar Pozos Parra}, title = {Completeness for the paraconsistent logic CG\({}^{\mbox{'}}\)\({}_{\mbox{3}}\) based on maximal theories}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {119--130}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Perez-GasparB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/PonceMR019, author = {Ang{\'{e}}lica Guzm{\'{a}}n Ponce and Jos{\'{e}} Raymundo Marcial{-}Romero and Rosa Mar{\'{\i}}a Valdovinos Rosas and J. Salvador S{\'{a}}nchez}, editor = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Weighted Complete Graphs for Condensing Data}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {354}, pages = {45--60}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2020.10.005}, doi = {10.1016/J.ENTCS.2020.10.005}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/PonceMR019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/PulidoOG19, author = {Karla Ram{\'{\i}}rez Pulido and Jorge Luis Ortega{-}Arjona and Lourdes Del Carmen Gonz{\'{a}}lez{-}Huesca}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Pilar Pozos Parra}, title = {Gradual typing using union typing with records}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {24--36}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/PulidoOG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/PulidoOG19a, author = {Karla Ram{\'{\i}}rez Pulido and Jorge Luis Ortega{-}Arjona and Lourdes Del Carmen Gonz{\'{a}}lez{-}Huesca}, editor = {Pilar Pozos Parra and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Gradual Typing Using Union Typing With Records}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {354}, pages = {171--186}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2020.10.013}, doi = {10.1016/J.ENTCS.2020.10.013}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/PulidoOG19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Sanchez-Delacruz19, author = {Eddy S{\'{a}}nchez{-}Delacruz and David Lara Alabazares}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Pilar Pozos Parra}, title = {Deep learning: concepts and implementation tools}, booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, pages = {142--149}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2585/paper13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Sanchez-Delacruz19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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} }
@inproceedings{DBLP:conf/lanmr/BarcenasBL16, author = {Everardo B{\'{a}}rcenas and Edgard Ben{\'{\i}}tez{-}Guerrero and Jes{\'{u}}s Lavalle}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Iv{\'{a}}n Olmos Pineda}, title = {Query reasoning on data trees with counting}, booktitle = {Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1659}, pages = {33--40}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1659/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/BarcenasBL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Chavez-BosquezP16, author = {Oscar Ch{\'{a}}vez{-}Bosquez and Pilar Pozos Parra and Kevin McAreavey}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Iv{\'{a}}n Olmos Pineda}, title = {On the development of a logic calculator: a novel tool to perform logical operations}, booktitle = {Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1659}, pages = {9--16}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1659/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Chavez-BosquezP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Contreras-Gonzalez16, author = {Aldo{-}Francisco Contreras{-}Gonz{\'{a}}lez and Jos{\'{e}}{-}Isidro Hern{\'{a}}ndez{-}Vega and Carlos Hern{\'{a}}ndez{-}Santos and Dolores{-}Gabriela Palomares{-}Gorham}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Iv{\'{a}}n Olmos Pineda}, title = {A method to verify a path planning by a back-propagation articial neural network}, booktitle = {Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1659}, pages = {98--105}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1659/paper13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Contreras-Gonzalez16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Garcia-RamirezP16, author = {Jes{\'{u}}s Garc{\'{\i}}a{-}Ram{\'{\i}}rez and Iv{\'{a}}n Olmos Pineda and J. Arturo Olvera{-}L{\'{o}}pez and Manuel Mart{\'{\i}}n Ortiz}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Iv{\'{a}}n Olmos Pineda}, title = {Edge detection for facial expression recognition}, booktitle = {Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1659}, pages = {66--73}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1659/paper9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Garcia-RamirezP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Gonzalez-RuizMH16, author = {J. Leonardo Gonz{\'{a}}lez{-}Ruiz 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 Iv{\'{a}}n Olmos Pineda}, title = {Computing the clique-width of cactus graphs}, booktitle = {Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1659}, pages = {17--24}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1659/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Gonzalez-RuizMH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Hernandez-Ocana16, author = {Betania Hern{\'{a}}ndez{-}Oca{\~{n}}a and Efr{\'{e}}n Mezura{-}Montes and Maria del Pilar Pozos Parra}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Iv{\'{a}}n Olmos Pineda}, title = {Evolutionary bacterial foraging algorithm to solve constraint numerical optimization problems}, booktitle = {Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1659}, pages = {58--65}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1659/paper8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Hernandez-Ocana16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/LunaMH16, author = {Guillermo De Ita Luna 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 Iv{\'{a}}n Olmos Pineda}, title = {The incremental satisfiability problem for a two conjunctive normal form}, booktitle = {Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1659}, pages = {25--32}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1659/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/LunaMH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/MaciasP16, author = {Ver{\'{o}}nica Borja Mac{\'{\i}}as and Miguel P{\'{e}}rez{-}Gaspar}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Iv{\'{a}}n Olmos Pineda}, title = {Kripke-type semantics for G'\({}_{\mbox{3}}\) and CG'\({}_{\mbox{3}}\)}, booktitle = {Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1659}, pages = {1--8}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1659/paper1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/MaciasP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/MunozE16, author = {Jennifer Mu{\~{n}}oz and Flavio Everardo}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Iv{\'{a}}n Olmos Pineda}, title = {Urban land use planning using answer set programming - preliminary report -}, booktitle = {Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1659}, pages = {82--89}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1659/paper11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/MunozE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/OsorioCZ16, author = {Mauricio Osorio and Jos{\'{e}} Luis Carballido and Claudia Zepeda}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Iv{\'{a}}n Olmos Pineda}, title = {Characterizing stage argumentation semantics based on stable abducible semantics}, booktitle = {Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1659}, pages = {41--49}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1659/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/OsorioCZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/PinaMRS16, author = {Carlos Ram{\'{\i}}rez Pi{\~{n}}a and Vianney Mu{\~{n}}oz{-}Jim{\'{e}}nez and Rosa Mar{\'{\i}}a Valdovinos Rosas 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 Iv{\'{a}}n Olmos Pineda}, title = {A simplied feature vector obtained by wavelets method for fast and accurate recognition of handwritten characters off-line}, booktitle = {Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1659}, pages = {90--97}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1659/paper12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/PinaMRS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/RamosMVCR16, author = {Marco A. Ramos and Vianney Mu{\~{n}}oz{-}Jim{\'{e}}nez and Rodrigo Vidal and Erick Castellanos and F{\'{e}}lix Ramos}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Iv{\'{a}}n Olmos Pineda}, title = {Creating color fashion trends through autonomous behavior using multi-agent Systems}, booktitle = {Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1659}, pages = {74--81}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1659/paper10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/RamosMVCR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/RomeroVMC16, author = {Elias Franck Romero and Rosa Maria Valdovinos and Jos{\'{e}} Raymundo Marcial{-}Romero and Jes{\'{u}}s Ariel Carrasco{-}Ochoa}, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Iv{\'{a}}n Olmos Pineda}, title = {A Multiple classifier system for fast an accurate learning in neural network context}, booktitle = {Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1659}, pages = {50--57}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1659/paper7.pdf}, timestamp = {Thu, 15 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/RomeroVMC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BarcenasBL16, author = {Everardo B{\'{a}}rcenas and Edgard Ben{\'{\i}}tez{-}Guerrero and Jes{\'{u}}s Lavalle}, editor = {Jos{\'{e}} R. Arrazola Ram{\'{\i}}rez and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {On Regular Paths with Counting and Data Tests}, booktitle = {Selected Papers of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {328}, pages = {3--16}, publisher = {Elsevier}, year = {2016}, url = {https://doi.org/10.1016/j.entcs.2016.11.002}, doi = {10.1016/J.ENTCS.2016.11.002}, timestamp = {Thu, 10 Nov 2022 14:10:07 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BarcenasBL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Gonzalez-RuizMS16, author = {J. Leonardo Gonz{\'{a}}lez{-}Ruiz and Jos{\'{e}} Raymundo Marcial{-}Romero and Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n}, editor = {Jos{\'{e}} R. Arrazola Ram{\'{\i}}rez and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Computing the Clique-width of Cactus Graphs}, booktitle = {Selected Papers of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {328}, pages = {47--57}, publisher = {Elsevier}, year = {2016}, url = {https://doi.org/10.1016/j.entcs.2016.11.005}, doi = {10.1016/J.ENTCS.2016.11.005}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Gonzalez-RuizMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LunaMH16, author = {Guillermo De Ita Luna and Jos{\'{e}} Raymundo Marcial{-}Romero and Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n}, editor = {Jos{\'{e}} R. Arrazola Ram{\'{\i}}rez and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {The Incremental Satisfiability Problem for a Two Conjunctive Normal Form}, booktitle = {Selected Papers of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {328}, pages = {31--45}, publisher = {Elsevier}, year = {2016}, url = {https://doi.org/10.1016/j.entcs.2016.11.004}, doi = {10.1016/J.ENTCS.2016.11.004}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/LunaMH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MaciasP16, author = {Ver{\'{o}}nica Borja Mac{\'{\i}}as and Miguel P{\'{e}}rez{-}Gaspar}, editor = {Jos{\'{e}} R. Arrazola Ram{\'{\i}}rez and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Kripke-type Semantics for CG'\({}_{\mbox{3}}\)}, booktitle = {Selected Papers of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {328}, pages = {17--29}, publisher = {Elsevier}, year = {2016}, url = {https://doi.org/10.1016/j.entcs.2016.11.003}, doi = {10.1016/J.ENTCS.2016.11.003}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MaciasP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/OsorioCZ16, author = {Mauricio Osorio and Jos{\'{e}} Luis Carballido and Claudia Zepeda}, editor = {Jos{\'{e}} R. Arrazola Ram{\'{\i}}rez and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Defining Stage Argumentation Semantics in Terms of an Abducible Semantics}, booktitle = {Selected Papers of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {328}, pages = {59--71}, publisher = {Elsevier}, year = {2016}, url = {https://doi.org/10.1016/j.entcs.2016.11.006}, doi = {10.1016/J.ENTCS.2016.11.006}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/OsorioCZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RamirezM16, author = {Jos{\'{e}} R. Arrazola Ram{\'{\i}}rez and Jos{\'{e}} Raymundo Marcial{-}Romero}, editor = {Jos{\'{e}} R. Arrazola Ram{\'{\i}}rez and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Preface}, booktitle = {Selected Papers of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {328}, pages = {1--2}, publisher = {Elsevier}, year = {2016}, url = {https://doi.org/10.1016/j.entcs.2016.11.001}, doi = {10.1016/J.ENTCS.2016.11.001}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RamirezM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lanmr/2016, editor = {Mauricio Javier Osorio Galindo and Jos{\'{e}} Raymundo Marcial{-}Romero and Claudia Zepeda Cort{\'{e}}s and Iv{\'{a}}n Olmos Pineda}, title = {Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1659}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1659}, urn = {urn:nbn:de:0074-1659-2}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lanmr/2016s, editor = {Jos{\'{e}} R. Arrazola Ram{\'{\i}}rez and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Selected Papers of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico, August 15, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {328}, publisher = {Elsevier}, year = {2016}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/328/suppl/C}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/2016s.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lanmr/2014s, editor = {Juan Carlos Nieves and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {315}, publisher = {Elsevier}, year = {2015}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/315/suppl/C}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/2014s.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Anzures-GarciaSHP14, author = {Mario Anzures{-}Garc{\'{\i}}a and Luz A. S{\'{a}}nchez{-}G{\'{a}}lvez and Miguel J. Hornos and Patricia Paderewski}, editor = {Juan Carlos Acosta Guadarrama}, title = {Knowledge Representation for Development of Collaborative Applications}, booktitle = {Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1287}, pages = {1--9}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1287/preface.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Anzures-GarciaSHP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Haeusler14, author = {Edward Hermann Haeusler}, editor = {Juan Carlos Acosta Guadarrama}, title = {How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning}, booktitle = {Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1287}, pages = {1--12}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1287/lanmr2014\_paper\_3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Haeusler14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/LunaMP14, author = {Guillermo De Ita Luna and Jos{\'{e}} Raymundo Marcial{-}Romero and Pilar Pozos Parra}, editor = {Juan Carlos Acosta Guadarrama}, title = {Counting Falsifying Assignments of Conjunctive Forms Using Binary Patterns}, booktitle = {Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1287}, pages = {1--10}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1287/lanmr2014\_paper\_2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/LunaMP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/OsorioCZ14, author = {Mauricio Osorio and Jos{\'{e}} Luis Carballido and Claudia Zepeda}, editor = {Juan Carlos Acosta Guadarrama}, title = {Revisiting {C1}}, booktitle = {Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1287}, pages = {1--8}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1287/lanmr2014\_paper\_5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/OsorioCZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/OsorioDS14, author = {Mauricio Osorio and Juan D{\'{\i}}az and Alejandro Santoyo}, editor = {Juan Carlos Acosta Guadarrama}, title = {Computing Semi-Stable Semantics of {AF} by 0-1 Integer Programming}, booktitle = {Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1287}, pages = {1--10}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1287/lanmr2014\_paper\_6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/OsorioDS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/OsorioJ14, author = {Mauricio Osorio and Jos{\'{e}} Abel Castellanos Joo}, editor = {Juan Carlos Acosta Guadarrama}, title = {A Single Proof of Classical Behaviour in Da Costa's Cn Systems}, booktitle = {Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1287}, pages = {1--7}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1287/lanmr2014\_paper\_7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/OsorioJ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/ServinML14, author = {Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n and Jos{\'{e}} Raymundo Marcial{-}Romero and Guillermo De Ita Luna}, editor = {Juan Carlos Acosta Guadarrama}, title = {Low - exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs}, booktitle = {Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1287}, pages = {1--8}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1287/lanmr2014\_paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/ServinML14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/VidalPMSA14, author = {Mireya Tovar Vidal and David Pinto and Azucena Montes and Gabriel Gonz{\'{a}}lez Serna and Darnes Vilari{\~{n}}o Ayala}, editor = {Juan Carlos Acosta Guadarrama}, title = {Identification of Ontological Relations Using Formal Concept Analysis}, booktitle = {Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1287}, pages = {1--9}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1287/lanmr2014\_paper\_8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/VidalPMSA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Haeusler15, author = {Edward Hermann Haeusler}, editor = {Juan Carlos Nieves and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {315}, pages = {31--46}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/j.entcs.2015.06.004}, doi = {10.1016/J.ENTCS.2015.06.004}, timestamp = {Thu, 10 Nov 2022 14:46:10 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Haeusler15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LunaMPH15, author = {Guillermo De Ita Luna and Jos{\'{e}} Raymundo Marcial{-}Romero and Maria del Pilar Pozos Parra and Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n}, editor = {Juan Carlos Nieves and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Using Binary Patterns for Counting Falsifying Assignments of Conjunctive Forms}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {315}, pages = {17--30}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/j.entcs.2015.06.003}, doi = {10.1016/J.ENTCS.2015.06.003}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/LunaMPH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/NievesM15, author = {Juan Carlos Nieves and Jos{\'{e}} Raymundo Marcial{-}Romero}, editor = {Juan Carlos Nieves and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {Preface}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {315}, pages = {1--2}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/j.entcs.2015.06.001}, doi = {10.1016/J.ENTCS.2015.06.001}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/NievesM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/OsorioC15, author = {Mauricio Osorio and Jos{\'{e}} Abel Castellanos}, editor = {Juan Carlos Nieves and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {A Single Proof of Classical Behaviour in da Costa's C\({}_{\mbox{n}}\) Systems}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {315}, pages = {3--16}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/j.entcs.2015.06.002}, doi = {10.1016/J.ENTCS.2015.06.002}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/OsorioC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/OsorioCZ15, author = {Mauricio Osorio and Jos{\'{e}} Luis Carballido and Claudia Zepeda}, editor = {Juan Carlos Nieves and Jos{\'{e}} Raymundo Marcial{-}Romero}, title = {On Paraconsistent Extensions of C\({}_{\mbox{1}}\)}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {315}, pages = {47--60}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/j.entcs.2015.06.005}, doi = {10.1016/J.ENTCS.2015.06.005}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/OsorioCZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lanmr/2014, editor = {Juan Carlos Acosta Guadarrama}, title = {Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1287}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1287}, urn = {urn:nbn:de:0074-1287-8}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Acosta-Guadarrama12, author = {Juan Carlos Acosta Guadarrama}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {Towards a Unified Framework for Declarative Knowledge-Change - Principles and Consistency}, booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, pages = {51--62}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911/04\_LANMR12.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Acosta-Guadarrama12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/ArzolaZ12, author = {Sergio Arzola and Claudia Zepeda}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {Unified Perception-Prediction Model for Cognitive Agents}, booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, pages = {145--148}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911/13\_LANMR12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/ArzolaZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Castillo-Barrera12, author = {Francisco Edgar Castillo{-}Barrera}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {Ontology-based Translators: The new generation}, booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, pages = {149--155}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911/14\_LANMR12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Castillo-Barrera12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Castro-Manzano12, author = {Jos{\'{e}} Mart{\'{\i}}n Castro{-}Manzano}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {Formal Properties of Intentional Reasoning}, booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, pages = {31--40}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911/02\_LANMR12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Castro-Manzano12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Costantini12, author = {Stefania Costantini}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {Self-checking Logical Agents}, booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, pages = {3--30}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911/01\_LANMR12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Costantini12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/HernandezML12, author = {Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n and Jos{\'{e}} Raymundo Marcial{-}Romero and Guillermo De Ita Luna}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {Edge covering of acyclic graphs}, booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, pages = {63--74}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911/05\_LANMR12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/HernandezML12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/ItaMPP12, author = {Guillermo De Ita Luna and Yolanda Moyao and Juan Carlos P{\'{e}}rez and Jos{\'{u}}e P{\'{e}}rez}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {Job Shop Scheduling via Disjunctive Boolean Formulas}, booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, pages = {41--50}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911/03\_LANMR12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/ItaMPP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Lopez-EnriquezVZC12, author = {Carlos{-}Manuel L{\'{o}}pez{-}Enr{\'{\i}}quez and Genoveva Vargas{-}Solar and Jos{\'{e}}{-}Luis Zechinelli{-}Martini and Christine Collet}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {Hybrid query plan generation}, booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, pages = {117--128}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911/10\_LANMR12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Lopez-EnriquezVZC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/LopezFGH12, author = {Pedro Bello L{\'{o}}pez and Jos{\'{e}} Andr{\'{e}}s V{\'{a}}zquez Flores and Meliza Contreras Gonz{\'{a}}lez and Marco Rodr{\'{\i}}guez Hern{\'{\i}}ndez}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {Detection of inconsistencies in knowledge bases for emission of foreign judgments}, booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, pages = {101--108}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911/08\_LANMR12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/LopezFGH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/LoyaO12, author = {Nahun Loya and Iv{\'{a}}n Olmos}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {Ozone Pollution Forecast based on Neural Networks and Decision Trees}, booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, pages = {137--144}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911/12\_LANMR12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/LoyaO12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/MedinaSCB12, author = {Ma. Auxilio Medina and J. Alfredo S{\'{a}}nchez and Jorge de la Calleja and Antonio Ben{\'{\i}}tez}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {A practical approach to model classification schemes with {OWL} ontologies}, booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, pages = {75--88}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911/06\_LANMR12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/MedinaSCB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/OrtegaZF12, author = {Joaqu{\'{\i}}n P{\'{e}}rez Ortega and Hilda Castillo Zacatelco and Rafael de la Rosa Flores}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {An analysis of the state of the art of algorithms applied to {BPP}}, booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, pages = {89--100}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911/07\_LANMR12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/OrtegaZF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/OsorioS12, author = {Mauricio Osorio and Alejandro Santoyo}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {Decision Analysis with Logic and Mathematical Programming}, booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, pages = {109--116}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911/09\_LANMR12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/OsorioS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/ZepedaCA12, author = {Claudia Zepeda and Jos{\'{e}} Luis Carballido and Sergio Arzola}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {A general framework for representing preferences}, booktitle = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, pages = {129--136}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911/11\_LANMR12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/ZepedaCA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lanmr/2012, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and R. Carolina Medina Ram{\'{\i}}rez}, title = {Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, M{\'{e}}xico, D.F., September 10-11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {911}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-911}, urn = {urn:nbn:de:0074-911-3}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/ArzolaZ11, author = {Sergio Arzola and Claudia Zepeda}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {Modeling and Encoding Automated Planning Problems with the P-stable Semantics}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {45--56}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/05\_LANMR11.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:18 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/ArzolaZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Castillo-BarreraRD11, author = {Francisco Edgar Castillo{-}Barrera and R. Carolina Medina Ram{\'{\i}}rez and Hector A. Duran{-}Limon}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {Knowledge Capitalization in a Component-Based Software Factory: a Semantic Viewpoint}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {105--114}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/10\_LANMR11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Castillo-BarreraRD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Castro-ManzanoBG11, author = {Jos{\'{e}} Mart{\'{\i}}n Castro{-}Manzano and Axel Arturo Barcel{\'{o}}{-}Aspeitia and Alejandro Guerra{-}Hern{\'{a}}ndez}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {Intentional Reasoning as Non-monotonic Reasoning}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {23--34}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/03\_LANMR11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Castro-ManzanoBG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/ContrerasRBG11, author = {Meliza Contreras and Miguel Rodr{\'{\i}}guez and Pedro Bello and B{\'{a}}rbara M. Gonz{\'{a}}lez}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {An Introduction to Belief Revision and Knowledge Representation with 2CNF}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {13--22}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/02\_LANMR11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/ContrerasRBG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Costantini11, author = {Stefania Costantini}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {Defining and Maintaining Agent's Experience in Logical Agents}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {151--165}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/15\_LANMR11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Costantini11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/CruzADP11, author = {Eddy S{\'{a}}nchez de la Cruz and Homero Alpu{\'{\i}}n{-}Jim{\'{e}}nez and Humberto de Jes{\'{u}}s Ochoa Dom{\'{\i}}nguez and Pilar Pozos Parra}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {{SDCA:} System to Detect Cancerous Abnormalities}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {115--122}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/11\_LANMR11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/CruzADP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Guadarrama11, author = {Juan Carlos Acosta Guadarrama}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {Towards a Logic-programming System to Debug {ASP} Knowledge Bases}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {3--12}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/01\_LANMR11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Guadarrama11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/LunaFR11, author = {Guillermo De Ita Luna and Fernando Zacar{\'{\i}}as Flores and Alejandro Rangel{-}Huerta}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {A Note for Parametric Complexity of {\#}2SAT}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {95--104}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/09\_LANMR11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/LunaFR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Marcial-RomeroLH11, author = {Jos{\'{e}} Raymundo Marcial{-}Romero and Alejandra Y. Lucatero and Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {A {GMP-FC++} Implementation of a Calculator for Exact Real Number Computation Based on {LRT}}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {71--82}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/07\_LANMR11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Marcial-RomeroLH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Martinez11, author = {Teresita de Jes{\'{u}}s Mijangos Mart{\'{\i}}nez}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {Logic, Linguistics and Connectionism An Exercise of Translation of Optimality Theory Constraints into Logic}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {83--94}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/08\_LANMR11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Martinez11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/MedinaSCB11, author = {Ma. Auxilio Medina and J. Alfredo S{\'{a}}nchez and Jorge de la Calleja and Antonio Ben{\'{\i}}tez}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {Ontology-based Descriptions of Image Collections}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {133--140}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/13\_LANMR11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/MedinaSCB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/OsorioNC11, author = {Mauricio Osorio and Juan Carlos Nieves and Jos{\'{e}} Luis Carballido}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {The Stable Abducible Argumentation Semantics}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {57--68}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/06\_LANMR11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/OsorioNC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Perez11, author = {Flavio Omar Everardo P{\'{e}}rez}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {A Logical Approach for Melodic Variations}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {141--150}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/14\_LANMR11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Perez11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/PortilloGMB11, author = {Julian J. Portillo and Carmen Leticia Garc{\'{\i}}a{-}Mata and Pedro Rafael M{\'{a}}rquez{-}Guti{\'{e}}rrez and Rogelio Baray{-}Arana}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {Robot Platform Motion Planning using Answer Set Programming}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {35--44}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/04\_LANMR11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/PortilloGMB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/RendonA11, author = {Arturo Yee Rend{\'{o}}n and Mat{\'{\i}}as Alvarado}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {Formal Language and Reasoning for Playing Go}, booktitle = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, pages = {125--132}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804/12\_LANMR11.pdf}, timestamp = {Wed, 21 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lanmr/RendonA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lanmr/2011, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Carolina Medina}, title = {Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, {LANMR} 2011, Toluca, Estado de M{\'{e}}xico, M{\'{e}}xico, November 7-8, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {804}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-804}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/AyaneguiC09, author = {Huberto Ayanegui and Alberto Ch{\'{a}}vez{-}Arag{\'{o}}n}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {A complete algorithm to solve the graph-coloring problem}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {107--129}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/09\_LANMR09\_06.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/AyaneguiC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/BecerraCP09, author = {Georgina Flores Becerra and Esteban Tlelo{-}Cuautle and Said Polanco{-}Martag{\'{o}}n}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {Applying Fuzzy Sets Intersection in the Sizing of Voltage Followers}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {209--216}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/18\_LANMR09\_poster02.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/BecerraCP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/CarballidoZ09, author = {Jos{\'{e}} Luis Carballido and Claudia Zepeda}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {P-stable as an extension of {WFS}}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {142--156}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/12\_LANMR09\_09.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/CarballidoZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Castro-Manzano09, author = {Jos{\'{e}} Mart{\'{\i}}n Castro{-}Manzano}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {An Introduction to Intention Revision: Issues and Problems}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {76--89}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/07\_LANMR09\_04.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Castro-Manzano09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/CostantiniP09, author = {Stefania Costantini and Alessandro Provetti}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {A Lower-Bound for Answer Set Solver Computation}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {183--198}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/15\_LANMR09\_12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/CostantiniP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Estrada-GonzalezO09, author = {Luis Estrada{-}Gonz{\'{a}}lez and Claudia Olmedo{-}Garc{\'{\i}}a}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {Can Paraconsistency Replace Non-Monotonicity?}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {217--224}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/19\_LANMR09\_poster03.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Estrada-GonzalezO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Flores-PulidoSGA09, author = {Leticia Flores{-}Pulido and Oleg Starostenko and Gustavo Rodr{\'{\i}}guez G{\'{o}}mez and Vicente Alarc{\'{o}}n Aquino}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {Modelling Data Segmentation for Image Retrieval Systems}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {201--208}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/17\_LANMR09\_poster01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Flores-PulidoSGA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/GeorgeC09, author = {Angel Mar{\'{\i}}n George and Claudia Zepeda Cort{\'{e}}s}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {Implementing the p-stable semantics}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {90--106}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/08\_LANMR09\_05.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/GeorgeC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/LunaGK09, author = {Guillermo De Ita Luna and Carlos Guill{\'{e}}n and Ali Khanafer}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {Efficient Computation of the Degree of Belief for a Subclass of Two Conjuctive Forms}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {118--129}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/10\_LANMR09\_07.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/LunaGK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Marcial-RomeroH09, author = {Jos{\'{e}} Raymundo Marcial{-}Romero and Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {Functional first order de definability of LRTp}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {40--60}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/05\_LANMR09\_02.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Marcial-RomeroH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/MedinaSTRV09, author = {Ma. Auxilio Medina and J. Alfredo S{\'{a}}nchez and Silvia Titla and Rebeca Rodr{\'{\i}}guez and Pedro Vargas}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {Selecting the Best Cluster of a Collection of Technical Reports}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {130--141}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/11\_LANMR09\_08.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/MedinaSTRV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/MejiaOG09, author = {Yuridia P. Mejia and Iv{\'{a}}n Olmos and Jesus A. Gonzalez}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {Structured Motifs Recognition in {DNA} sequences}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {172--182}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/14\_LANMR09\_11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/MejiaOG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Montiel-MorenoZV09, author = {Gabriela Montiel{-}Moreno and Jos{\'{e}}{-}Luis Zechinelli{-}Martini and Genoveva Vargas{-}Solar}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {Modelling autonomic dataspaces using answer sets}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {61--75}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/06\_LANMR09\_03.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Montiel-MorenoZV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/NievesG09, author = {Juan Carlos Nieves and Ignasi G{\'{o}}mez{-}Sebasti{\`{a}}}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {Extension-Based Argumentation Semantics via Logic Programming Semantics with Negation as Failure}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {31--45}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/04\_LANMR09\_01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/NievesG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/OsorioMN09, author = {Mauricio Osorio and Angel Mar{\'{\i}}n George and Juan Carlos Nieves}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {Computing the Stratified Minimal Models Semantic}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {157--171}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/13\_LANMR09\_10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/OsorioMN09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/PereiraP09, author = {Lu{\'{\i}}s Moniz Pereira and Alexandre Miguel Pinto}, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {Stable versus Layered Logic Program Semantics}, booktitle = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, pages = {3--27}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533/02\_LANMR09\_invited\_paper.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/PereiraP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lanmr/2009, editor = {Mauricio Osorio and Claudia Zepeda and Iv{\'{a}}n Olmos and Carolina Medina and Jos{\'{e}} Arrazola}, title = {Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias B{\'{a}}sicas, Ingenier{\'{\i}}a y Tecnolog{\'{\i}}a , Universidad Aut{\'{o}}noma de Tlaxcala {(UAT)} , Apizaco, Tlaxcala, M{\'{e}}xico, November 5-6, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {533}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-533}, urn = {urn:nbn:de:0074-533-8}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/ArrazolaAM08, author = {Jos{\'{e}} Arrazola and Eduardo Ariza and Ver{\'{o}}nica Borja Mac{\'{\i}}as}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {The Pac Logic in the properties of C(w) and C(min)}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Poster2.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/ArrazolaAM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/CarballidoZ08, author = {Jos{\'{e}} Luis Carballido and Claudia Zepeda}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {P-stable models of strong kernel programs}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Paper05.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/CarballidoZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/CostantiniF08, author = {Stefania Costantini and Andrea Formisano}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {Conditional preferences in {P-RASP}}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Paper11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/CostantiniF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/DangerL08, author = {Roxana D{\'{a}}nger and Rafael Berlanga Llavori}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {Generating complex ontology instances from documents}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Paper02.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/DangerL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Garcia-HernandezRROALH08, author = {Ma. de Guadalupe Garc{\'{\i}}a{-}Hern{\'{a}}ndez and Jos{\'{e}} Ruiz{-}Pinales and Alberto Reyes{-}Ballesteros and Eva Onaindia and Juan Gabriel Avi{\~{n}}a{-}Cervantes and Sergio Ledesma and Donato Hern{\'{a}}ndez}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {Association rule-based Markov Decision Processes}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Paper04.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Garcia-HernandezRROALH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Guadarrama08, author = {Juan Carlos Acosta Guadarrama}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {{AGM} postulates in Answer Sets}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Poster4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Guadarrama08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Guerra-HernandezCF08, author = {Alejandro Guerra{-}Hern{\'{a}}ndez and Jos{\'{e}} Mart{\'{\i}}n Castro{-}Manzano and Amal El Fallah Seghrouchni}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {{CTL} AgentSpeak(L): a specification language for agent programs}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Paper09.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Guerra-HernandezCF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/GuillenLL08, author = {Carlos Guill{\'{e}}n and Guillermo De Ita Luna and Aurelio L{\'{o}}pez{-}L{\'{o}}pez}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {Efficient computation of the degree of belief in a propositional theory}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Paper10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/GuillenLL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Ledesma08, author = {Rusl{\'{a}}n Ledesma}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {Brief study of the relation between {AGM} postulates {(-7)} and {(+7)} under non-classical logics}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Paper07.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Ledesma08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/LopezP08, author = {Abraham S{\'{a}}nchez L{\'{o}}pez and Alfredo Toriz P.}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {Coordinated multi-agent exploration}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Paper08.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/LopezP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/LunaTC08, author = {Guillermo De Ita Luna and Mireya Tovar and Meliza Contreras Gonz{\'{a}}lez}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {Agents's competition for selecting a representative}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Poster1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/LunaTC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/OlmosG08, author = {Iv{\'{a}}n Olmos and Jesus A. Gonzalez}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {Structural graph-based representations used for finding hidden patterns}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Paper03.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/OlmosG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Ortiz08, author = {Magdalena Ortiz}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {An Automata-based algorithm for description logics around {SRIQ}}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Paper01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Ortiz08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/PintoCJRB08, author = {David Pinto and Jorge Civera and Alfons Juan and Paolo Rosso and Alberto Barr{\'{o}}n{-}Cede{\~{n}}o}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {A statistical approach to crosslingual natural language tasks}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Paper06.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/PintoCJRB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Rios-AlvaradoMR08, author = {Ana B. R{\'{\i}}os{-}Alvarado and Ricardo Marcel{\'{\i}}n{-}Jim{\'{e}}nez and R. Carolina Medina Ram{\'{\i}}rez}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {Semantic information storage and retrieval in a peer-to-peer corporate memory}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Poster3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Rios-AlvaradoMR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/ZepedaC08, author = {Claudia Zepeda and Jos{\'{e}} Luis Carballido}, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {Semi-negative normal programs based on p-stable semantics}, booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408/Paper12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/ZepedaC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lanmr/2008, editor = {Mauricio Osorio and Iv{\'{a}}n Olmos}, title = {Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, M{\'{e}}xico, October 22-24, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {408}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-408}, urn = {urn:nbn:de:0074-408-2}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/ArizaA07, author = {Eduardo Ariza and Jos{\'{e}} Arrazola}, editor = {Jos{\'{e}} Arrazola and Pilar Pozos Parra and Mauricio Osorio and Claudia Zepeda}, title = {Analysis of the paraconsistency in some logics}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR07} Workshop, Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, Pue., M{\'{e}}xico, 17th - 19th September 2007}, series = {{CEUR} Workshop Proceedings}, volume = {286}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-286/LANMR07\_07.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/ArizaA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/CarballidoAO07, author = {Jos{\'{e}} Luis Carballido and Jos{\'{e}} Arrazola and Mauricio Osorio}, editor = {Jos{\'{e}} Arrazola and Pilar Pozos Parra and Mauricio Osorio and Claudia Zepeda}, title = {Equivalence for the G3'-stable models semantics}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR07} Workshop, Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, Pue., M{\'{e}}xico, 17th - 19th September 2007}, series = {{CEUR} Workshop Proceedings}, volume = {286}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-286/LANMR07\_05.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/CarballidoAO07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/DavilaHC07, author = {Rogelio D{\'{a}}vila and Sara C. Hern{\'{a}}ndez and Juan F. Corona}, editor = {Jos{\'{e}} Arrazola and Pilar Pozos Parra and Mauricio Osorio and Claudia Zepeda}, title = {Teaching natural deduction to improve text argumentation analysis in engineering students}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR07} Workshop, Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, Pue., M{\'{e}}xico, 17th - 19th September 2007}, series = {{CEUR} Workshop Proceedings}, volume = {286}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-286/LANMR07\_01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/DavilaHC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/LunaLG07, author = {Guillermo De Ita Luna and Pedro Bello L{\'{o}}pez and Meliza Contreras Gonz{\'{a}}lez}, editor = {Jos{\'{e}} Arrazola and Pilar Pozos Parra and Mauricio Osorio and Claudia Zepeda}, title = {Efficient counting of models for boolean formulas represented by embedded cycles}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR07} Workshop, Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, Pue., M{\'{e}}xico, 17th - 19th September 2007}, series = {{CEUR} Workshop Proceedings}, volume = {286}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-286/LANMR07\_03.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/LunaLG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/NievesO07, author = {Juan Carlos Nieves and Mauricio Osorio}, editor = {Jos{\'{e}} Arrazola and Pilar Pozos Parra and Mauricio Osorio and Claudia Zepeda}, title = {Generating maximal models using the stable model semantics}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR07} Workshop, Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, Pue., M{\'{e}}xico, 17th - 19th September 2007}, series = {{CEUR} Workshop Proceedings}, volume = {286}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-286/LANMR07\_09.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/NievesO07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/NievesO07a, author = {Juan Carlos Nieves and Mauricio Osorio}, editor = {Jos{\'{e}} Arrazola and Pilar Pozos Parra and Mauricio Osorio and Claudia Zepeda}, title = {Inferring preferred extensions by Pstable semantics}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR07} Workshop, Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, Pue., M{\'{e}}xico, 17th - 19th September 2007}, series = {{CEUR} Workshop Proceedings}, volume = {286}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-286/LANMR07\_10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/NievesO07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Osorio07, author = {Mauricio Osorio}, editor = {Jos{\'{e}} Arrazola and Pilar Pozos Parra and Mauricio Osorio and Claudia Zepeda}, title = {GLukG logic and its application for non-monotonic reasoning}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR07} Workshop, Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, Pue., M{\'{e}}xico, 17th - 19th September 2007}, series = {{CEUR} Workshop Proceedings}, volume = {286}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-286/LANMR07\_08.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Osorio07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/ParraYV07, author = {Pilar Pozos Parra and Edgardo Yescas and Jacob V{\'{a}}squez}, editor = {Jos{\'{e}} Arrazola and Pilar Pozos Parra and Mauricio Osorio and Claudia Zepeda}, title = {Planning using situation calculus, prolog and a mobile robot}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR07} Workshop, Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, Pue., M{\'{e}}xico, 17th - 19th September 2007}, series = {{CEUR} Workshop Proceedings}, volume = {286}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-286/LANMR07\_06.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/ParraYV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/PequenoVT07, author = {Marcelino C. Pequeno and Rodrigo de Melo Souza Veras and Wladimir A. Tavares}, editor = {Jos{\'{e}} Arrazola and Pilar Pozos Parra and Mauricio Osorio and Claudia Zepeda}, title = {Handling Exceptions in nonmonotonic reasoning}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR07} Workshop, Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, Pue., M{\'{e}}xico, 17th - 19th September 2007}, series = {{CEUR} Workshop Proceedings}, volume = {286}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-286/LANMR07\_04.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/PequenoVT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Rey07, author = {Federico Marulanda Rey}, editor = {Jos{\'{e}} Arrazola and Pilar Pozos Parra and Mauricio Osorio and Claudia Zepeda}, title = {Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR07} Workshop, Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, Pue., M{\'{e}}xico, 17th - 19th September 2007}, series = {{CEUR} Workshop Proceedings}, volume = {286}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-286/LANMR07\_02.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Rey07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lanmr/2007, editor = {Jos{\'{e}} Arrazola and Pilar Pozos Parra and Mauricio Osorio and Claudia Zepeda}, title = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR07} Workshop, Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla, Puebla, Pue., M{\'{e}}xico, 17th - 19th September 2007}, series = {{CEUR} Workshop Proceedings}, volume = {286}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-286}, urn = {urn:nbn:de:0074-286-5}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/AyalaCMM06, author = {Salvador Eugenio Ayala{-}Raggi and German Cuaya{-}Simbro and Modesto G. Medina{-}Mel{\'{e}}ndrez and Ang{\'{e}}lica Mu{\~{n}}oz{-}Mel{\'{e}}ndez}, editor = {Mauricio Osorio and Claudia Zepeda and Pilar Pozos Parra and Guillermo De Ita Luna}, title = {Representaci{\'{o}}n con Restricciones de Medidas Cualitativas: Aplicaci{\'{o}}n a un Problema de Scheduling}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR06} Workshop, Facultad de Ingenier{\'{\i}}a de la Universidad Au{\'{o}}noma de San Luis Pot{\'{\i}}, San Luis Potos{\'{\i}}, Mexico, September 18, 2006}, series = {{CEUR} Workshop Proceedings}, volume = {217}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-217/p2.pdf}, timestamp = {Tue, 14 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/AyalaCMM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/DemolombeP06, author = {Robert Demolombe and Pilar Pozos Parra}, editor = {Mauricio Osorio and Claudia Zepeda and Pilar Pozos Parra and Guillermo De Ita Luna}, title = {Integrating State Constraints and Obligations in Situation Calculus}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR06} Workshop, Facultad de Ingenier{\'{\i}}a de la Universidad Au{\'{o}}noma de San Luis Pot{\'{\i}}, San Luis Potos{\'{\i}}, Mexico, September 18, 2006}, series = {{CEUR} Workshop Proceedings}, volume = {217}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-217/p3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/DemolombeP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/NievesCO06, author = {Juan Carlos Nieves and Ulises Cort{\'{e}}s and Mauricio Osorio}, editor = {Mauricio Osorio and Claudia Zepeda and Pilar Pozos Parra and Guillermo De Ita Luna}, title = {Supporting decision making in organ transplanting using argumentation theory}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR06} Workshop, Facultad de Ingenier{\'{\i}}a de la Universidad Au{\'{o}}noma de San Luis Pot{\'{\i}}, San Luis Potos{\'{\i}}, Mexico, September 18, 2006}, series = {{CEUR} Workshop Proceedings}, volume = {217}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-217/p1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/NievesCO06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/OsorioZ06, author = {Mauricio Osorio and Claudia Zepeda}, editor = {Mauricio Osorio and Claudia Zepeda and Pilar Pozos Parra and Guillermo De Ita Luna}, title = {Preferences using Answer Sets}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR06} Workshop, Facultad de Ingenier{\'{\i}}a de la Universidad Au{\'{o}}noma de San Luis Pot{\'{\i}}, San Luis Potos{\'{\i}}, Mexico, September 18, 2006}, series = {{CEUR} Workshop Proceedings}, volume = {217}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-217/p5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/OsorioZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Perez06, author = {Jos{\'{e}} Juan Palacios P{\'{e}}rez}, editor = {Mauricio Osorio and Claudia Zepeda and Pilar Pozos Parra and Guillermo De Ita Luna}, title = {On strong negation as linear duality}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR06} Workshop, Facultad de Ingenier{\'{\i}}a de la Universidad Au{\'{o}}noma de San Luis Pot{\'{\i}}, San Luis Potos{\'{\i}}, Mexico, September 18, 2006}, series = {{CEUR} Workshop Proceedings}, volume = {217}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-217/p4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Perez06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Todorova06, author = {Yana Todorova}, editor = {Mauricio Osorio and Claudia Zepeda and Pilar Pozos Parra and Guillermo De Ita Luna}, title = {Ideological conflict - notes on the development of a commonsense knowledge base about ideologies}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR06} Workshop, Facultad de Ingenier{\'{\i}}a de la Universidad Au{\'{o}}noma de San Luis Pot{\'{\i}}, San Luis Potos{\'{\i}}, Mexico, September 18, 2006}, series = {{CEUR} Workshop Proceedings}, volume = {217}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-217/p6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Todorova06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lanmr/2006, editor = {Mauricio Osorio and Claudia Zepeda and Pilar Pozos Parra and Guillermo De Ita Luna}, title = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the {LA-NMR06} Workshop, Facultad de Ingenier{\'{\i}}a de la Universidad Au{\'{o}}noma de San Luis Pot{\'{\i}}, San Luis Potos{\'{\i}}, Mexico, September 18, 2006}, series = {{CEUR} Workshop Proceedings}, volume = {217}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-217}, urn = {urn:nbn:de:0074-217-5}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/CattinelliDN04, author = {Isabella Cattinelli and Maria Luisa Damiani and Andrea Nucita}, editor = {Mauricio Osorio and Alessandro Provetti}, title = {Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso, Mexico City, {D.F} , Mexico, April 26th 2004}, series = {{CEUR} Workshop Proceedings}, volume = {92}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-92/cattinelli.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/CattinelliDN04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Costantini04, author = {Stefania Costantini}, editor = {Mauricio Osorio and Alessandro Provetti}, title = {Component-Based Answer Set Programming}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso, Mexico City, {D.F} , Mexico, April 26th 2004}, series = {{CEUR} Workshop Proceedings}, volume = {92}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-92/costantini.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Costantini04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Kreinovich04, author = {Vladik Kreinovich}, editor = {Mauricio Osorio and Alessandro Provetti}, title = {Toward Formalizing Non-monotonic Reasoning in Physics: The use of Kolmogorov Complexity to Formalize the Notions of "Typically" and "Normally"}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso, Mexico City, {D.F} , Mexico, April 26th 2004}, series = {{CEUR} Workshop Proceedings}, volume = {92}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-92/vladik10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Kreinovich04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/MontielN04, author = {Luis A. Montiel and Juan Antonio Navarro P{\'{e}}rez}, editor = {Mauricio Osorio and Alessandro Provetti}, title = {Computing Preferred Safe Beliefs}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso, Mexico City, {D.F} , Mexico, April 26th 2004}, series = {{CEUR} Workshop Proceedings}, volume = {92}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-92/computing.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/MontielN04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Morado04, author = {Raymundo Morado}, editor = {Mauricio Osorio and Alessandro Provetti}, title = {Some Key Notions in Non-monotonic Reasoning}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso, Mexico City, {D.F} , Mexico, April 26th 2004}, series = {{CEUR} Workshop Proceedings}, volume = {92}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-92/morado.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Morado04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Ortiz04, author = {Magdalena Ortiz}, editor = {Mauricio Osorio and Alessandro Provetti}, title = {{ASP:} from Application Development to Syntax Extensions}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso, Mexico City, {D.F} , Mexico, April 26th 2004}, series = {{CEUR} Workshop Proceedings}, volume = {92}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-92/ortiz.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Ortiz04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/Saad04, author = {Emad Saad}, editor = {Mauricio Osorio and Alessandro Provetti}, title = {New Semantics for Hybrid Probabilistic Programs}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso, Mexico City, {D.F} , Mexico, April 26th 2004}, series = {{CEUR} Workshop Proceedings}, volume = {92}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-92/NewSHPPcr.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/Saad04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/SantillanL04, author = {Roc{\'{\i}}o Santill{\'{a}}n and Alejandra L{\'{o}}pez}, editor = {Mauricio Osorio and Alessandro Provetti}, title = {An experiment using {DLV-K}}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso, Mexico City, {D.F} , Mexico, April 26th 2004}, series = {{CEUR} Workshop Proceedings}, volume = {92}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-92/rocio.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/SantillanL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lanmr/ZepedaSS04, author = {Claudia Zepeda and Christine Solnon and David Sol}, editor = {Mauricio Osorio and Alessandro Provetti}, title = {Planning Operation: An Extensio'n of a Geographical Information System}, booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso, Mexico City, {D.F} , Mexico, April 26th 2004}, series = {{CEUR} Workshop Proceedings}, volume = {92}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-92/claudia.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/ZepedaSS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lanmr/2004, editor = {Mauricio Osorio and Alessandro Provetti}, title = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso, Mexico City, {D.F} , Mexico, April 26th 2004}, series = {{CEUR} Workshop Proceedings}, volume = {92}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-92}, urn = {urn:nbn:de:0074-92-8}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lanmr/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.