Lógica computacional y teoría de modelos (2019-20) Lógica computacional y teoría de modelos (2019-20)

• 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.

-->