Libri UniversitariApri il catalogo

Brachman – Knowledge Representation and Reasoning

Libro adottato a Statale di Milano, a.a. 2026/2027 · 1 canale

«Brachman – Knowledge Representation and Reasoning» è adottato per Knowledge Representation And Reasoning dal prof. Marco Calautti (Informatica - magistrale – Statale di Milano).

Brachman – Knowledge Representation and ReasoningVai su Amazon ›

Come lo indica il docente: Brachman, R. J., & Levesque, H. J. (2004). Knowledge Representation and Reasoning. Morgan Kaufmann. ISBN: 978-1-55860-932-7, DOI: https://doi.org/10.1016/B978-1-55860-932-7.X5083-3

Chi lo adotta

Programma e testi di ogni canale

Knowledge Representation And Reasoning – 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 ›

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

Brachman – Knowledge Representation and Reasoningquesto libroVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Genesereth – Introduction to LogicVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Abiteboul – Foundations of DatabasesVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Greco – Datalog and Logic DatabasesVai 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.

Si studia insieme a