First cycle
degree courses
Second cycle
degree courses
Single cycle
degree courses
School of Science
Course unit
SCP7079318, A.A. 2019/20

Information concerning the students who enrolled in A.Y. 2019/20

Information on the course unit
Degree course Second cycle degree in
SC2377, Degree course structure A.Y. 2017/18, A.Y. 2019/20
bring this page
with you
Number of ECTS credits allocated 6.0
Type of assessment Mark
Course unit English denomination KNOWLEDGE AND DATA MINING
Website of the academic structure
Department of reference Department of Mathematics
Mandatory attendance No
Language of instruction English
Single Course unit The Course unit can be attended under the option Single Course unit attendance
Optional Course unit The Course unit can be chosen as Optional Course unit

Teacher in charge LUCIANO SERAFINI

ECTS: details
Type Scientific-Disciplinary Sector Credits allocated
Core courses INF/01 Computer Science 3.0
Core courses ING-INF/05 Data Processing Systems 3.0

Course unit organization
Period Second semester
Year 1st Year
Teaching method frontal

Type of hours Credits Teaching
Hours of
Individual study
Lecture 6.0 48 102.0 No turn

Start of activities 02/03/2020
End of activities 12/06/2020
Show course schedule 2019/20 Reg.2017 course timetable

Examination board
Examination board not defined

Prerequisites: Suggested basic knowledge of logics and statistics.
Target skills and knowledge: Introduce the students to the principles for logics for knowledge representation and reasoning, statistical relational learning, and the combination of the two in order to build system for learning and reasoning in hybrid domains.
Examination methods: Final examination based on: written examination or project development.
Assessment criteria: Critical knowledge of the course topics. Ability to present and apply the studied material
Course unit contents: (A) Logics for knowledge representation:
(A.i) introduction to propositional logics, syntax, semantics, decision procedure. Satisfiability, weighted satisfiability, and best satisfiability.
(A.ii) First order logics, syntax, semantics, resolution and unification.
(A.iii) Fuzzy logics, syntax, semantics, and reasoning.

(B) statistical relational learning:
(B.i) Graphical models
(B,ii) Markov Logic Networks
(B.iii) Probabilistic prolog,
(B.iii) Logic Tensor Networks
Planned learning activities and teaching methods: Lectures supported by exercises and lab
Additional notes about suggested reading: Lecture notes and slides for the part not covered by textbooks will be provided.
Textbooks (and optional supplementary readings)