Diferencia entre revisiones de «Documentación»
De Lógica computacional y teoría de modelos (2019-20)
Línea 8: | Línea 8: | ||
* Cursos relacionados: | * Cursos relacionados: | ||
− | <-- | + | <!-- |
+ [[http://potassco.sourceforge.net/teaching.html][Potassco, the Potsdam Answer Set Solving Collection]]. | + [[http://potassco.sourceforge.net/teaching.html][Potassco, the Potsdam Answer Set Solving Collection]]. | ||
+ [[https://potassco.org/teaching/][Curso de ASP de la Univ. de Postdam]]. | + [[https://potassco.org/teaching/][Curso de ASP de la Univ. de Postdam]]. |
Revisión del 19:02 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).
- Cursos relacionados: