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…») |
|||
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)]. | ||
+ | |||
+ | * Cursos relacionados: | ||
+ | |||
+ | <-- | ||
+ | + [[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/book/][Answer Set Solving in Practice]] | ||
+ | + [[http://www.csplib.org/][CSPLib: A problem library for constraints]]. | ||
+ | + [[http://ceur-ws.org/Vol-1145/tutorial1.pdf][Answer Set Programming and CLASP (A tutorial)]]. ~ S. Hölldobler, L. Schweizer | ||
+ | + [[https://bioasp.github.io][BioASP: Answer Set Programming for systems biology]]. | ||
+ | + [[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://www.cs.cmu.edu/~cmartens/asp-notes.pdf][Notes on Answer Set Programming]]. ~ Chris Martens | ||
+ | + [[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 del 19:01 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:
<-- + [[1][Potassco, the Potsdam Answer Set Solving Collection]]. + [[2][Curso de ASP de la Univ. de Postdam]]. + [[3][Answer Set Solving in Practice]] + [[4][CSPLib: A problem library for constraints]]. + [[5][Answer Set Programming and CLASP (A tutorial)]]. ~ S. Hölldobler, L. Schweizer + [[6][BioASP: Answer Set Programming for systems biology]]. + [[7][A first look at Answer Set Programming]]. ~ Hakan Kjellerstrand + [[8][The basics of Answer Set Programming]]. ~ Olaf Aviss + [[9][Notes on Answer Set Programming]]. ~ Chris Martens + [[10][ASP with applications to mazes and levels]]. ~ Mark J. Nelson & Adam M. Smith + [[11][Solving a crossword in answer set programming]]. ~ Alessandro Bruni + [[12][Answer Set Programming tutorial (AIIDE2017)]]. ~ Adam M. Smith + [[13][proofdoku: Game with ASP-backed mechanics]]. ~ N. Warren, M. Reed & A. Smith + [[14][Answer Set Programming in Proofdoku]]. ~ Adam M. Smith + [[15][Handout on basics behind answer sets]]. ~ Yuliya Lierler + [[16][Hakan Kjellerstrand: My answer set programming page]]. + [[17][Answer set application programming: a case study on Tetris]]. ~ P. Schüller &
A. Weinzierl
+ [[18][Learning to automatically solve logic grid puzzles]]. ~ A. Mitra & C. Baral + [[19][Solving Heyawake puzzles using Answer Set Programming]]. ~ C. Winsnes &
G. Zander
+ [[20][Answer set survey]]. ~ O. EL-Khatib + [[21][Answer-set programming: Motivation and introduction]]. ~ Sarah Gaggl + [[22][Answer Set Solving in Practice]]. ~ T. Schaub + [[23][Modeling and solving in Answer Set Programming]]. ~ M. Gebser et als.
-->