https://www.glc.us.es/web/index.php?action=history&feed=atom&title=Publications
Publications - Historial de revisiones
2026-07-18T08:53:00Z
Historial de revisiones para esta página en el wiki
MediaWiki 1.31.0
https://www.glc.us.es/web/index.php?title=Publications&diff=1024&oldid=prev
Jborrego: /* Publicaciones en revistas */
2011-02-12T18:02:59Z
<p><span dir="auto"><span class="autocomment">Publicaciones en revistas</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 18:02 12 feb 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l42" >Línea 42:</td>
<td colspan="2" class="diff-lineno">Línea 42:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}} <br> '''Reconciling Knowledge in Social Tagging Web Services'''.<br> LNAI 6077, pp. 383--390, 2010.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}} <br> '''Reconciling Knowledge in Social Tagging Web Services'''.<br> LNAI 6077, pp. 383--390, 2010.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># I. Medina, F. Palomo, {{jruiz}}: <br> '''A Verified Common Lisp implementation of Buchberger's algorithm in ACL2'''. <br> Journal of Symbolic Computation. Vol. 45(1). 2010. Pag. 96-123</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># I. Medina, F. Palomo, {{jruiz}}: <br> '''A Verified Common Lisp implementation of Buchberger's algorithm in ACL2'''. <br> Journal of Symbolic Computation. Vol. 45(1). 2010. Pag. 96-123</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"># {{garanda}}, {{jborrego}}, {{tchavez}} <br> '''Mereotopological Patterns for Ontology Evolution and Debugging'''.<br> IMAGE-A 1(1):151--158 ISSN: 1885-4508, 2010.</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}} <br> '''Toward Semantic Mobile Web 2.0 through Multiagent Systems'''.<br> LNAI 5559, pp. 400-409, 2009.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}} <br> '''Toward Semantic Mobile Web 2.0 through Multiagent Systems'''.<br> LNAI 5559, pp. 400-409, 2009.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, M. Lebrón <br> '''Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations'''.<br> Lecture Notes in Artificial Intelligence, LNAI 5625, pp. 45-58, Springer-Verlag Berlin Heideberg 2009.  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, M. Lebrón <br> '''Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations'''.<br> Lecture Notes in Artificial Intelligence, LNAI 5625, pp. 45-58, Springer-Verlag Berlin Heideberg 2009.  </div></td></tr>
</table>
Jborrego
https://www.glc.us.es/web/index.php?title=Publications&diff=1023&oldid=prev
Jborrego: /* Capítulos en libros */
2011-02-12T18:02:33Z
<p><span dir="auto"><span class="autocomment">Capítulos en libros</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 18:02 12 feb 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l6" >Línea 6:</td>
<td colspan="2" class="diff-lineno">Línea 6:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Capítulos en libros ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Capítulos en libros ==</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, {{tchavez}} <br> '''Ontological dimensions of Semantic Mobile Web 2.0. First principles'''.<br> Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts; pp. 667-688, 2011.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, {{tchavez}} <br> '''Ontological dimensions of Semantic Mobile Web 2.0. First principles'''.<br> Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts; pp. 667-688, 2011.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"># {{garanda}}, {{jborrego}}, {{tchavez}} <br> '''Mereotopological Patterns for Ontology Evolution and Debugging'''.<br> Proceedings of the 3rd Workshop on Computational Topology in Image Context, en IMAGE-A 1(1):151--158 ISSN: 1885-4508, 2010.</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{fmartin}}, L.C. González y R. Serrano <br> '''Sistema experto para el control en tiempo real de procesos de mecanizado'''.<br> Actas de la XIII Conferencia de la Asociación Española para la Inteligencia Artificial ISBN: 978-84-692-6424-9; pp. 477-496, 2009.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{fmartin}}, L.C. González y R. Serrano <br> '''Sistema experto para el control en tiempo real de procesos de mecanizado'''.<br> Actas de la XIII Conferencia de la Asociación Española para la Inteligencia Artificial ISBN: 978-84-692-6424-9; pp. 477-496, 2009.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{jalonso}} y F.F. Serrano <br> '''Formalización de la demostración de completitud de la lógica proposicional en Isabelle/Isar'''.<br> Workshop on Computational Logics and Artificial Intelligence (CLAI 2009).</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{jalonso}} y F.F. Serrano <br> '''Formalización de la demostración de completitud de la lógica proposicional en Isabelle/Isar'''.<br> Workshop on Computational Logics and Artificial Intelligence (CLAI 2009).</div></td></tr>
</table>
Jborrego
https://www.glc.us.es/web/index.php?title=Publications&diff=1022&oldid=prev
Jborrego: /* Publicaciones en revistas */
2011-02-12T18:01:55Z
<p><span dir="auto"><span class="autocomment">Publicaciones en revistas</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 18:01 12 feb 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l46" >Línea 46:</td>
<td colspan="2" class="diff-lineno">Línea 46:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, M. Lebrón <br> '''Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations'''.<br> Lecture Notes in Artificial Intelligence, LNAI 5625, pp. 45-58, Springer-Verlag Berlin Heideberg 2009.  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, M. Lebrón <br> '''Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations'''.<br> Lecture Notes in Artificial Intelligence, LNAI 5625, pp. 45-58, Springer-Verlag Berlin Heideberg 2009.  </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{fmartin}}, J. Rubio, {{jruiz}} <br> {{ck|2009-calculemus.pdf|ACL2 verification of simplicial degeneracy programs in the Kenzo system}}.<br> Lecture Notes in Artificial Intelligence, LNAI 5625, pp. 106-121, Springer-Verlag Berlin Heideberg 2009.  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{fmartin}}, J. Rubio, {{jruiz}} <br> {{ck|2009-calculemus.pdf|ACL2 verification of simplicial degeneracy programs in the Kenzo system}}.<br> Lecture Notes in Artificial Intelligence, LNAI 5625, pp. 106-121, Springer-Verlag Berlin Heideberg 2009.  </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"># {{jborrego}}, {{tchavez}} <br> '''On the Use of Automated Reasoning Systems in Ontology Integration'''.<br>  CEUR Workshop Proceedings 460, pp.  37-48, 2009.</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># R. Serrano, L. C. González, {{fmartin}} <br> '''Architecture for the Optimization of a Machining Process in Real Time through Rule-Based Expert System'''.<br> AIP Conference Proceedings, 1181, pp. 652-661, American Institute of Physics 2009.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># R. Serrano, L. C. González, {{fmartin}} <br> '''Architecture for the Optimization of a Machining Process in Real Time through Rule-Based Expert System'''.<br> AIP Conference Proceedings, 1181, pp. 652-661, American Institute of Physics 2009.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{jborrego}}, {{tchavez}} <br> '''Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies'''.<br>  URSW 2005-2007 Uncertainty Reasoning form the Semantic Web. Lecture Notes in Artificial Intelligence. P.C.G. da Costa et al. (Eds.): URSW 2005-2007, LNAI 5327, pp. 315-329, 2008. Springer-Verlag Berlin Heideberg 2008.  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{jborrego}}, {{tchavez}} <br> '''Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies'''.<br>  URSW 2005-2007 Uncertainty Reasoning form the Semantic Web. Lecture Notes in Artificial Intelligence. P.C.G. da Costa et al. (Eds.): URSW 2005-2007, LNAI 5327, pp. 315-329, 2008. Springer-Verlag Berlin Heideberg 2008.  </div></td></tr>
</table>
Jborrego
https://www.glc.us.es/web/index.php?title=Publications&diff=1021&oldid=prev
Jborrego: /* Publicaciones en revistas */
2011-02-12T17:59:32Z
<p><span dir="auto"><span class="autocomment">Publicaciones en revistas</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 17:59 12 feb 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l43" >Línea 43:</td>
<td colspan="2" class="diff-lineno">Línea 43:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}} <br> '''Reconciling Knowledge in Social Tagging Web Services'''.<br> LNAI 6077, pp. 383--390, 2010.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}} <br> '''Reconciling Knowledge in Social Tagging Web Services'''.<br> LNAI 6077, pp. 383--390, 2010.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># I. Medina, F. Palomo, {{jruiz}}: <br> '''A Verified Common Lisp implementation of Buchberger's algorithm in ACL2'''. <br> Journal of Symbolic Computation. Vol. 45(1). 2010. Pag. 96-123</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># I. Medina, F. Palomo, {{jruiz}}: <br> '''A Verified Common Lisp implementation of Buchberger's algorithm in ACL2'''. <br> Journal of Symbolic Computation. Vol. 45(1). 2010. Pag. 96-123</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"># {{garanda}}, {{jborrego}} <br> '''Toward Semantic Mobile Web 2.0 through Multiagent Systems'''.<br> LNAI 5559, pp. 400-409, 2009.</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, M. Lebrón <br> '''Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations'''.<br> Lecture Notes in Artificial Intelligence, LNAI 5625, pp. 45-58, Springer-Verlag Berlin Heideberg 2009.  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, M. Lebrón <br> '''Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations'''.<br> Lecture Notes in Artificial Intelligence, LNAI 5625, pp. 45-58, Springer-Verlag Berlin Heideberg 2009.  </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{fmartin}}, J. Rubio, {{jruiz}} <br> {{ck|2009-calculemus.pdf|ACL2 verification of simplicial degeneracy programs in the Kenzo system}}.<br> Lecture Notes in Artificial Intelligence, LNAI 5625, pp. 106-121, Springer-Verlag Berlin Heideberg 2009.  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{fmartin}}, J. Rubio, {{jruiz}} <br> {{ck|2009-calculemus.pdf|ACL2 verification of simplicial degeneracy programs in the Kenzo system}}.<br> Lecture Notes in Artificial Intelligence, LNAI 5625, pp. 106-121, Springer-Verlag Berlin Heideberg 2009.  </div></td></tr>
</table>
Jborrego
https://www.glc.us.es/web/index.php?title=Publications&diff=1020&oldid=prev
Jborrego: /* Capítulos en libros */
2011-02-12T17:57:18Z
<p><span dir="auto"><span class="autocomment">Capítulos en libros</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 17:57 12 feb 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l5" >Línea 5:</td>
<td colspan="2" class="diff-lineno">Línea 5:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Capítulos en libros ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Capítulos en libros ==</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, {{tchavez}} <br> '''Ontological dimensions of Semantic Mobile Web 2.0. First principles'''.<br> Handbook of Research on Mobility and</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, {{tchavez}} <br> '''Ontological dimensions of Semantic Mobile Web 2.0. First principles'''.<br> Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts; pp. 667-688, 2011.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Computing: Evolving Technologies and Ubiquitous Impacts; pp. 667-688, 2011.</div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, {{tchavez}} <br> '''Mereotopological Patterns for Ontology Evolution and Debugging'''.<br> Proceedings of the 3rd Workshop on Computational Topology in Image Context, en IMAGE-A 1(1):151--158 ISSN: 1885-4508, 2010.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, {{tchavez}} <br> '''Mereotopological Patterns for Ontology Evolution and Debugging'''.<br> Proceedings of the 3rd Workshop on Computational Topology in Image Context, en IMAGE-A 1(1):151--158 ISSN: 1885-4508, 2010.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{fmartin}}, L.C. González y R. Serrano <br> '''Sistema experto para el control en tiempo real de procesos de mecanizado'''.<br> Actas de la XIII Conferencia de la Asociación Española para la Inteligencia Artificial ISBN: 978-84-692-6424-9; pp. 477-496, 2009.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{fmartin}}, L.C. González y R. Serrano <br> '''Sistema experto para el control en tiempo real de procesos de mecanizado'''.<br> Actas de la XIII Conferencia de la Asociación Española para la Inteligencia Artificial ISBN: 978-84-692-6424-9; pp. 477-496, 2009.</div></td></tr>
</table>
Jborrego
https://www.glc.us.es/web/index.php?title=Publications&diff=1019&oldid=prev
Jborrego: /* Capítulos en libros */
2011-02-12T17:56:57Z
<p><span dir="auto"><span class="autocomment">Capítulos en libros</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 17:56 12 feb 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l5" >Línea 5:</td>
<td colspan="2" class="diff-lineno">Línea 5:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Capítulos en libros ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Capítulos en libros ==</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"># {{garanda}}, {{jborrego}}, {{tchavez}} <br> '''Ontological dimensions of Semantic Mobile Web 2.0. First principles'''.<br> Handbook of Research on Mobility and</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Computing: Evolving Technologies and Ubiquitous Impacts; pp. 667-688, 2011.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, {{tchavez}} <br> '''Mereotopological Patterns for Ontology Evolution and Debugging'''.<br> Proceedings of the 3rd Workshop on Computational Topology in Image Context, en IMAGE-A 1(1):151--158 ISSN: 1885-4508, 2010.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, {{tchavez}} <br> '''Mereotopological Patterns for Ontology Evolution and Debugging'''.<br> Proceedings of the 3rd Workshop on Computational Topology in Image Context, en IMAGE-A 1(1):151--158 ISSN: 1885-4508, 2010.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{fmartin}}, L.C. González y R. Serrano <br> '''Sistema experto para el control en tiempo real de procesos de mecanizado'''.<br> Actas de la XIII Conferencia de la Asociación Española para la Inteligencia Artificial ISBN: 978-84-692-6424-9; pp. 477-496, 2009.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{fmartin}}, L.C. González y R. Serrano <br> '''Sistema experto para el control en tiempo real de procesos de mecanizado'''.<br> Actas de la XIII Conferencia de la Asociación Española para la Inteligencia Artificial ISBN: 978-84-692-6424-9; pp. 477-496, 2009.</div></td></tr>
</table>
Jborrego
https://www.glc.us.es/web/index.php?title=Publications&diff=1018&oldid=prev
Jborrego: /* Publicaciones en revistas */
2011-02-12T17:53:35Z
<p><span dir="auto"><span class="autocomment">Publicaciones en revistas</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 17:53 12 feb 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l38" >Línea 38:</td>
<td colspan="2" class="diff-lineno">Línea 38:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Publicaciones en revistas ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Publicaciones en revistas ==</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"># {{garanda}}, {{jborrego}} <br> '''Mereotopological Analysis of Formal Concepts in Security Ontologies'''.<br> Advances in Soft Computing 85, pp. 33-40, 2010.</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, A. Jiménez Mavillard <br> '''Social Ontology Documentation for Knowledge Externalization'''.<br> Communications in Computer and Information Science 108, pp 137--148, 2010.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, A. Jiménez Mavillard <br> '''Social Ontology Documentation for Knowledge Externalization'''.<br> Communications in Computer and Information Science 108, pp 137--148, 2010.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}} <br> '''Reconciling Knowledge in Social Tagging Web Services'''.<br> LNAI 6077, pp. 383--390, 2010.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}} <br> '''Reconciling Knowledge in Social Tagging Web Services'''.<br> LNAI 6077, pp. 383--390, 2010.</div></td></tr>
</table>
Jborrego
https://www.glc.us.es/web/index.php?title=Publications&diff=1017&oldid=prev
Jborrego: /* Publicaciones en revistas */
2011-02-12T17:52:08Z
<p><span dir="auto"><span class="autocomment">Publicaciones en revistas</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 17:52 12 feb 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l38" >Línea 38:</td>
<td colspan="2" class="diff-lineno">Línea 38:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Publicaciones en revistas ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Publicaciones en revistas ==</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"># {{garanda}}, {{jborrego}}, A. Jiménez Mavillard <br> '''Social Ontology Documentation for Knowledge Externalization'''.<br> Communications in Computer and Information Science 108, pp 137--148, 2010.</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}} <br> '''Reconciling Knowledge in Social Tagging Web Services'''.<br> LNAI 6077, pp. 383--390, 2010.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}} <br> '''Reconciling Knowledge in Social Tagging Web Services'''.<br> LNAI 6077, pp. 383--390, 2010.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># I. Medina, F. Palomo, {{jruiz}}: <br> '''A Verified Common Lisp implementation of Buchberger's algorithm in ACL2'''. <br> Journal of Symbolic Computation. Vol. 45(1). 2010. Pag. 96-123</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># I. Medina, F. Palomo, {{jruiz}}: <br> '''A Verified Common Lisp implementation of Buchberger's algorithm in ACL2'''. <br> Journal of Symbolic Computation. Vol. 45(1). 2010. Pag. 96-123</div></td></tr>
</table>
Jborrego
https://www.glc.us.es/web/index.php?title=Publications&diff=1016&oldid=prev
Jborrego: /* Publicaciones en revistas */
2011-02-12T17:50:13Z
<p><span dir="auto"><span class="autocomment">Publicaciones en revistas</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 17:50 12 feb 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l38" >Línea 38:</td>
<td colspan="2" class="diff-lineno">Línea 38:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Publicaciones en revistas ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Publicaciones en revistas ==</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}} <br> '''Reconciling Knowledge in Social Tagging Web Services'''.<br> LNAI 6077, pp. 383--390</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}} <br> '''Reconciling Knowledge in Social Tagging Web Services'''.<br> LNAI 6077, pp. 383--390<ins class="diffchange diffchange-inline">, </ins>2010.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>2010.</div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># I. Medina, F. Palomo, {{jruiz}}: <br> '''A Verified Common Lisp implementation of Buchberger's algorithm in ACL2'''. <br> Journal of Symbolic Computation. Vol. 45(1). 2010. Pag. 96-123</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># I. Medina, F. Palomo, {{jruiz}}: <br> '''A Verified Common Lisp implementation of Buchberger's algorithm in ACL2'''. <br> Journal of Symbolic Computation. Vol. 45(1). 2010. Pag. 96-123</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, M. Lebrón <br> '''Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations'''.<br> Lecture Notes in Artificial Intelligence, LNAI 5625, pp. 45-58, Springer-Verlag Berlin Heideberg 2009.  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, M. Lebrón <br> '''Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations'''.<br> Lecture Notes in Artificial Intelligence, LNAI 5625, pp. 45-58, Springer-Verlag Berlin Heideberg 2009.  </div></td></tr>
</table>
Jborrego
https://www.glc.us.es/web/index.php?title=Publications&diff=1015&oldid=prev
Jborrego: /* Publicaciones en revistas */
2011-02-12T17:49:47Z
<p><span dir="auto"><span class="autocomment">Publicaciones en revistas</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 17:49 12 feb 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l38" >Línea 38:</td>
<td colspan="2" class="diff-lineno">Línea 38:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Publicaciones en revistas ==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Publicaciones en revistas ==</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"># {{garanda}}, {{jborrego}} <br> '''Reconciling Knowledge in Social Tagging Web Services'''.<br> LNAI 6077, pp. 383--390</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">2010.</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># I. Medina, F. Palomo, {{jruiz}}: <br> '''A Verified Common Lisp implementation of Buchberger's algorithm in ACL2'''. <br> Journal of Symbolic Computation. Vol. 45(1). 2010. Pag. 96-123</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># I. Medina, F. Palomo, {{jruiz}}: <br> '''A Verified Common Lisp implementation of Buchberger's algorithm in ACL2'''. <br> Journal of Symbolic Computation. Vol. 45(1). 2010. Pag. 96-123</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, M. Lebrón <br> '''Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations'''.<br> Lecture Notes in Artificial Intelligence, LNAI 5625, pp. 45-58, Springer-Verlag Berlin Heideberg 2009.  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div># {{garanda}}, {{jborrego}}, M. Lebrón <br> '''Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations'''.<br> Lecture Notes in Artificial Intelligence, LNAI 5625, pp. 45-58, Springer-Verlag Berlin Heideberg 2009.  </div></td></tr>
</table>
Jborrego