Diferencia entre revisiones de «Documentación»
De Lógica computacional y teoría de modelos (2019-20)
(Página creada con «* Libros y artículos: ** [http://goo.gl/DkpGg Knowledge representation, reasoning, and the design of intelligent agents (M. Gelfond & Y. Kahl.)] ** [https://works.bepres…») |
|||
(No se muestran 3 ediciones intermedias del mismo usuario) | |||
Línea 1: | Línea 1: | ||
* Libros y artículos: | * Libros y artículos: | ||
− | ** [http://goo.gl/DkpGg Knowledge representation, reasoning, and the design of intelligent | + | ** [http://goo.gl/DkpGg Knowledge representation, reasoning, and the design of intelligent agents (M. Gelfond & Y. Kahl.)] |
− | |||
** [https://works.bepress.com/yuliya_lierler/72/ Answer Set Programming paradigm ( Y. Lierler.)] | ** [https://works.bepress.com/yuliya_lierler/72/ Answer Set Programming paradigm ( Y. Lierler.)] | ||
** [https://www.springerprofessional.de/content/pdfId/15844320/10.1007/s13218-018-0548-6 Industrial applications of Answer Set Programming (A. Falkner et als. )] | ** [https://www.springerprofessional.de/content/pdfId/15844320/10.1007/s13218-018-0548-6 Industrial applications of Answer Set Programming (A. Falkner et als. )] | ||
** [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, 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://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 | ||
+ | |||
+ | + [[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://bit.ly/2xy1Bmj][Answer Set Programming tutorial (AIIDE2017)]]. ~ Adam M. Smith | ||
+ | + [[https://proofdoku.com][proofdoku: Game with ASP-backed mechanics]]. ~ N. Warren, M. Reed & A. Smith | ||
+ | + [[https://adamsmith.as/papers/answer-set-programming-in-proofdoku.pdf][Answer Set Programming in Proofdoku]]. ~ Adam M. Smith | ||
+ | + [[https://works.bepress.com/yuliya_lierler/71/download][Handout on basics behind answer sets]]. ~ Yuliya Lierler | ||
+ | + [[http://bit.ly/1H4bpST][Hakan Kjellerstrand: My answer set programming page]]. | ||
+ | + [[http://bit.ly/1hMuq5U][Answer set application programming: a case study on Tetris]]. ~ P. Schüller & | ||
+ | A. Weinzierl | ||
+ | + [[http://bit.ly/1VkpELy][Learning to automatically solve logic grid puzzles]]. ~ A. Mitra & C. Baral | ||
+ | + [[http://bit.ly/16Pv7pJ][Solving Heyawake puzzles using Answer Set Programming]]. ~ C. Winsnes & | ||
+ | G. Zander | ||
+ | + [[http://bit.ly/1w9Dwzj][Answer set survey]]. ~ O. EL-Khatib | ||
+ | + [[http://bit.ly/11wiWYo][Answer-set programming: Motivation and introduction]]. ~ Sarah Gaggl | ||
+ | + [[http://bit.ly/Qleqcd][Answer Set Solving in Practice]]. ~ T. Schaub | ||
+ | + [[http://bit.ly/NPri8P][Modeling and solving in Answer Set Programming]]. ~ M. Gebser et als. | ||
+ | |||
+ | --> |
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: