Libri UniversitariApri il catalogo

Knowledge Representation And Learning – Padova

Università degli Studi di Padova · Dipartimento di Matematica "Tullio Levi-Civita" - DM · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Roberto Confalonieri Canale unico

Corso di laurea: Computer Science – sede di Padova · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Padova · Dipartimento di Matematica "Tullio Levi-Civita" - DM · 6 CFU · apri nel catalogo · Computer Science – sede di Padova · 1º anno · 2º semestre ›

Titolo

Stuart – NorvigCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Autori – Communications of the ACMCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso affronta i seguenti contenuti: (A) Logiche per la rappresentazione della conoscenza: (A.i) introduzione alla logica proposizionale, sintassi, semantica, procedura decisionale, soddisfabilità. (A.ii) Soddisfabilità ponderata e migliore soddisfabilità. (A.ii) Logica del primo ordine, sintassi, semantica, risoluzione e unificazione.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Prof. Roberto Confalonieri Canale unico

Corso di laurea: Data Science – sede di Padova · Laurea magistrale (LM Data) · esame facoltativo · Data Science · 6 CFU

Padova · Dipartimento di Matematica "Tullio Levi-Civita" - DM · 6 CFU · apri nel catalogo · Data Science – sede di Padova · 1º anno · 2º semestre ›

Titolo

Stuart – NorvigCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Autori – Communications of the ACMCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso affronta i seguenti contenuti: (A) Logiche per la rappresentazione della conoscenza: (A.i) introduzione alla logica proposizionale, sintassi, semantica, procedura decisionale, soddisfabilità. (A.ii) Soddisfabilità ponderata e migliore soddisfabilità. (A.ii) Logica del primo ordine, sintassi, semantica, risoluzione e unificazione.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.