Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/lanmr:"
download as .bib file
@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 = {Mon, 28 Aug 2023 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 = {Mon, 28 Aug 2023 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}
}
a service of 
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.
retrieved on 2024-08-02 04:20 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
