modified on 27 sep 2007 at 12:41 ••• 7.730 views

Teoría de Modelos

De Master

Contenido

Breve descripción del contenido

a) La lógica de primer orden: un marco para la representación del conocimiento y la resolución de problemas combinatorios.

b) El paradigma de la "Programación con conjuntos de respuestas" (ASP = Answer Set Programming).

c) Fundamentos teóricos de la programación con conjuntos de respuestas. Modelos estables.

d) Aplicaciones de la programación con conjuntos de respuestas (modelado de dominios dinámicos, planificación, razonamiento probabilístico, ...)


Programa de la asignatura

Página Web

Espacio de enseñanza virtual de la Universidad de Sevilla.