README.md

Languages and Algorithms for Artificial Intelligence

• Course web page for AY 2020/2021
• Course on Virtuale

Module 1

Teacher: Maurizio Gabbrielli

• Course Timetable from Oct 16, 2020 to Dec 21, 2020
• Gabbrielli's channel on MS Stream

Content

• Formulary (source)
• 1 - Introduction
• 2 - Truth
• 3 - Propositional Logic
• 4 - First Order Logic
• 5 - Logic programming languages
• 8 - PROLOG
• 9 - MiniZinc

Lesson recordings

• Lesson 1 recording
• ...

Useful resources

• The MiniZinc Handbook contains all the documentation for the MiniZinc language and system.
• An article on natural deduction
• SWI-Prolog online interpreter
• SWI-Prolog manual
• SWI-Prolog CLPfd documentation