Teaching

All the courses taught by members of the KnowDive group are about topics which relate to the group main research issues. In a nutshell:

  • Logica Computazionale (Computational Logic - CL). This course is taught in Italian. The intended students are students of the bachelor degree in Computer Science of the Department of Computer Science and Information Engineering (DISI) of the University of Trento. There are no formal pre-requisites, but a certain familiarity with mathematical notation and with data bases is useful. This is a 14 week, 48 hours, six credit introductory course to Logic. The Logics covered are: propositional logics, first order logics, modal and Description logics. The focus is on modeling (i.e., how to use logics as a modeling language), semantics (i.e., the formalization of the intended semantics of the models developed), reasoning (with a focus on Tableau systems) and on the use of logics in practice (with a focus on the formalizational of natural language, ER models and relational data bases and knowledge graphs).
  • Knowledge and Data integration (KDI). This course is taught in English. The intended students are students of the master degree in Computer Science of the Department of Computer Science and Information Engineering (DISI) of the University of Trento. There are no formal pre-requisites, but knowledge of modeling languages (e.g., ER Models, UML models) and of the Web languages (e.g., XML, RDF, OWL is useful). This is a 14 week, 48 hours, six credit, advanced course on how to perform data and, to a certain extent, also data integration. This is a hands- on course. After a few introductory classes, students are given a problem to solve and they need to build a knowledge graph solving this problem. This graph must be built by integrating data which are available in the Web. The exam consists in: writing a project report, giving a demo and making a public presentation.
  • Studies on Human Behaviour (SHB). This course is taught in English. The intended students are students of the master degree in Data Science of the Department of Computer Science and Information Engineering (DISI) of the University of Trento. The aim of this course is to study the behaviour of people. The course is data intensive and hands on. It covers all the phases from experiment design, data collection, data preparation and data analysis. After a brief theoretical introduction, the course will consist of running real world experiments, on large amounts of data. The exam will consist of presenting the results of the experiment in a public presentation. This inter-disciplinary course bridges competences in sociology, ethics and computer science.
  • Towards Brain Programming. This course is for PhD students of the Department of Computer Science and Information Engineering (DISI) of the University of Trento. This course will introduce a new computational model of the brain, called SPA (for Sensing Processing Acting) currently under development, and a platform implementing it, called Faisca. The ultimate goal of Faisca is to allow for the development of synthetic brains, simulating the human brain in its main functionalities. Faisca is programmed in  BL (for Brain Language). The course will describe the SPA underlying principles, as well a first implementation of BL and Faisca. The model and the platform will be motivated by mapping them to various Cognitive and Neuroscience notions, in particular: the nervous system, the brain, neurons and glial cells. The course will be interactive alternating explanatory lectures with hands-on BL development.

    (*) Faisca is being developed as a joint effort of the University of Trento and the University of Minho. We expect to release a first version open source in the spring 2022