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
- Distributed Knowledge and Data Integration (DKDI). In preparation.
- Studies in Human Behaviour (SHB). In preparation.