default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lanmr/lanmr2007.bht:"
download as .bib file
@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}
}
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-10-21 15:42 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:
