Logic and Constraint Programming
News
- June 28th, 2022: Dear Students for the exam scheduled for 30th June bring your laptop to show and discuss about your assignments
- June 8th, 2022: Dear Students next lecture is scheduled for June 10th, in room AB1
- June 4th, 2022: Dear Students next lecture is scheduled for June 7th, in room AB2
- June 2nd, 2022: Dear Students the Fourth assignment is online, please check the teaching material below
- June 1st, 2022: Dear students remember to fill the course evaluation questionnaire. Instructions can be found at https://www.unicam.it/studente/didattica/questionari-sulla-didattica
- May 30th, 2022: Dear students next lecture 1st June will start at 9:30 a.m.
- April 29nd, 2022: Dear students next lecture 4th May will be a practical lecture during which you will be requested to exercise with the OR-Tool introduced in the previous lecture. Do not forget to bring your laptop!
- April 22nd, 2022: Dear students The Lecture scheduled for 27th April is canceled for give the opportunity to students to participate to the Career Day https://careerday.unicam.it/
- April 22nd, 2022: Dear students The Lecture scheduled for 22nd April is canceled
- April 8th, 2022: Dear students Lectures scheduled for 13rd and 17th of April are canceled
- March 24th, 2022: Dear Students the lecture scheduled for 25th of March is cancelled
- March 23rd, 2022: Dear Students Fist assignment is online, please check the teaching material below
- March 9th, 2022: Dear Students From Friday 11th, lectures will take place in TeamLab room (1st floor Polo Ludovici)
- March 2nd, 2022: Dear Students lectures will start the 9th of March
General Info
Teacher:
- Prof. Fabrizio Fornari - fabrizio.fornari@unicam.t
- Prof. Lorenzo Rossi - lorenzo.rossi@unicam.it
ESSE3 Link
Scheduling of Lectures:
- Wednesday 9am-11am
- Friday 9am-11am
Room:
- Physical - Team Lab
- Virtual - https://unicam.webex.com/webappng/sites/unicam/dashboard/pmr/lorenzo.rossi [First Part of the Course]
- Virtual - https://unicam.webex.com/webappng/sites/unicam/dashboard/pmr/fabrizio.fornari [Second Part of the Course]
Students Office hours:
- Immediately after each lesson or by requesting an appointment via e-mail.
Communication channels
- Email: only email coming from the @studenti.unicam.it domain will be processed
- App YoUnicam channel: #LCP
Study Material
Course Slides
- 09-March-2022 - Course Introduction
- 11-March-2022 - CSP Introduction, Rossi F., van Beek P., Walsh T. Constraint Programming
- 16-March-2022 - CSP Backtracking
- 18-March-2022 - Optimization problems and Minizinc advanced models
- 30-March-2022 - Rule programming, Rule based systems
- 01-April-2022 - Drools introduction
- 06-April-2022 - Drools demo
- 20-April-2022 - OR-Tool Part 1
- 29-April-2022 - OR-Tool Part 2
- 04-May-2022 - OR-Tool Part
- 06-May-2022 - Prolog - Part 1
- 11-May-2022 - Prolog - Part 2
- 13-May-2022 - Prolog - Part 3
- 20-May-2022 - Prolog - Part 4
- 25-May-2022 - Prolog - Part 5
- 27-May-2022 - Prolog - Part 6
- 1-June-2022 - Prolog - Part 7
- 7-June-2022 - Prolog - Part 8
- 10-June-2022 - Maude
Recorded Lessons
- 09-March-2022 - Course Introduction
- 11-March-2022 - CSP Introduction
- 16-March-2022 - CSP Backtracking
- 18-March-2022 - Optimization problems and Minizinc advanced models
- 30-March-2022 - Rule based systems
- 01-April-2022 - Drools introduction
- 06-April-2022 - Drools demo
- 08-April-2022 - Drools final lecture and second assignment presentation
- 20-April-2022 - OR-Tool Pa
- didattica/ay2122/lcp/main.txt
- Last modified: 2022/06/28 15:06
- by fabrizio