Diferencia entre revisiones de «Seminario del Grupo de Lógica Computacional»

De WikiGLC
Saltar a: navegación, buscar
(→‎Seminario del 12 de Mayo de 2008)
(→‎Seminario del 19 de Mayo de 2008)
Línea 22: Línea 22:
  
 
=== Seminario del 19 de Mayo de 2008 ===  
 
=== Seminario del 19 de Mayo de 2008 ===  
−
* '''Título:''' ''APLI2: Pasado, Presente y Futuro.''
+
* '''Título:''' ''APLI2: pasado, presente y futuro.''
 
* '''Ponente:''' {{garanda}}
 
* '''Ponente:''' {{garanda}}
 
* '''Resumen:''' [http://www.glc.us.es/apli2 APLI2] es un sistema desarollado para la ayuda a la enseñanza de la Lógica. En esta charla describiremos tanto la arquitectura del sistema como usabilidad y posibles ampliaciones del sistema.
 
* '''Resumen:''' [http://www.glc.us.es/apli2 APLI2] es un sistema desarollado para la ayuda a la enseñanza de la Lógica. En esta charla describiremos tanto la arquitectura del sistema como usabilidad y posibles ampliaciones del sistema.

Revisión del 07:12 16 may 2008

Los Seminarios del Grupo de Lógica Computacional se celebrarán los lunes de 10:00 a 11: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.

Seminarios del curso 2007-08

Seminario del 28 de Abril de 2008

  • Título: Isabelle como lenguaje de programación e Isar como lenguaje de demostración
  • Ponente: José A. Alonso
  • Resumen: Este seminario es el primero de una serie cuyo objetivo es mostrar las posibilidades de Isabelle/Isar como sistema que permite regular el nivel de automatización de las demostraciones y hacerlas legibles por los humanos y procesable por las máquinas. El contenido del seminario se corresponde con los dos primeros capítulos de Introduccion a la demostracion asistida por ordenador (con Isabelle/Isar).

Seminario del 5 de Mayo de 2008

Seminario del 12 de Mayo de 2008

Seminario del 19 de Mayo de 2008

  • Título: APLI2: pasado, presente y futuro.
  • Ponente: Gonzalo A. Aranda-Corral
  • Resumen: APLI2 es un sistema desarollado para la ayuda a la enseñanza de la Lógica. En esta charla describiremos tanto la arquitectura del sistema como usabilidad y posibles ampliaciones del sistema.

Material de interés para el Seminario del GLC

En esta sección se recoge una relación de materiales que sería interesante comentar en el Seminario.

Representación del conocimiento y razonamiento

  1. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri y F. Scarcello The DLV System for Knowledge Representation and Reasoning.
    Presenta la metodología de resolución de problemas basada en conjuntos de problemas en uno de sus principales sistemas.
  2. C. Baral Knowledge Representation, Reasoning and Declarative Problem Solving.
    Es el libro básico sobre programación basada en conjunto de respuestas.

Automatización del razonamiento

  1. J.A. Navarro Encoding and Solving Problems in Effectively Propositional Logic.
    Es una tesis reciente sobre implementación y aplicaciones de SAT. Ha sido dirigida por Voronkov y se ha presentado el año 2007.

Sistemas para la enseñanza de la lógica

  1. APLI2
    APLI2 (APLIcación de Ayuda Para Lógica Informática) es una herramienta para ayudar en el aprendizaje de la representación del conocimento en lógica de primer orden.
  2. ProofBuilder
    ProofBuilder es un sistema para construir demostraciones con orientación pedagógica.


Caminante, no hay camino:
se hace camino al andar.
(A. Machado)

Con cada paso que das alcanzas tu meta.
(Dicho Zen).

Obtenido de «https://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_Lógica_Computacional&oldid=91»