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 Part 1
- 29-April-2022 - OR-Tool Part 2
- 04-May-2022 - OR-Tool Part 3
- 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
Textbooks
- Stuart J. Russell and Peter Norvig. Artificial Intelligence A Modern Approach. Third Edition. Pearson, 2016.
- Bratko, Ivan. Prolog programming for artificial intelligence 4th edition. Pearson Education, 2011.
- Amador, Lucas. Drools developer's cookbook. Packt Publishing Ltd, 2012.
- The MiniZinc Handbook.
Exam
Exam Rules
- During the course students will be provided with assignments that must be delivered by email to the professors 5 days before the exam date. Those individual assignments will be discussed in an oral exam. Therefore, the oral exam will include the discussion of the assignments and questions related to the topics treated during the lessons.
Assignments
Exam Dates
- 30/06/2022 - Last day to deliver the assignments 24/06/2022 (midnight)
- 14/07/2022 - Last day to deliver the assignments 08/07/2022 (midnight)
- 28/07/2022 - Last day to deliver the assignments 22/07/2022 (midnight)