Teachers
 |
 |
Course Objectives and Outcomes
The goal of this course is to provide motivations, definitions, and techniques in support of the usefulness of logic in the effective and efficient modeling of data and knowledge. We aim to motivate students to continue their career with higher interest into logic-based modelling for data and knowledge representation in their own field of expertise, and to produce computer-processable solutions of relevant problems.
General Description
The use of logic in computer science is very well-documented. The exponential increase of literature on every area of computer science has forced both definition and use of logical formalisms for knowledge representation and reasoning into greater complexity, and this complexity has in turn necessitated a deeper study of the principles by which logical models may be constucted. It has become more and more apparent, say since the 1989' First International Conference on the Principles of Knowledge Representation and Reasoning (KR-89), that knowledge representation models and reasoning models are only different views of the same common problem. Different logic-based approaches to data and knowledge representation and reasoning are beginning to converge. It seems therefore useful to try to accelerate this process by trying to provide a survey, as uniform as possible presentation of the whole problem of logic-based modeling of data and knowlege, treating the subject on general theoretical lines, yet filled in with practical examples from real-world scenarios, problems and applications, with a particular attention paid to the borderlines and inter-relationships among all logics presented. There is as yet no unified theory of logic-based models for data and knowledge representation, and a good deal of practical systems and working devices are not logic-based in their design foundation and unsullied by any logical model. There is nevertheless a real need for the subject to be looked at as a whole.
Course modality
Slides will be shown during lectures. They will constitute the main material of the course. Lectures will NOT be recordered. There will be the possibility to pass the course via two midterm exams. Students need to book the exams on a sheet that will be circulated (see the Calendar). |
|
The course runs from September 11th, 2024 till December 19th, 2025 with the following schedule
Thursdays, 13:30 - 15:30, Room A104
Fridays, 13:30 - 15:30, Room A104
Notice that the titles and structure of the lessons yet to be delivered might change slightly. The rule of the thumb is: if there are links with materials, things won’t change; if there are no links to the materials, titles and content are in draft and may change.
| Lesson Number | Date | Time | HP2T | T2MP | Content of Material | Handouts | Lecturer(s) | Notes |
|---|---|---|---|---|---|---|---|---|
| 1 | Thu 11 Sep, 2025 | 13:30 | Introduction | Giunchiglia | Room A104 | |||
| 2 | Fri 12 Sep, 2025 | 13:30 | Room A104 | |||||
| 3 | Thu 18 Sep, 2025 | 13:30 | Room A104 | |||||
| 4 | Fri 19 Sep, 2025 | 13:30 | Room A104 | |||||
| 5 | Thu 25 Sep, 2025 | 13:30 | Room A104 | |||||
| 6 | Fri 26 Sep, 2025 | 13:30 | Room A104 | |||||
| 7 | Thu 2 Oct, 2025 | 13:30 | Room A104 | |||||
| 8 | Fri 3 Oct, 2025 | 13:30 | Room A104 | |||||
| 9 | Thu 9 Oct, 2025 | 13:30 | Room A104 | |||||
| 10 | Fri 10 Oct, 2025 | 13:30 | Room A104 | |||||
| 11 | Thu 16 Oct, 2025 | 13:30 | Room A104 | |||||
| 12 | Fri 17 Oct, 2025 | 13:30 | Room A104 | |||||
| 13 | Thu 23 Oct, 2025 | 13:30 | Room A104 | |||||
| 14 | Fri 24 Oct, 2025 | 13:30 | Room A104 | |||||
| 14 | Thu 30 Oct, 2025 | 13:30 | Room A104 | |||||
| 15 | Fri 31 Oct, 2025 | 13:30 | Room A104 | |||||
| 16 | Thu 6 Nov, 2025 | 13:30 | Room A104 | |||||
| 17 | Fri 7 Nov, 2025 | Room A201 - B106 | ||||||
| 18 | Thu 13 Nov, 2025 | 13:30 | Room A104 | |||||
| 18 | Fri 14 Nov, 2025 | 13:30 | Room A104 | |||||
| 19 | Thu 20 Nov, 2025 | 13:30 | Room A104 | |||||
| 20 | Fri 21 Nov, 2025 | 13:30 | Room A104 | |||||
| 21 | Thu 27 Nov, 2025 | 13:30 | Room A104 | |||||
| 22 | Fri 28 Nov, 2025 | 13:30 | Room A104 | |||||
| 23 | Thu 4 Dic, 2025 | 13:30 | Room A104 | |||||
| 24 | Fri 5 Dic, 2025 | 13:30 | Room A104 | |||||
| 25 | Thu 11 Dic, 2025 | 13:30 | Room A104 | |||||
| 26 | Fri 12 Dic, 2025 | 13:30 | Room A104 | |||||
| 27 | Thu 18 Dic, 2025 | 13:30 | Room A104 | |||||
| 28 | Fri 19 Dic, 2025 | Room A201 - B106 |
Students can pass the course via two midterm exams. The minimum score to pass the exam is 15 points (half of the available points) in each midterm and it is required an average of the two of at least 18 points. In alternative, students can pass the course with a written exam (with at least 18 points) during dedicated sessions.
Multiple positions are available as 150h and internships. They should be considered as the first part of a research project and thesis with the Knowdive group. The general activities of the group are listed on the website (http://knowdive.disi.unitn.it/), while activities already scheduled and available now can be found at http://knowdive.disi.unitn.it/work-with-us/. The 150h activities have variable length and are strictly related to software development: for this reason, knowledge of software development with at least one programming language is a must. All the activities can also be carried on in a remote fashion.
Anyone interested in these opportunities can send an email to knowdive-positions@disi.unitn.it, providing already information about preferences in terms of topics or activities (if known). For 150h activities it is important to provide information about known programming languages with the corresponding level, a value in the range [1 - 5] where 1= basic knowledge, 5= advanced knowledge.
The applications to the “150 ore” program can be done at the link:
https://www.unitn.it/servizi/224/collaborazioni-studenti-150-ore
Notice that the deadline for applications for the A.Y 2023-2024 is September 30, 2023