Search dblp for Publications

export results for "toc:db/conf/micai/lolacom2006.bht:"

 download as .bib file

@inproceedings{DBLP:conf/micai/ItaG06,
  author       = {Guillermo De Ita Luna and
                  Meliza Contreras Gonz{\'{a}}lez},
  editor       = {Rogelio D{\'{a}}vila and
                  Mauricio Osorio and
                  Claudia Zepeda},
  title        = {A Polynomial Graphical Reduction to Speed Up the Counting of Models
                  for Boolean Formulas},
  booktitle    = {Proceedings of the LoLaCOM06 Workshop, Instituto Tecnol{\'{o}}gico
                  de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {220},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-220/LoLaCOM06\_07.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:25 +0100},
  biburl       = {https://dblp.org/rec/conf/micai/ItaG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/micai/Lopez06,
  author       = {Alejandra L{\'{o}}pez},
  editor       = {Rogelio D{\'{a}}vila and
                  Mauricio Osorio and
                  Claudia Zepeda},
  title        = {Implementing Pstable},
  booktitle    = {Proceedings of the LoLaCOM06 Workshop, Instituto Tecnol{\'{o}}gico
                  de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {220},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-220/LoLaCOM06\_04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micai/Lopez06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/micai/OsorioL06,
  author       = {Mauricio Osorio and
                  Alejandra L{\'{o}}pez},
  editor       = {Rogelio D{\'{a}}vila and
                  Mauricio Osorio and
                  Claudia Zepeda},
  title        = {Expressing the Stable Semantics in Terms of the Pstable Semantics},
  booktitle    = {Proceedings of the LoLaCOM06 Workshop, Instituto Tecnol{\'{o}}gico
                  de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {220},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-220/LoLaCOM06\_03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micai/OsorioL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/micai/OsorioRCE06,
  author       = {Mauricio Osorio and
                  Jos{\'{e}} R. Arrazola Ram{\'{\i}}rez and
                  Jos{\'{e}} Luis Carballido and
                  Oscar Estrada},
  editor       = {Rogelio D{\'{a}}vila and
                  Mauricio Osorio and
                  Claudia Zepeda},
  title        = {Programas L{\'{o}}gicos Disjunctivos y la Demostrabilidad de
                  Atomos en Cw},
  booktitle    = {Proceedings of the LoLaCOM06 Workshop, Instituto Tecnol{\'{o}}gico
                  de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {220},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-220/LoLaCOM06\_08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micai/OsorioRCE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/micai/OsorioRCE06a,
  author       = {Mauricio Osorio and
                  Jos{\'{e}} R. Arrazola Ram{\'{\i}}rez and
                  Jos{\'{e}} Luis Carballido and
                  Oscar Estrada},
  editor       = {Rogelio D{\'{a}}vila and
                  Mauricio Osorio and
                  Claudia Zepeda},
  title        = {An Axiomatization of G'3},
  booktitle    = {Proceedings of the LoLaCOM06 Workshop, Instituto Tecnol{\'{o}}gico
                  de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {220},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-220/LoLaCOM06\_09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micai/OsorioRCE06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/micai/OsorioZ06a,
  author       = {Mauricio Osorio and
                  Claudia Zepeda},
  editor       = {Rogelio D{\'{a}}vila and
                  Mauricio Osorio and
                  Claudia Zepeda},
  title        = {Minimal Generalized Answer-Sets and their Applications},
  booktitle    = {Proceedings of the LoLaCOM06 Workshop, Instituto Tecnol{\'{o}}gico
                  de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {220},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-220/LoLaCOM06\_05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micai/OsorioZ06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/micai/ParraM06,
  author       = {Pilar Pozos Parra and
                  Ver{\'{o}}nica Borja Mac{\'{\i}}as},
  editor       = {Rogelio D{\'{a}}vila and
                  Mauricio Osorio and
                  Claudia Zepeda},
  title        = {Belief Merging using Partial Satisfactibility: cases studies},
  booktitle    = {Proceedings of the LoLaCOM06 Workshop, Instituto Tecnol{\'{o}}gico
                  de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {220},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-220/LoLaCOM06\_06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micai/ParraM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/micai/SandovalD06,
  author       = {Ismael Sandoval and
                  Rogelio D{\'{a}}vila},
  editor       = {Rogelio D{\'{a}}vila and
                  Mauricio Osorio and
                  Claudia Zepeda},
  title        = {A Chart Parser Implementation in Answer-Set Programming},
  booktitle    = {Proceedings of the LoLaCOM06 Workshop, Instituto Tecnol{\'{o}}gico
                  de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {220},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-220/LoLaCOM06\_02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micai/SandovalD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/micai/SotoDC06,
  author       = {Jos{\'{e}} Manuel Soto Corzo and
                  David D{\'{\i}}az and
                  Jos{\'{e}} Antonio Cruz},
  editor       = {Rogelio D{\'{a}}vila and
                  Mauricio Osorio and
                  Claudia Zepeda},
  title        = {Sistema de Consultas en Lenguaje Natural para Bases de Datos},
  booktitle    = {Proceedings of the LoLaCOM06 Workshop, Instituto Tecnol{\'{o}}gico
                  de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {220},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-220/LoLaCOM06\_01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micai/SotoDC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/micai/2006lolacom,
  editor       = {Rogelio D{\'{a}}vila and
                  Mauricio Osorio and
                  Claudia Zepeda},
  title        = {Proceedings of the LoLaCOM06 Workshop, Instituto Tecnol{\'{o}}gico
                  de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {220},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-220},
  urn          = {urn:nbn:de:0074-220-4},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/micai/2006lolacom.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.