<html lang="en">
<head>
  <meta http-equiv="Content-type" content="text/html;charset=utf-8">
  <meta name="viewport" content="width=device-width, initial-scale=1.0">
  <link rel="stylesheet" type="text/css" href="ceur-ws.css">
  <title>CEUR-WS.org/Vol-XXXX - Workshop on Logic/Languages, Algorithms and New Methods of Reasoning 2018</title>
</head>
<!--CEURLANG=eng -->
  <body>
    <table style="border: 0; border-spacing: 0; border-collapse: collapse; width: 95%">
      <tbody>
        <tr>
          <td style="text-align: left; vertical-align: middle">
            <a href="http://ceur-ws.org/"><div id="CEURWSLOGO"></div></a>
          </td>
          <td style="text-align: right; vertical-align: middle">
            <span class="CEURVOLNR">Vol-XXXX</span> <br>
            <span class="CEURURN">urn:nbn:de:YYYY-ZZZZ-W</span>
            <p class="unobtrusive copyright" style="text-align: justify">Copyright &copy; 
            <span class="CEURPUBYEAR">2018</span> for the individual papers
            by the papers' authors. Copying permitted for private and academic purposes.
            This volume is published and copyrighted by its editors.</p>
          </td>
        </tr>
      </tbody>
    </table>
    <hr>
    <br><br><br>
    <h1><span class="CEURVOLACRONYM">LANMR 2018</span><br>
      <span class="CEURVOLTITLE">Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning</span>
    </h1>
    <br>
    <h3>
      <span class="CEURFULLTITLE">Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning </span><br>
      <!-- co-located with <span class="CEURCOLOCATED">NONE</span> -->
    </h3>
    <h3><span class="CEURLOCTIME">Puebla, Mexico, November 15, 2018</span>.</h3> 
    <br>
    <b> Edited by </b>
    <p>
    </p>
    <h3>
      <span class="CEURVOLEDITOR">Mauricio Osorio Galindo</span> *<br>
      <span class="CEURVOLEDITOR">Jos&eacute; Raymundo Marcial Romero</span> **<br>
      <span class="CEURVOLEDITOR">Claudia Zepeda Cort&eacute;s</span> ***<br>
      <span class="CEURVOLEDITOR">Pilar Pozos Parra</span> ****<br>
    </h3>
    * <a href="http://www.udlap.mx/inicio.aspx">Universidad de las Am&eacute;ricas Puebla</a>, Puebla, M&eacute;xico<br>
    ** <a href="http://www.uaemex.mx">Universidad Aut&oacute;noma del Estado de M&eacute;xico</a>, Toluca,  M&eacute;xico<br>
    *** <a href="http://www.buap.mx">Benem&eacute;rita Universidad Aut&oacute;noma de Puebla</a>, Puebla,  M&eacute;xico<br>
    **** <a href="http://alteap.com">Alta Tecnología Aplicada</a>, M&eacute;xico<br>
    <br>  
    <hr>
    <br><br><br>
    <div class="CEURTOC">
      <h2> Table of Contents </h2>  
      <ul>
        <li id="preface">
          <a href="preface.pdf">Preface</a><br><br>
        </li>
        <li id="organization">
          <a href="organization.pdf">Organization</a><br><br>
        </li>
      </ul>
      <h3><span class="CEURSESSION">Regular Papers</span></h3>
      <ul>
        <li>
          <a href="paper1.pdf">
            <span class="CEURTITLE">A Tableaux Method for Term Logic</span>
          </a>
          <span class="CEURPAGES">1-14</span>
          <br>
          <span class="CEURAUTHOR">J.-Mart&iacute;n Castro-Manzano</span>
        </li>
        <li>
          <a href="paper2.pdf">
            <span class="CEURTITLE">Craig Interpolation on the Logic of Knowledge</span>
          </a>
          <span class="CEURPAGES">15-24</span>
          <br>
          <span class="CEURAUTHOR">Everardo B&aacute;rcenas</span>,
          <span class="CEURAUTHOR">Jos&eacute;-de-Jesús Lavalle-Mart&iacute;nez</span>,
          <span class="CEURAUTHOR">Guillermo Molero-Castillo</span>,
          <span class="CEURAUTHOR">Alejandro Vel&aacute;zquez-Mena</span>
        </li>
        <li>
          <a href="paper3.pdf">
            <span class="CEURTITLE">A History and Reversibility for Quantum Programming Language QML</span>
          </a>
          <span class="CEURPAGES">25-39</span>
          <br>
          <span class="CEURAUTHOR">Nely Plata C&eacute;sar</span>,
          <span class="CEURAUTHOR">J. Raymundo Marcial Romero</span>,
          <span class="CEURAUTHOR">J. Antonio Hern&aacute;ndez Serv&iacute;n</span>
        </li>
        <li>
          <a href="paper4.pdf">
            <span class="CEURTITLE">Machine learning-based classification for diagnosis of neurodegenerative diseases</span>
          </a>
          <span class="CEURPAGES">40-50</span>
          <br>
          <span class="CEURAUTHOR">Eddy S&aacute;nchez-DelaCruz</span>,
          <span class="CEURAUTHOR">Pilar Pozos-Parra</span>
        </li>
        <li>
          <a href="paper5.pdf">
          <span class="CEURTITLE">On combining numerical optimization techniques with a belief merging approach</span></a>
          <span class="CEURPAGES">51-62</span>
          <br>
          <span class="CEURAUTHOR">Oscar Ch&aacute;vez-Bosquez</span>,
          <span class="CEURAUTHOR">Pilar Pozos-Parra</span>,
          <span class="CEURAUTHOR">Betania Hern&aacute;ndez-Ocaña</span>
        </li>
        <li>
          <a href="paper6.pdf">
            <span class="CEURTITLE">A novel heuristic for the coloring of planar graphs</span>
          </a>
          <span class="CEURPAGES">63-75</span>
          <br>
          <span class="CEURAUTHOR">Guillermo De Ita</span>,
          <span class="CEURAUTHOR">Cristina L&oacute;pez-Ram&iacute;rez</span>,
          <span class="CEURAUTHOR">Adriana Luna</span>
        </li>
        <li>
          <a href="paper7.pdf">
            <span class="CEURTITLE">Model counting for #2SAT problem in outerplanar graphs</span>
          </a>
          <span class="CEURPAGES">76-87</span>
          <br>
          <span class="CEURAUTHOR">Marco A. L&oacute;pez</span>,
          <span class="CEURAUTHOR"> J. Raymundo Marcial-Romero</span>,
          <span class="CEURAUTHOR">Jos&eacute; A. Hern&aacute;ndez</span>,
          <span class="CEURAUTHOR">Guillermo De Ita</span>
        </li>
        <li>
          <a href="paper8.pdf">
            <span class="CEURTITLE">Knowledge representation of passages type TOEFL</span>
          </a>
          <span class="CEURPAGES">88-100</span>
          <br>
          <span class="CEURAUTHOR">Meliza Contreras Gonzalez</span>,
          <span class="CEURAUTHOR">Mireya Tovar Vidal</span>,
          <span class="CEURAUTHOR">Guillermo De Ita Luna</span>
        </li>
        <li>
          <a href="paper9.pdf">
            <span class="CEURTITLE">The Computation of #2SAT by a Fixed-Parameter Tractable Algorithm</span>
          </a>
          <span class="CEURPAGES">101-113</span>
          <br>
          <span class="CEURAUTHOR">Guillermo de Ita</span>,
          <span class="CEURAUTHOR">Pedro Bello</span>,
          <span class="CEURAUTHOR">Miguel Rodr&iacute;guez</span>
        </li>
        <li>
          <a href="paper10.pdf">
            <span class="CEURTITLE">Implication and Biconditional in some Three-valued logics</span>
          </a>
          <span class="CEURPAGES">114-126</span>
          <br>
          <span class="CEURAUTHOR">Ver&oacute;nica Borja Mac&iacute;as</span>,
          <span class="CEURAUTHOR">Alejandro Hern&aacute;ndez-Tello</span>
        </li>
        <li>
          <a href="paper11.pdf">
            <span class="CEURTITLE">Lukasiewicz’ 3-valued logic can not be expressed in terms of SP3A logic</span>
          </a>
          <span class="CEURPAGES">127-137</span>
          <br>
          <span class="CEURAUTHOR">Jaime D&iacute;az</span>,
          <span class="CEURAUTHOR">Jos&eacute; Luis Carballido</span>,
          <span class="CEURAUTHOR">Mauricio Osorio</span>,
          <span class="CEURAUTHOR">Claudia Zepeda</span>
        </li>
      </ul>
    </div>
    <hr>
    <span class="unobtrusive">
      2018-10-31: submitted by Pilar Pozos-Parra, metadata incl. bibliographic data published under <a href="http://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0</a><br>
      <span class="CEURPUBDATE">2018-1-XX</span>: published on CEUR-WS.org |<a HREF="https://validator.w3.org/nu/?doc=http%3A%2F%2Fceur-ws.org%2FVol-XXXX%2F">valid HTML5</a>|
    </span>
  </body>
</html>
