(A.A. 2022/2023, A.A. 2021/2022 Previous programs since 2015/16 differ slightly from the 21/22 one)

Automated Reasoning is a subfield of ``Intelligent Systems'' (CS2013-final-report IEEE/ACM).

- anno 2003/2004, anno 2004/2005, anno 2005/2006
- anno 2006/2007, anno 2007/2008, anno 2008/2009
- anno 2010/2011, anno 2012/2013, anno 2014/2015

- We mostly use Minizinc for Constraint Programming, and
- clingo for Answer Set Programming and SAT solving.
- We also will touch Constraint Logic Programming. In this case we suggest B-Prolog.

See the videos of the Autumn School on Logic and Constraint Programming, 2021 Porto, Portugal.

- Handbook of Constraint Programming By Francesca Rossi, Peter van Beek amd Toby Walsh. Elsevier, 2006. (look for free pdf on-line, e.g. HERE)
- R. Bartak On-line guide to constraint Programming.
- Willem-Jan van Hoeve. The Alldifferent Constraint: A Survey 2001
- Minizinc Tutorial, by Kim Marriott and Peter J. Stuckey.

- J. W. Lloyd. Foundations of Logic Programming. Springer. 1984 (look for free pdf on-line, e.g. HERE) OLD, but the reference for the basics of the semantics part.
- K.R. Apt. From Logic Programming to Prolog. International Series in Computer Science. Prentice Hall, 1997. As LLloyd's book, a classical. And helps you learning conversion of ps to pdf
- M. Gelfond and Y. Kahl Knowledge Representation, Reasoning, and the Design of Intelligent Agents The Answer-Set Programming Approach. Cambridge University Press, 2014.
- Teaching Answer Set Programming By Univ. of Potsdam team (chaired by Torsten Schaub).
- Answer Set Solving in Practice
by Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub

And also this free course Answer Set Solving in Practice related to the same material. - Knowledge representation, reasoning and declarative problem solving. C Baral. Cambridge university press, 2003.
- Thomas Eiter and Georg Gottlob.
On the Computational Cost of Disjunctive Logic Programming: Propositional Case.
*Annals of Mathematics and Artificial Intelligence*, 15(3/4):289-323, 1995.

- A. Dovier, A. Formisano. Dispense per il corso (in Italian!)
- A. Dovier, A. Formisano, E. Pontelli.

Perspectives on Logic-based Approaches for Reasoning About Actions and Change.

In*Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday M. Balduccini and T.C. Son, eds., LNCS 6565, pp. 259-279, (DRAFT), 2011.* *K. Marriott and P. Stuckey. Programming with Constraints. The MIT Press, 1998.**K.R. Apt. Principles of constraint programming.Cambridge University Press, 2003.**L. Sterling and E. Shapiro. The Art of Prolog. 2nd ed., The MIT Press 1994,**Marco Gavanelli Un tool per produrre SLD (NF) trees pronti per il latex da computazioni ECLIPSE.**Krzysztof R. Apt and Mark Wallace. Constraint Logic Programming using Eclipse**Some scientific articles that can be of interest*- Joxan Jaffar, Michael J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 1994.
- Carlsson M., Ottosson G., Carlson B. An Open-Ended Finite Domain Constraint Solver Proc. Programming Languages: Implementations, Logics, and Programs, 1997.
- A Gentle Guide to Constraint Logic Programming via ECLiPSe by Antoni Niederlinski.
- V.A. Saraswat et al. Semantic Foundations of Concurrent Constraint Programming. Proceedings of 18th Annual ACM Symposium on Principles of Programming Languages. New York, 1991.
- Lucidi su TCCP (by FRank Valencia)

*T. Fruhwirth and S. Abdennadher. Essentials of constraint programming. Springer Verlag, 2002. Logic Programming by K.R. Apt. Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Pages 493-574, 1990.*