Tesis profesional presentada por Leticia López Chalini

Maestría en Ciencias con Especialidad en Ingeniería en Sistemas Computacionales. Departamento de Ingeniería en Sistemas Computacionales. Escuela de Ingeniería, Universidad de las Américas Puebla.

Jurado Calificador

Presidente: Dr. David Ricardo Sol Martínez
Vocal y Director: Dr. Mauricio Javier Osorio Galindo
Secretario: Dr. Santos Gerardo Lázzeri Menéndez

Cholula, Puebla, México a 11 de mayo de 2004.

Índice de contenido

Introducción (archivo pdf, 69 kb)

Capítulo 1. Descripción de sistemas answer sets (archivo pdf, 216 kb)

  • 1.1 A-Pol
  • 1.2 ASET-Solver
  • 1.3 DLV
  • 1.4 Smodels

Capítulo 2. Métricas y estándares de comparación (archivo pdf, 143 kb)

  • 2.1 Métricas
  • 2.2 Estudios comparativos
  • 2.3 Herramientas para automatización de pruebas

Capítulo 3. Ejemplos (archivo pdf, 377 kb)

  • 3.1 Mochila binaria
  • 3.2 Fastfood
  • 3.3 Camino más corto entre dos nodos de un grafo
  • 3.4 La compañia Cartoon CO
  • 3.5 Un problema de combinatoria subasta de objetos
  • 3.6 Minimo árbol abarcador
  • 3.7 Formación de equipos
  • 3.8 Compañías estratégicas
  • 3.9 Otros problemas
  • 3.10 Observaciones generales

Capítulo 4. Resultados (archivo pdf, 384 kb)

Capítulo 5. Conclusiones y trabajo a futuro (archivo pdf, 52 kb)

Referencias (archivo pdf, 85 kb)

Apéndice A. Sintáxis (archivo pdf, 112 kb)

Apéndice B. Glosario (archivo pdf, 63 kb)

Apéndice C. Otros códigos (archivo pdf, 104 kb)

López Chalini, L. 2004. Modelado de agregación y conjuntos en ASP. Tesis Maestría. Ciencias con Especialidad en Ingeniería en Sistemas Computacionales. Departamento de Ingeniería en Sistemas Computacionales, Escuela de Ingeniería, Universidad de las Américas Puebla. Mayo. Derechos Reservados © 2004.