Ver código fuente

= 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, ...)


== [http://www.us.es/estudios/master/master_M095/asignatura_50950017 Programa de la asignatura] ==

== [http://ev.us.es Página Web] ==

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