Lógica computacional y teoría de modelos (2019-20) Lógica computacional y teoría de modelos (2019-20)

• Libros y artículos:
  • Knowledge representation, reasoning, and the design of intelligent agents (M. Gelfond & Y. Kahl.)
  • Answer Set Programming paradigm ( Y. Lierler.)
  • Industrial applications of Answer Set Programming (A. Falkner et als. )
  • Answer Set Programming Unleashed.
  • Exploring life through logic programming: Logic programming in bioinformatics (A. Dal Palù, A. Dovier, A. Formisano, E. Pontelli).
  • Answer Set Solving in Practice.
  • Notes on Answer Set Programming (Chris Martens).

• Cursos relacionados, tutoriales y aplicaciones:
  • Curso de la Univ. de Postdam.
  • Answer Set Programming and CLASP (A tutorial) (S. Hölldobler, L. Schweizer).
  • CSPLib: A problem library for constraints.
  • BioASP: Answer Set Programming for systems biology.