https://www.glc.us.es/web/api.php?action=feedcontributions&feedformat=atom&user=HecechquiWikiGLC - Contribuciones del usuario [es]2026-07-17T20:46:50ZContribuciones del usuarioMediaWiki 1.31.0https://www.glc.us.es/web/index.php?title=Group_members&diff=681Group members2009-05-30T18:16:41Z<p>Hecechqui: </p>
<hr />
<div>== Researchers ==<br />
* Prof. Dr. [http://www.cs.us.es/~jalonso José Antonio Alonso Jiménez] (head)<br />
* Prof. [http://www.cs.us.es/~garanda/ Gonzalo A. Aranda Corral]<br />
* Prof. Dr. [http://www.cs.us.es/~joaquin/blog Joaquín Borrego Díaz]<br />
* Prof. Dra. [http://www.cs.us.es/~tchavez/ Antonia Chávez González]<br />
* Prof. Dra. [http://www.cs.us.es/~mjoseh/ María José Hidalgo Doblado]<br />
* Prof. [http://www.cs.us.es/~mavillard Antonio Jiménez Mavillard]<br />
* Prof. Dr. [http://www.cs.us.es/~fmartin/ Francisco Jesús Martín Mateos]<br />
* Prof. Dr. [http://personal.us.es/aparedes/ Antonio Paredes Moreno]<br />
* Prof. Dr. [http://www.cs.us.es/~jruiz/ José Luis Ruiz Reina]<br />
* Prof. [http://www.glc.us.es/~ffserrano/ Fabián F. Serrano Suárez]<br />
<br />
== Students ==<br />
* D. Fernando Gómez Marín<br />
* D. [http://www.glc.us.es/~hecechqui/ Héctor Fabián Echeverry Quintero]</div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=376Seminario del Grupo de Lógica Computacional2008-11-04T18:39:38Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Web Semántica aplicada a Razonamiento Automático''<br />
* '''Ponente:''' ''Héctor Fabián Echeverry Quintero''<br />
* '''Resumen:''' Mathserve es un framework creado por [http://www.ags.uni-sb.de/~jzimmer/ Jürgen Zimmer] que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicadas a Sistemas de Razonamiento Automático. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.<br />
* '''Enlaces:'''<br />
** [http://www.ags.uni-sb.de/~jzimmer/mathserve.html MathServe homepage] Pagina principal del Framework Mathserve.<br />
** [http://giralda.cs.us.es/~hecechqui/MathServe.odp MathServe presentation] Presentación para el Seminario.<br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=375Seminario del Grupo de Lógica Computacional2008-11-04T18:39:00Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Web Semántica aplicada a Razonamiento Automático''<br />
* '''Ponente:''' ''Héctor Fabián Echeverry Quintero''<br />
* '''Resumen:''' Mathserve es un framework creado por [http://www.ags.uni-sb.de/~jzimmer/ Jürgen Zimmer] que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicadas a Sistemas de Razonamiento Automático. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.<br />
* '''Enlaces:'''<br />
** [http://www.ags.uni-sb.de/~jzimmer/mathserve.html Mathserve homepage] Pagina principal del Framework Mathserve.<br />
** [http://giralda.cs.us.es/~hecechqui/MathServe.odp] Presentación para el Seminario.<br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=346Seminario del Grupo de Lógica Computacional2008-10-30T17:37:53Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Web Semántica aplicada a Razonamiento Automático''<br />
* '''Ponente:''' ''Héctor Fabián Echeverry Quintero''<br />
* '''Resumen:''' Mathserve es un framework creado por [http://www.ags.uni-sb.de/~jzimmer/ Jürgen Zimmer] que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicadas a Sistemas de Razonamiento Automático. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.<br />
* '''Enlaces:'''<br />
** [http://www.ags.uni-sb.de/~jzimmer/mathserve.html Mathserve homepage] Pagina principal del Framework Mathserve.<br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=340Seminario del Grupo de Lógica Computacional2008-10-29T12:21:51Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Web Semántica aplicada a Razonamiento Automático''<br />
* '''Ponente:''' ''Héctor Fabián Echeverry Quintero''<br />
* '''Resumen:''' Mathserve es un framework creado por [http://www.ags.uni-sb.de/~jzimmer/ Jürgen Zimmer] que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicadas a Sistemas de Razonamiento Automático. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.<br />
* '''Enlaces:'''<br />
** [http://www.ags.uni-sb.de/~jzimmer/mathserve.html Mathserve homepage] Mathserve System homepage.<br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=339Seminario del Grupo de Lógica Computacional2008-10-29T12:21:00Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Web Semántica aplicada al Razonamiento Automático''<br />
* '''Ponente:''' ''Héctor Fabián Echeverry Quintero''<br />
* '''Resumen:''' Mathserve es un framework creado por [http://www.ags.uni-sb.de/~jzimmer/ Jürgen Zimmer] que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicadas a Sistemas de Razonamiento Automático. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.<br />
* '''Enlaces:'''<br />
** [http://www.ags.uni-sb.de/~jzimmer/mathserve.html Mathserve homepage] Mathserve System homepage.<br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=338Seminario del Grupo de Lógica Computacional2008-10-29T12:18:26Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Razonamiento Automático gracias a la Web Semántica ''<br />
* '''Ponente:''' ''Héctor Fabián Echeverry Quintero''<br />
* '''Resumen:''' Mathserve es un framework creado por [http://www.ags.uni-sb.de/~jzimmer/ Jürgen Zimmer] que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicadas a Sistemas de Razonamiento Automático. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.<br />
* '''Enlaces:'''<br />
** [http://www.ags.uni-sb.de/~jzimmer/mathserve.html Mathserve homepage] Mathserve System homepage.<br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=337Seminario del Grupo de Lógica Computacional2008-10-29T12:18:02Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Razonamiento Automático por medio de la Web Semántica ''<br />
* '''Ponente:''' ''Héctor Fabián Echeverry Quintero''<br />
* '''Resumen:''' Mathserve es un framework creado por [http://www.ags.uni-sb.de/~jzimmer/ Jürgen Zimmer] que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicadas a Sistemas de Razonamiento Automático. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.<br />
* '''Enlaces:'''<br />
** [http://www.ags.uni-sb.de/~jzimmer/mathserve.html Mathserve homepage] Mathserve System homepage.<br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=336Seminario del Grupo de Lógica Computacional2008-10-29T12:15:13Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Razonamiento Automático por medio de la Web Semántica ''<br />
* '''Ponente:''' ''Héctor Fabián Echeverry Quintero''<br />
* '''Resumen:''' Mathserve es un framework creado por [http://www.ags.uni-sb.de/~jzimmer/ Jürgen Zimmer] que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicadas a Sistemas de Razonamiento Automático. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.<br />
* '''Enlaces:'''<br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=335Seminario del Grupo de Lógica Computacional2008-10-29T12:11:59Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Razonamiento Automático por medio de la Web Semántica ''<br />
* '''Ponente:''' ''Héctor Fabián Echeverry Quintero''<br />
* '''Resumen:''' Mathserve es un framework creado por [http://www.ags.uni-sb.de/~jzimmer/ Jürgen Zimmer] que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicadas a Sistemas de Razonamiento Automático. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.<br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=334Seminario del Grupo de Lógica Computacional2008-10-29T12:10:32Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Razonamiento Automático por medio de la Web Semántica ''<br />
* '''Ponente:''' ''Héctor Fabián Echeverry Quintero''<br />
* '''Resumen:''' Mathserve es un framework creado por [http://www.ags.uni-sb.de/~jzimmer/ Jürgen Zimmer] que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicadas a los Razonadores Automáticos. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.<br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=333Seminario del Grupo de Lógica Computacional2008-10-29T12:08:25Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Razonamiento Automático por medio de la Web Semántica ''<br />
* '''Ponente:''' ''Héctor Fabián Echeverry Quintero''<br />
* '''Resumen:''' Mathserve es un framework creado por [http://www.ags.uni-sb.de/~jzimmer/ Jürgen Zimmer] que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicado a el Razonamiento Automático. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.<br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=332Seminario del Grupo de Lógica Computacional2008-10-29T12:07:29Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Razonamiento Automático por medio de la Web Semántica ''<br />
* '''Ponente:''' ''Héctor Fabián Echeverry Quintero''<br />
* '''Resumen:''' Mathserve es un framework creado por [Jürgen Zimmer: http://www.ags.uni-sb.de/~jzimmer/] que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicado a el Razonamiento Automático. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.<br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=331Seminario del Grupo de Lógica Computacional2008-10-29T12:05:38Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Razonamiento Automático por medio de la Web Semántica ''<br />
* '''Ponente:''' ''Héctor Fabián Echeverry Quintero''<br />
* '''Resumen:''' Mathserve es un framework que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicado a el Razonamiento Automático. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.<br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=330Seminario del Grupo de Lógica Computacional2008-10-29T12:00:15Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Razonamiento Automático por medio de la Web Semántica ''<br />
* '''Ponente:''' ''Héctor Fabián Echeverry Quintero''<br />
* '''Resumen:''' <br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=329Seminario del Grupo de Lógica Computacional2008-10-29T11:54:19Z<p>Hecechqui: /* Seminario del 5 de Noviembre de 2008 */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Mathserve: Razonamiento Automático por medio de la Web Semántica ''<br />
* '''Ponente:''' Héctor Fabián Echeverry Quintero<br />
* '''Resumen:''' <br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En [[Seminarios anteriores | esta sección]] se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En [[Material de interés para el Seminario del GLC | esta sección]] se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechquihttps://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_L%C3%B3gica_Computacional&diff=250Seminario del Grupo de Lógica Computacional2008-10-27T13:08:22Z<p>Hecechqui: /* Próximos seminarios */</p>
<hr />
<div>Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.<br />
<br />
== Próximos seminarios ==<br />
=== Seminario del 5 de Noviembre de 2008 ===<br />
* '''Título:''' ''Razonamiento automático distribuido con MathServe''<br />
* '''Ponente:''' Héctor Fabián Echeverry Quintero<br />
* '''Resumen:''' <br />
----<br />
<br />
=== Seminario del 29 de Octubre de 2008 ===<br />
* '''Título:''' ''Programación visual con Pure Data''<br />
* '''Ponente:''' ''Fernando Gómez''<br />
* '''Resumen:''' Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por [http://es.wikipedia.org/wiki/Miller_Puckette Miller Puckette] para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).<br />
* '''Enlaces:''' <br />
** [http://www.puredata.info puredata.info] Portal oficial sobre PureData.<br />
** [http://es.wikipedia.org/wiki/Pure_data wiki/Pure_data] Entrada en la wikipedia.<br />
** [http://www.youtube.com/watch?v=NLjYHJBkP_k Video Ejemplo] Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)<br />
** [http://www.youtube.com/watch?v=l0_LeBYxe98 Spiral X'mas] Ejemplo visualización objeto 3D<br />
----<br />
<br />
=== Seminario del 15 de Octubre de 2008 ===<br />
* '''Título:''' ''La regla de independencia y su aplicación al aprendizaje de atributos''<br />
* '''Ponente:''' {{jborrego}}<br />
* '''Resumen:''' En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos<br />
----<br />
<br />
== [[Seminarios anteriores]] ==<br />
En esta sección se encuentran los seminarios de los cursos anteriores.<br />
<br />
== [[Material de interés para el Seminario del GLC]] ==<br />
En esta sección se recoge una relación de materiales que sería interesante comentar en el Seminario.<br />
<br />
<div style="color: green"><br />
<i>Caminante, no hay camino:<br><br />
se hace camino al andar.</i><br> <br />
(A. Machado)<br />
</div><br />
<br />
<div style="color: green; margin-left: 50%"><br />
<i>Con cada paso que das alcanzas tu meta.</i><br />
<br> (Dicho Zen).<br />
</div></div>Hecechqui