Diferencia entre revisiones de «Documentación»
De Lógica computacional y teoría de modelos (2019-20)
Línea 12: | Línea 12: | ||
** [http://ceur-ws.org/Vol-1145/tutorial1.pdf Answer Set Programming and CLASP (A tutorial) (S. Hölldobler, L. Schweizer)]. | ** [http://ceur-ws.org/Vol-1145/tutorial1.pdf Answer Set Programming and CLASP (A tutorial) (S. Hölldobler, L. Schweizer)]. | ||
** [http://www.csplib.org/ CSPLib: A problem library for constraints]. | ** [http://www.csplib.org/ CSPLib: A problem library for constraints]. | ||
− | ** | + | ** [https://bioasp.github.io BioASP: Answer Set Programming for systems biology]. |
<!-- | <!-- |
Revisión actual del 19:07 14 oct 2018
- 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: