Training and Research
PhD Programme Courses/classes
Non monotonic reasoning
Credits: 3
Language: English
Teacher: Matteo Cristani
Sustainable Embodied Mechanical Intelligence
Credits: 3
Language: English
Teacher: Giovanni Gerardo Muscolo
Brain Computer Interfaces
Credits: 3
Language: English
Teacher: Silvia Francesca Storti
A practical interdisciplinary PhD course on exploratory data analysis
Credits: 4
Language: English
Teacher: Prof. Vincenzo Bonnici (Università di Parma)
Multimodal Learning and Applications
Credits: 5
Language: English
Teacher: Cigdem Beyan
Introduction to Blockchain
Credits: 3
Language: English
Teacher: Sara Migliorini
Autonomous Agents and Multi-Agent Systems
Credits: 5
Language: English
Teacher: Alessandro Farinelli
Cyber-physical systems security
Credits: 3
Language: English/Italian
Teacher: Massimo Merro
Foundations of quantum languages
Credits: 3
Language: English
Teacher: Margherita Zorzi
Advanced Data Structures for Textual Data
Credits: 3
Language: English
Teacher: Zsuzsanna Liptak
AI and explainable models
Credits: 5
Language: English
Teacher: Gloria Menegaz, Lorenza Brusini
Automated Software Testing
Credits: 4
Language: English
Teacher: Mariano Ceccato
Elements of Machine Teaching: Theory and Appl.
Credits: 3
Language: English
Teacher: Ferdinando Cicalese
Introduction to Quantum Machine Learning
Credits: 4
Language: English
Teacher: Alessandra Di Pierro
Laboratory of quantum information in classical wave-optics analogy
Credits: 3
Language: English
Teacher: Claudia Daffara
Non monotonic reasoning (2023/2024)
Teacher
Referent
Credits
3
Language
English
Class attendance
Free Choice
Location
VERONA
Learning objectives
Know and understand the behavior of non-monotonic reasoning systems
Prerequisites and basic notions
Basics of logic
Program
Modal logics
Temporal logics
Defeasible logic
Deontic logic
Bibliography
Didactic methods
Lectures in which theoretical and applied topics are addressed, detailed discussion on topics of specific research interest of the students
Learning assessment procedures
Discussion of a topic of interest through a paper
Assessment
Correctness and completeness with respect to the task and with respect to current literature
Criteria for the composition of the final grade
No grade is assigned
Scheduled Lessons
| When | Classroom | Teacher | topics |
|---|---|---|---|
|
Thursday 09 November 2023 14:30 - 17:30 Duration: 3:00 AM |
Ca' Vignal 2 - H [95 - terra] | Matteo Cristani | Introduction to NMR, missionaries and cannibals, the frame problem |
|
Thursday 16 November 2023 15:30 - 18:30 Duration: 3:00 AM |
Ca' Vignal 3 - 1.01 [01 - 1] | Matteo Cristani | Reasoning with incomplete information |
|
Thursday 23 November 2023 15:30 - 18:30 Duration: 3:00 AM |
Ca' Vignal 3 - 1.01 [01 - 1] | Matteo Cristani | Defeasible logic |
|
Thursday 07 December 2023 15:30 - 18:30 Duration: 3:00 AM |
Ca' Vignal 3 - 1.01 [01 - 1] | Matteo Cristani | Deontic logic |
