Knowledge Representation

Lecturer: Mario Alviano

Office hours: consult my homepage

Teaching assistant: Maria Concetta Morelli

Office hours: by appointment via MS Teams

Microsoft Teams: for code and link search on this page

20/10/2022 16:40: Students who have to give the exam must fill in the Google Form at the following address: https://forms.gle/q4mYyWzE8u71oVNV9

22/09/2021 11:50: New year, new site! I reset the team by removing all previous members. This year students are kindly asked to join the team.

Thursday in room Stor 7_DSU, Friday on MS Teams

30/09/2021 10:30-13:30 - Introduction + Propositional Logic - Syntax, semantics and properties
01/10/2021 14:30-16:30 - Propositional Logic - Computation and sequent calculus
07/10/2021 10:30-13:30 - Propositional Logic - Exercises
08/10/2021 14:30-16:30 - Propositional Logic - Normal forms and Resolution
14/10/2021 10:30-13:30 - Propositional Logic - Exercises
15/10/2021 14:30-16:30 - First-Order Logic - Syntax, semantics and sequent calculus
21/10/2021 10:30-13:30 - First-Order Logic - Exercises
22/10/2021 14:30-16:30 - First-Order Logic - Normal forms and Resolution
28/10/2021 10:30-13:30 - First-Order Logic - Exercises
29/10/2021 14:30-16:30 - Constraint Programming - Foundations of CSP and Consistency Reinforcement Techniques
04/11/2021 10:30-13:30 - Mini Zinc - First steps and Basic Modeling
05/11/2021 14:30-16:30 - Constraint Programming - CSP Solving Algorithms, Search Heuristics, Learning Techniques and Optimization Problems
11/11/2021 10:30-13:30 - Mini Zinc - More Complex Models - Part 1
12/11/2021 14:30-16:30 - Mini Zinc - More Complex Models - Part 2
18/11/2021 10:30-13:30 - Mini Zinc - Predicates and functions
19/11/2021 14:30-16:30 - Student Projects
25/11/2021 10:30-13:30 - Student Projects
26/11/2021 14:30-16:30 - Student Projects
02/12/2021 10:30-13:30 - Student Projects
03/12/2021 14:30-16:30 - Exam Simulation
09/12/2021 10:30-13:30 - How to solve Exam Simulation
10/12/2021 14:30-16:30 - NO LECTURE
16/12/2021 10:30-13:30 - Student Projects Showcase

Slides

Introduction: presentation
What kind of exam: presentation
Propositional Logic - Syntax and semantics: presentation, handout
Propositional Logic - Properties and computation: presentation, handout
Propositional Logic - Sequent calculus and Resolution: presentation, handout
First-Order Logic - Syntax and semantics: presentation, handout
First-Order Logic - Semantic notions and sequent calculus: presentation, handout
First-Order Logic - Normal forms and Resolution: presentation, handout
Constraint Programming - Foundations of CSP: presentation
Constraint Programming - Consistency Reinforcement Techniques: presentation
Constraint Programming - CSP Solving Algorithms: presentation
Constraint Programming - Search Heuristics: presentation
Constraint Programming - Learning Techniques and Optimization Problems: presentation, examples
Mini Zinc - First steps: presentation, examples
Mini Zinc - Basic Modeling: presentation, examples
Mini Zinc - More Complex Models - Part 1: presentation, examples
Mini Zinc - More Complex Models - Part 2: presentation, examples, solutions
Mini Zinc - Predicates and functions: presentation, examples, solutions
Mini Zinc - Student projects: presentation, examples

Exercises to Solve at Home

Have a look at the end of the slides; some solutions written in the class can be found here
Exercises to be solved in the classroom (23, 24, 25, 26, 33, 34, 35) and at home by Javier Larrosa: download
Nice collection of exercises (with solutions) by Chiara Ghidini and Luciano Seraﬁni: download

Books

Constraint Satisfaction Problems - Khaled Ghédira - Wiley
online version
Mini Zinc Handbook - Peter J. Stuckey, Kim Marrio, Guido Tack
online version
Logic for Computer Science: Foundations of Automatic Theorem Proving - Jean Gallier - Wiley, 1986
online version
Logica a Informatica - Andrea Asperti, Agata Ciabattoni - Mc Graw-Hill, 1997 ISBN: 88-386-0757-5

Web Pages