Knowledge Representation And Reasoning – Statale di Milano

Università degli Studi di Milano · Facoltà di Scienze e Tecnologie · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Marco Calautti Canale unico

Corso di laurea: Informatica - magistrale · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Informatica - magistrale ›

Il docente indica 4 testi · da studiare tutti

Libri (non obbligatori, ma a integrazione degli Appunti del corso)

Brachman – Knowledge Representation and Reasoning Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Genesereth – Introduction to Logic Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Abiteboul – Foundations of Databases Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Greco – Datalog and Logic Databases Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: - Rappresentare i dati e ragionare sui dati usando la logica. Che cos'è la rappresentazione della conoscenza e il ragionamento? Introduzione alla logica proposizionale come linguaggio semplice di rappresentazione della conoscenza. I modelli come strumento per dare significato alla nostra rappresentazione. Differenza tra "verità" e "dimostrabilità".

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.