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

• Libros y artículos:
  • [http://goo.gl/DkpGg 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).