Diferencia entre revisiones de «Documentación»
De Lógica computacional y teoría de modelos (2019-20)
(No se muestra una edición intermedia del mismo usuario) | |||
Línea 5: | Línea 5: | ||
** [https://www.springerprofessional.de/en/ki-kuenstliche-intelligenz-2-3-2018/16033186 Answer Set Programming Unleashed]. | ** [https://www.springerprofessional.de/en/ki-kuenstliche-intelligenz-2-3-2018/16033186 Answer Set Programming Unleashed]. | ||
** [https://www.cs.nmsu.edu/wp/wp-content/uploads/2014/10/TR-CS-NMSU-2014-10-24.pdf Exploring life through logic programming: Logic programming in bioinformatics (A. Dal Palù, A. Dovier, A. Formisano, E. Pontelli)]. | ** [https://www.cs.nmsu.edu/wp/wp-content/uploads/2014/10/TR-CS-NMSU-2014-10-24.pdf Exploring life through logic programming: Logic programming in bioinformatics (A. Dal Palù, A. Dovier, A. Formisano, E. Pontelli)]. | ||
+ | ** [https://potassco.org/book/ Answer Set Solving in Practice]. | ||
+ | ** [http://www.cs.cmu.edu/~cmartens/asp-notes.pdf Notes on Answer Set Programming (Chris Martens)]. | ||
− | * Cursos relacionados: | + | * Cursos relacionados, tutoriales y aplicaciones: |
+ | ** [https://potassco.org/teaching/ Curso de la Univ. de Postdam]. | ||
+ | ** [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]. | ||
+ | ** [https://bioasp.github.io BioASP: Answer Set Programming for systems biology]. | ||
<!-- | <!-- | ||
+ [[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]]. | ||
− | + | ||
− | + | ||
− | + | ||
− | |||
− | |||
+ [[http://www.hakank.org/constraint_programming_blog/2010/12/a_first_look_at_answer_set_programming.html][A first look at Answer Set Programming]]. ~ Hakan Kjellerstrand | + [[http://www.hakank.org/constraint_programming_blog/2010/12/a_first_look_at_answer_set_programming.html][A first look at Answer Set Programming]]. ~ Hakan Kjellerstrand | ||
+ [[https://thelazydev.net/blog/post/the-basics-of-answer-set-programming][The basics of Answer Set Programming]]. ~ Olaf Aviss | + [[https://thelazydev.net/blog/post/the-basics-of-answer-set-programming][The basics of Answer Set Programming]]. ~ Olaf Aviss | ||
− | + | ||
+ [[http://pcgbook.com/wp-content/uploads/chapter08.pdf][ASP with applications to mazes and levels]]. ~ Mark J. Nelson & Adam M. Smith | + [[http://pcgbook.com/wp-content/uploads/chapter08.pdf][ASP with applications to mazes and levels]]. ~ Mark J. Nelson & Adam M. Smith | ||
+ [[http://alessandrobruni.name/software/2017/03/02/crossword-solving-in-asp.html][Solving a crossword in answer set programming]]. ~ Alessandro Bruni | + [[http://alessandrobruni.name/software/2017/03/02/crossword-solving-in-asp.html][Solving a crossword in answer set programming]]. ~ Alessandro Bruni |
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: